The following pages link to The semantics of entailment. III (Q1221740):
Displayed 50 items.
- Current trends in substructural logics (Q266641) (← links)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← 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)
- 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)
- Logical predictivism (Q830365) (← 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)
- 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)