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

zbMATH Keywords

triangulationpolyhedronHeyting algebraintuitionistic logictopological semanticsPL-topologyfinite model proprty

Mathematics Subject Classification ID

(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)

Geometric Model Checking of Continuous Space ⋮ Unnamed Item ⋮ POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ A Spatial Logic for Simplicial Models ⋮ The successive dimension, without elegance ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras

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