The following pages link to The semantics of entailment. III (Q1221740):
Displayed 35 items.
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- The nature of information: a relevant approach (Q625698) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
- Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment (Q758994) (← links)
- Restricted arrow (Q839646) (← links)
- 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)
- 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)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← 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)
- 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)
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (Q5287696) (← links)
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) (Q5458062) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)