Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
From MaRDI portal
Publication:3305420
DOI10.1007/978-3-319-29300-4_4zbMath1439.03055OpenAlexW2468474353MaRDI QIDQ3305420
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
Related Items (1)
Cites Work
- Linear logic
- BCK and BCI logics, condensed detachment and the 2-property
- Shortest axiomatizations of implicational S4 and S5
- Substructural implicational logics including the relevant logic E
- Notes on the axiomatics of the propositional calculus
- The shortest axioms of the implicational calculus
- Final word on a shortest implicational axiom
- Philosophical logic
- A note on R-Mingle and Sobociński's three-valued logic
- An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
- Independent Axiom Schemata for the Pure Theory of Entailment
- The implicational fragment of Dummett's LC
- The pure calculus of entailment
- Strict Implication in A Sequence of Extensions of S4
- Über Axiomensysteme des Aussagenkalküls
- Pure denumerable Łukasiewiczian implication
- Algebraic completeness results for R-mingle and its extensions
- Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
- Some Axiom‐Pairs for Material and Strict Implication
- A legacy recalled and a tradition continued
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
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
