Undecidable problems for propositional calculi with implication

DOI10.1093/JIGPAL/JZW013zbMath1405.03031arXiv1502.00978OpenAlexW3106203864MaRDI QIDQ4644571

G. V. Bokov

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

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

zbMATH Keywords

decision problemspropositional calculusimplicational calculustag system

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05)

Related Items (2)

Undecidable iterative propositional calculus ⋮ Unnamed Item

This page was built for publication: Undecidable problems for propositional calculi with implication