Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic

DOI10.1007/978-3-540-72734-7_30zbMath1132.03313arXivmath/0702651OpenAlexW2154555144MaRDI QIDQ5434524

No author found.

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0702651

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions

This page was built for publication: Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic