Simplified Axiom Schemes for Implication and Iterated Implication

DOI10.1002/MALQ.19850310103zbMATH Open0556.03021OpenAlexW2088880550WikidataQ114696425 ScholiaQ114696425MaRDI QIDQ3220560

Author name not available (Why is that?)

Publication date: 1985

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850310103

zbMATH Keywords

completenessformalisationmany-valued propositional calculusvariable functors

Mathematics Subject Classification ID

Many-valued logic (03B50)

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?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Simplified semantics for relevant logics (and some of their rivals) 👍 👎
• Simple axioms for orthomodular implication algebras 👍 👎
• Axiomatizing schemes and their behaviors 👍 👎
• The axiom scheme of acyclic comprehension 👍 👎

This page was built for publication: Simplified Axiom Schemes for Implication and Iterated Implication

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