On an implication connective of RM

DOI10.1305/ndjfl/1093636612zbMath0613.03003OpenAlexW2092490196MaRDI QIDQ1088648

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (29)

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

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