Whither relevance logic?
From MaRDI portal
Publication:1198408
DOI10.1007/BF00260930zbMATH Open0773.03015OpenAlexW2041146565MaRDI QIDQ1198408FDOQ1198408
Authors: Arnon Avron
Publication date: 16 January 1993
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00260930
Recommendations
- Natural deduction and sequent calculus for intuitionistic relevant logic
- Relevance and paraconsistency - a new approach. II: The formal systems
- scientific article; zbMATH DE number 2101978
- scientific article; zbMATH DE number 1354102
- On purely relevant logics
- A theory of logical relevance
- scientific article; zbMATH DE number 4047689
- Structural completeness in relevance logics
- scientific article; zbMATH DE number 4055572
- Relevance Logic as a Conservative Extension of Classical Logic
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cited In (18)
- What is relevance logic?
- Diversification of object-languages for propositional logics
- A finite model property for RMImin
- Title not available (Why is that?)
- Combining classical logic, paraconsistency and relevance
- Speeding up inferences using relevance reasoning: a formalism and algorithms
- Fragments of R-mingle
- The classical constraint on relevance
- R-Mingle is Nice, and so is Arnon Avron
- Relevance Logic as a Conservative Extension of Classical Logic
- Relevant connexive logic
- Variable sharing in connexive logic
- The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable
- Relevance-Sensitive Truth-Trees
- Natural deduction and sequent calculus for intuitionistic relevant logic
- Non-Boolean classical relevant logics. I
- On purely relevant logics
- Rules in relevant logic. I: Semantic classification
This page was built for publication: Whither relevance logic?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1198408)