On an implication connective of RM

DOI10.1305/NDJFL/1093636612zbMATH Open0613.03003OpenAlexW2092490196MaRDI QIDQ1088648FDOQ1088648

Authors: Arnon Avron 

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636612

Recommendations

• A constructive analysis of RM
• Relevance and paraconsistency - a new approach. II: The formal systems
• Fragments of R-mingle
• \(\mathbf{RM}\) and its nice properties
• The RM paraconsistent refutation system

zbMATH Keywords

almost material conditionalparaconsistent conditional connectivequasi-relevance-logic R-mingle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (32)

• Normalisation for Some Quite Interesting Many-Valued Logics
• K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
• Tutorial on Inconsistency-Adaptive Logics
• Natural 3-valued logics—characterization and proof theory
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• On the three-valued expansions of Kleene's logic
• From Possibility Theory to Paraconsistency
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
• Generalized correspondence analysis for three-valued logics
• Combining classical logic, paraconsistency and relevance
• Hypersequents, logical consequence and intermediate logics for concurrency
• Idempotent residuated structures: Some category equivalences and their applications
• A non-deterministic view on non-classical negations
• Fragments of R-mingle
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• Theorems of Alternatives for Substructural Logics
• Simple consequence relations
• Two, Many, and Differently Many
• A map of dependencies among three-valued logics
• $$\mathbf {RM}$$ RM and its Nice Properties
• Prior’s OIC nonconservativity example revisited
• A category equivalence for odd Sugihara monoids and its applications
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• Relevance and paraconsistency—a new approach
• The RM paraconsistent refutation system
• The class of extensions of Nelson's paraconsistent logic
• AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
• Paraconsistent dynamics
• Three-Valued Paraconsistent Propositional Logics
• Craig interpolation for semilinear substructural logics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: On an implication connective of RM

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