Undecidable iterative propositional calculus

DOI10.1007/S10469-016-9396-3zbMath1396.03006arXiv1504.05728OpenAlexW2963995786MaRDI QIDQ2364331

G. V. Bokov

Publication date: 18 July 2017

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

derivability problemPost's correspondence problemexpressibility problemiterative propositional calculus

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A mind of a non-countable set of ideas
• Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
• Undecidable problems for propositional calculi with implication
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
• Formal Reductions of the General Combinatorial Decision Problem
• A variant of a recursively unsolvable problem

This page was built for publication: Undecidable iterative propositional calculus