The following pages link to Models for entailment (Q1213436):
Displaying 34 items.
- On the ternary relation and conditionality (Q452358) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- Free semantics (Q600848) (← links)
- A relevant logic of questions (Q829829) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- A content semantics for quantified relevant logics. I (Q1116940) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- Semantics for relevance logic with identity (Q1194104) (← links)
- The semantics of \(R4\) (Q1208151) (← links)
- Classical relevant logics. II (Q1221098) (← links)
- Sequent-systems and groupoid models. II (Q1263573) (← links)
- Relevant logic and the theory of information (Q1293022) (← links)
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment (Q1815416) (← links)
- A relevant theory of conditionals (Q1908790) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Subminimal negation on the Australian plan (Q2079709) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Truthmaker semantics for relevant logic (Q2194111) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Notes on stratified semantics (Q2323698) (← links)
- Logical pluralism and semantic information (Q2462685) (← links)
- Grounding principles for (relevant) implication (Q2695404) (← links)
- The Relevance of Relevance to Relevance Logic (Q2937386) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION (Q3395329) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- Conserving involution in residuated structures (Q5434203) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
