Classical propositional logic and decidability of variables in intuitionistic propositional logic

DOI10.2168/LMCS-10(3:1)2014MaRDI QIDQ2878747zbMATH OpenFDO

Authors 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

classical propositional logicintuitionistic propositional logicdecidability of variables

Mathematics Subject Classification ID

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

Abstract: We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic.

Recommendations

• A note on decidability of variables in intuitionistic propositional logic
• Decidable variables for constructive logics
• On formulas of one variable in intuitionistic propositional calculus
• Intuitionistic predicate logic with decidable propositional atoms
• The method of axiomatic rejection for the intuitionistic propositional logic

Cited in

(13)

• Embedding classical in minimal implicational logic
• Deciding intuitionistic propositional logic via translation into classical logic
• IMPROVING STRONG NEGATION
• On formulas of one variable in intuitionistic propositional calculus
• Intuitionistic predicate logic with decidable propositional atoms
• The decidability of dependency in intuitionistic propositional logic
• Decidable variables for constructive logics
• A note on decidability of variables in intuitionistic propositional logic
• Individual concepts as propositional variables in \(ML^{\nu +1}\)
• The Jacobson radical for an inconsistency predicate
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• The method of axiomatic rejection for the intuitionistic propositional logic
• scientific article; zbMATH DE number 3966034 (Why is no real title available?)

Describes a project that uses

Uses Software

• Pesca

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2878747)