The following pages link to The semantics of entailment. III (Q1221740):
Displayed 50 items.
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- Implication lattices (Q1215628) (← links)
- Sequent-systems and groupoid models. II (Q1263573) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- Relevant logic and the theory of information (Q1293022) (← links)
- Proof-functional connectives and realizability (Q1330311) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- New axiomatics for relevant logics. I (Q1394338) (← links)
- Neighborhoods for entailment (Q1411357) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- CE is not a conservative extension of E (Q1576386) (← links)
- Grounding, conceivability, and the mind-body problem (Q1709144) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Duality for algebras of relevant logics (Q1914154) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Truthmaker semantics for relevant logic (Q2194111) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Notes on stratified semantics (Q2323698) (← links)
- Halldén completeness for relevant modal logics (Q2354625) (← links)
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle (Q2443123) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- A plea for KR (Q2695153) (← links)
- The Relevance of Semantic Subtyping (Q2842838) (← links)
- The Better Bubbling Lemma (Q2864214) (← links)
- The Relevance of Relevance to Relevance Logic (Q2937386) (← links)
- Dynamic Epistemic Logic and Logical Omniscience (Q2987746) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- The undecidability of entailment and relevant implication (Q3703869) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points (Q4583358) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- 2002 Annual Conference of the Australasian Association for Logic (Q4650308) (← links)
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics (Q4706115) (← links)
- PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 (Q4933593) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- (Q5087782) (← links)
- BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE (Q5176164) (← links)
- An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic (Q5213662) (← links)
- Larisa Maksimova’s Early Contributions to Relevance Logic (Q5214731) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (Q5287696) (← links)