Complete rings of sets and sentential logic

DOI10.1007/BF02121262zbMath0357.02007OpenAlexW2064440015MaRDI QIDQ1237719

Melven R. Krom

Publication date: 1977

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02121262

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05)

Cites Work

• Unnamed Item
• Unnamed Item
• The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary

This page was built for publication: Complete rings of sets and sentential logic