POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
Publication:6123585
DOI10.1017/JSL.2022.76arXiv2112.07518OpenAlexW4309005192MaRDI QIDQ6123585
Sam Adam-Day, David Gabelaia, Vincenzo Marra, Nick Bezhanishvili
Publication date: 5 April 2024
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2112.07518
triangulationmodal logicpolyhedrongraded posetgeometric realisationintermediate logicrational polyhedronbarycentric subdivisionstarlike treenerve\(p\)-morphismJankov-Fine formulanerve criterionpolyhedral semantics
Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Combinatorics of partially ordered sets (06A07) Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Locally finite reducts of Heyting algebras and canonical formulas
- Connected modal logics
- Advanced Łukasiewicz calculus and MV-algebras
- Euclidean hierarchy in modal logic
- Tarski's theorem on intuitionistic logic, for polyhedra
- The algebra of topology
- On closed elements in closure algebras
- Handbook of Spatial Logics
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- On Rational Subdivisions of Polyhedra with Rational Vertices
- A Sufficient Condition for the Finite Model Property of Modal Logics above K4
- Reasoning About Space: The Modal Way
- Topological representations of distributive lattices and Brouwerian logics
- Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
- Ordering by Divisibility in Abstract Algebras
This page was built for publication: POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
