Zobrazeno 1 - 10
of 279
pro vyhledávání: '"03B20"'
We investigate the set-theoretic strength of several maximality principles that play an important role in the study of modal and intuitionistic logics. We focus on the well-known Fine and Esakia maximality principles, present two formulations of each
Externí odkaz:
http://arxiv.org/abs/2412.13706
Autor:
Olkhovikov, Grigory
We define a natural notion of standard translation for the formulas of conditional logic which is analogous to the standard translation of modal formulas into the first-order logic. We briefly show that this translation works (modulo a lightweight fi
Externí odkaz:
http://arxiv.org/abs/2411.08786
We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties generated by free p-algebras belong to a rather small quasivariety chara
Externí odkaz:
http://arxiv.org/abs/2409.08990
Autor:
Bezhanishvili, Guram, Carai, Luca
Esakia's theorem states that Grzegorczyk's logic is the largest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuitionistic predicate calculus does not have the largest modal companion,
Externí odkaz:
http://arxiv.org/abs/2409.05607
The function $p_{xy}$ that interchanges two logical variables $x,y$ in formulas is hard to describe in the following sense. Let $F$ denote the Lindenbaum-Tarski formula-algebra of a finite-variable first order logic, endowed with $p_{xy}$ as a unary
Externí odkaz:
http://arxiv.org/abs/2409.04088
Several different proof translations exist between classical and intuitionistic logic (negative translations), and intuitionistic and linear logic (Girard translations). Our aims in this paper are (1) to show that all these systems can be expressed a
Externí odkaz:
http://arxiv.org/abs/2409.02249
Autor:
Kavvos, G. A.
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14767
We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded into a Kripk
Externí odkaz:
http://arxiv.org/abs/2406.03578
Autor:
Kamsma, Mark, Wrigley, Joshua
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as the fact tha
Externí odkaz:
http://arxiv.org/abs/2406.02788
Autor:
Holliday, Wesley H.
In traditional semantics for classical logic and its extensions, such as modal logic, propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a Stone space, as in topological duality. A point in such a set can b
Externí odkaz:
http://arxiv.org/abs/2405.06852
Autor:
Kavvos, G. A.
Publikováno v:
LIPIcs, Volume 299, FSCD 2024, article 11
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely through their
Externí odkaz:
http://arxiv.org/abs/2405.04157