Pages that link to "Item:Q689076"
From MaRDI portal
The following pages link to Simplified semantics for relevant logics (and some of their rivals) (Q689076):
Displaying 18 items.
- On permutation in simplified semantics (Q1025580) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- Four-valued semantics for relevant logics (and some of their rivals) (Q1346215) (← links)
- Neighborhoods for entailment (Q1411357) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Notes on stratified semantics (Q2323698) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC (Q2804477) (← links)
- Free of Detachment: Logic, Rationality, and Gluts (Q2965360) (← links)
- Two Negations Are More than One (Q3305676) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
- Gentzenizations of relevant logics with distribution (Q4894719) (← links)
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) (Q5458062) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- Deep fried logic (Q6651286) (← links)
