Pages that link to "Item:Q1187984"
From MaRDI portal
The following pages link to Simplified semantics for basic relevant logics (Q1187984):
Displayed 24 items.
- Simplified semantics for relevant logics (and some of their rivals) (Q689076) (← links)
- A classically-based theory of impossible worlds (Q1276427) (← links)
- Four-valued semantics for relevant logics (and some of their rivals) (Q1346215) (← links)
- Neighborhoods for entailment (Q1411357) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Wave-particle duality and the objectiveness of ``true'' and ``false'' (Q2241464) (← links)
- Models for relevant modal logics (Q2277439) (← links)
- Simple axiomatizations for pretabular classical relevance logics (Q2307305) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Free of Detachment: Logic, Rationality, and Gluts (Q2965360) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Two Negations Are More than One (Q3305676) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- SUBSTITUTION IN RELEVANT LOGICS (Q5117597) (← links)
- Two pretabular linear extensions of relevance logic R (Q5156188) (← links)
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) (Q5458062) (← links)
- A natural deduction system for first degree entailment (Q5937857) (← links)
- The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility (Q5957421) (← links)
- Reflections on Orlov (Q6098652) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)