Classical propositional logic and decidability of variables in intuitionistic propositional logic

DOI10.2168/LMCS-10(3:1)2014zbMath1337.03017arXiv1405.0091MaRDI QIDQ2878747

Hajime Ishihara

Publication date: 5 September 2014

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

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

zbMATH Keywords

intuitionistic propositional logicclassical propositional logicdecidability of variables

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Decidable variables for constructive logics ⋮ IMPROVING STRONG NEGATION ⋮ A note on decidability of variables in intuitionistic propositional logic ⋮ Embedding classical in minimal implicational logic

Uses Software

• Pesca

This page was built for publication: Classical propositional logic and decidability of variables in intuitionistic propositional logic