Relevant logics: from semantics to proof systems
From MaRDI portal
Recommendations
Cited in
(20)- Algebraic study of two deductive systems of relevance logic
- Logic in high definition -- Trends in logical semantics. Selected papers based on the presentations at the trends in logic 2019 conference
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Algorithms for relevant logic
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Relevant logics obeying component homogeneity
- scientific article; zbMATH DE number 4208057 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3954874 (Why is no real title available?)
- scientific article; zbMATH DE number 1301861 (Why is no real title available?)
- Completeness of implicational relevant logics
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- Geometric Models for Relevant Logics
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
- A Note on the Relevance of Semilattice Relevance Logic
- Simplified semantics for relevant logics (and some of their rivals)
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Introduction: directions and new directions
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
- Bilateral labeled sequent calculi
This page was built for publication: Relevant logics: from semantics to proof systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5004953)
