1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.LO2020
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…