Zobrazeno 1 - 10
of 120
pro vyhledávání: '"03B55"'
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
Autor:
Carai, Luca
G\"odel algebras are the Heyting algebras satisfying the axiom $(x \to y) \vee (y \to x)=1$. We utilize Priestley and Esakia dualities to dually describe free G\"odel algebras and coproducts of G\"odel algebras. In particular, we realize the Esakia s
Externí odkaz:
http://arxiv.org/abs/2406.05480
Autor:
Bezhanishvili, Guram, Carai, Luca
The Blok-Esakia Theorem establishes that the lattice of superintuitionistic logics is isomorphic to the lattice of extensions of Grzegorczyk's logic. We prove that the Blok-Esakia isomorphism $\sigma$ does not extend to the fragments of the correspon
Externí odkaz:
http://arxiv.org/abs/2405.09401
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
We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of all polytopes -- i.e., compact convex polyhedra -- denoted PL. This logi
Externí odkaz:
http://arxiv.org/abs/2307.16600
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting algebras ge
Externí odkaz:
http://arxiv.org/abs/2303.11246
Autor:
Bezhanishvili, Nick, Yang, Fan
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with
Externí odkaz:
http://arxiv.org/abs/2209.10039
Autor:
Iemhoff, Rosalie
In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a separate, s
Externí odkaz:
http://arxiv.org/abs/2209.08976
Autor:
Fazio, Davide, John, Gavin St.
Publikováno v:
The Review of Symbolic Logic 17 (2024) 878-909
This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FLe-algebras). In particular, we inquir
Externí odkaz:
http://arxiv.org/abs/2209.02830
This paper presents a new uniform method for studying modal companions of superintuitionistic deductive systems and related notions, based on the machinery of stable canonical rules. Using our method, we obtain an alternative proof of the Blok-Esakia
Externí odkaz:
http://arxiv.org/abs/2206.08863