Single Axioms and Axiom-Pairs for the Implicational Fragments of \mathbf {R} R , R-Mingle, and Some Related Systems

DOI10.1007/978-3-319-29300-4_4zbMATH Open1439.03055OpenAlexW2468474353MaRDI QIDQ3305420FDOQ3305420

Dolph Ulrich

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_4

zbMATH Keywords

Rimplicational fragmentsingle axiomsR-MingleBCIaxiom-pairs

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• 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?)
• 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?)
• 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?)
• Linear logic
• The pure calculus of entailment
• Algebraic completeness results for R-mingle and its extensions
• A note on R-Mingle and Sobociński's three-valued logic
• The implicational fragment of Dummett's LC
• Notes on the axiomatics of the propositional calculus
• Philosophical logic
• A legacy recalled and a tradition continued
• Independent Axiom Schemata for the Pure Theory of Entailment
• BCK and BCI logics, condensed detachment and the 2-property
• Shortest axiomatizations of implicational S4 and S5
• Strict Implication in A Sequence of Extensions of S4
• Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
• An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
• Substructural implicational logics including the relevant logic E
• Pure denumerable Łukasiewiczian implication
• The shortest axioms of the implicational calculus
• Final word on a shortest implicational axiom
• Über Axiomensysteme des Aussagenkalküls
• Some Axiom‐Pairs for Material and Strict Implication

Cited In (3)

• Title not available (Why is that?)
• Learning from Łukasiewicz and Meredith: investigations into proof structures
• Investigations into proof structures

This page was built for publication: Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems

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