A note on finite axiomatization of partial propositional calculi

DOI10.2307/2270777zbMATH Open0162.31203OpenAlexW2163051542MaRDI QIDQ5545947FDOQ5545947

Authors: W. E. Singletary 

Publication date: 1967

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

Full work available at URL: https://doi.org/10.2307/2270777

zbMATH Keywords

algebraic logic, model theory

Cites Work

• A detailed argument for the Post-Linial theorems
• A complex of problems proposed by Post

Cited In (2)

• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• Translations and structure for partial propositional calculi

This page was built for publication: A note on finite axiomatization of partial propositional calculi

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