The following pages link to (Q3701398):
Displaying 50 items.
- Current trends in substructural logics (Q266641) (← links)
- Paraconsistent logic (Q266659) (← links)
- Paths to triviality (Q300832) (← links)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- A general characterization of the variable-sharing property by means of logical matrices (Q435241) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A new approach to classical relevance (Q497418) (← links)
- On a ``most telling'' argument for paraconsistent logic (Q513948) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Simplified semantics for relevant logics (and some of their rivals) (Q689076) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
- An admissible semantics for propositionally quantified relevant logics (Q848213) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- A content semantics for quantified relevant logics. II (Q910392) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- Necessary limits to knowledge: Unknowable truths (Q987460) (← links)
- The basic constructive logic for a weak sense of consistency (Q1006487) (← links)
- The basic constructive logic for negation-consistency (Q1006496) (← links)
- The basic constructive logic for absolute consistency (Q1016031) (← links)
- Depth relevance of some paraconsistent logics (Q1068075) (← links)
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923) (← links)
- Aristotle's thesis in consistent and inconsistent logics (Q1079561) (← links)
- A content semantics for quantified relevant logics. I (Q1116940) (← links)
- Semantics for relevance logic with identity (Q1194104) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis (Q1263574) (← links)
- Impossible worlds: A modest approach (Q1276421) (← links)
- The ontology of impossible worlds (Q1276425) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- Rules in relevant logic. II: Formula representation (Q1319363) (← links)
- The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (Q1332144) (← links)
- Four-valued semantics for relevant logics (and some of their rivals) (Q1346215) (← links)
- Strong Boethius' thesis and consequential implication (Q1366766) (← links)
- A natural negation completion of Urquhart's many-valued logic \(C\) (Q1386684) (← links)
- Neighborhoods for entailment (Q1411357) (← links)
- Four-valued logic (Q1422105) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- Paraconsistency everywhere (Q1430900) (← links)
- CE is not a conservative extension of E (Q1576386) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- Fusion and confusion (Q1708463) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)