Pages that link to "Item:Q1088648"
From MaRDI portal
The following pages link to On an implication connective of RM (Q1088648):
Displayed 29 items.
- A map of dependencies among three-valued logics (Q497633) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Simple consequence relations (Q809992) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- Natural 3-valued logics—characterization and proof theory (Q3981456) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Two, Many, and Differently Many (Q5350334) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)
- On the three-valued expansions of Kleene's logic (Q6143288) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)