6 citations · 12 across the 6 of their papers we have counts for
7 papers
Superabelian logics
Petr Cintula, Filip Jankovec, Carles Noguera
This paper presents a unified algebraic study of a family of logics related to Abelian logic (Ab), the logic of Abelian lattice-ordered groups. We treat Ab as the base system and r…
One-variable fragments of first-order logics
Petr Cintula, George Metcalfe, Naomi Tokuda
The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modaliti…
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…
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},…
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Guillermo Badia, Petr Cintula, Petr Hajek +1
In this paper we explore the following question: how weak can a logic be for Rosser's essential undecidability result to be provable for a weak arithmetical theory? It is well know…
An Abstract Approach to Consequence Relations
Petr Cintula, José Gil Férez, Tommaso Moraschini +1
We generalise the Blok-Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multis…
Representing Strategic Games and Their Equilibria in Many-Valued Logics
Libor Běhounek, Petr Cintula, Chris Fermüller +1
We introduce the notion of logical A-games for a fairly general class of algebras A of real truth-values. This concept generalizes the Boolean games of Harrenstein et al. as well a…