Tarski's theorem on intuitionistic logic, for polyhedra
DOI10.1016/j.apal.2017.12.005zbMath1390.03015arXiv1701.05094OpenAlexW2963685352MaRDI QIDQ1706265
Nick Bezhanishvili, Andrea Pedrini, Daniel McNeill, Vincenzo Marra
Publication date: 21 March 2018
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1701.05094
triangulationpolyhedronHeyting algebraintuitionistic logictopological semanticsPL-topologyfinite model proprty
(n)-dimensional polytopes (52B11) Heyting algebras (lattice-theoretic aspects) (06D20) Frames, locales (06D22) Simplicial sets and complexes in algebraic topology (55U10) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (6)
Cites Work
- Completeness of S4 with respect to the real line: revisited
- Gödel algebras free over finite distributive lattices
- Intuitionistic propositional logic is polynomial-space complete
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Lectures on polyhedral topology
- Rings of sets
- The algebra of topology
- On closed elements in closure algebras
- Handbook of Spatial Logics
- Bitopological duality for distributive lattices and Heyting algebras
- On formulas of one variable in intuitionistic propositional calculus
- KRULL DIMENSION IN MODAL LOGIC
- Some theorems about the sentential calculi of Lewis and Heyting
- Propositional Calculus and Realizability
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Tarski's theorem on intuitionistic logic, for polyhedra
