6 citations · 12 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 1 cited
Algebraic semantics for one-variable lattice-valued logics
Petr Cintula, George Metcalfe, Naomi Tokuda
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, r…
math.LO2022★ 4 cited
Relevant Consequence Relations: An Invitation
Guillermo Badia, Petr Cintula, Libor Behounek +1
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion},…