Zobrazeno 1 - 10
of 198
pro vyhledávání: '"Cintula, Petr"'
This paper presents an algebraic study of a family of logics related to Abelian logic ($Ab$), the logic of Abelian lattice-ordeded groups. $Ab$ is treated as the basic, weakest logic, and its expansions are referred to as superabelian logics. To acco
Externí odkaz:
http://arxiv.org/abs/2409.20170
Publikováno v:
Bull. symb. log 30 (2024) 253-278
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 modalities, respectively. Axiomatizations of these modal logics have been obta
Externí odkaz:
http://arxiv.org/abs/2310.15806
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, respectively. In several cases, axiomatizations of algebraic semantics
Externí odkaz:
http://arxiv.org/abs/2209.08566
Publikováno v:
The Review of Symbolic Logic 17 (2024) 762-792
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}, according to which in order for some premises to have some conclusion
Externí odkaz:
http://arxiv.org/abs/2207.03892
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 known that Robinson's Q is essentially undecidable in intuitionistic logic
Externí odkaz:
http://arxiv.org/abs/2006.12275
Publikováno v:
The Review of Symbolic Logic 12 (2019) 331-371
We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place of sheer fo
Externí odkaz:
http://arxiv.org/abs/1710.00220
Publikováno v:
Review of Symbolic Logic; Sep2024, Vol. 17 Issue 3, p762-792, 31p
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 as the recently defined Lukasiewicz games of Marchioni and Wooldridge.
Externí odkaz:
http://arxiv.org/abs/1601.00408