Nice implicational axioms

DOI10.1305/NDJFL/1093891887zbMATH Open0283.02010OpenAlexW2011198668WikidataQ114598225 ScholiaQ114598225MaRDI QIDQ1844202

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)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Nice embedding in classical logic 👍 👎
• Nice separation axioms 👍 👎
• Nice infinitary logics 👍 👎
• Simplified Axiom Schemes for Implication and Iterated Implication 👍 👎
• The axioms for implication in orthologic 👍 👎

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)