Nice implicational axioms

DOI10.1305/NDJFL/1093891887MaRDI QIDQ1844202zbMATH OpenOpenAlexWikidataFDO

Authors Ivo Thomas

Publication date 1975

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093891887

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Review text

Simp, Roll, Weak Syll form an axiom set for classical implication having respectably simple structure and exceptionally easy development.

Recommendations

• The axioms for implication in orthologic
• scientific article; zbMATH DE number 1471997
• Nice separation axioms
• scientific article; zbMATH DE number 3847364
• Simplified Axiom Schemes for Implication and Iterated Implication
• Nice embedding in classical logic
• scientific article; zbMATH DE number 2109242
• Nice infinitary logics
• scientific article; zbMATH DE number 4063061
• scientific article; zbMATH DE number 3274717

Cited in

(1)

• scientific article; zbMATH DE number 1471997 (Why is no real title available?)

This page was built for publication: Nice implicational axioms

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