Pages that link to "Item:Q1115417"
From MaRDI portal
The following pages link to Operational semantics for positive R (Q1115417):
Displaying 17 items.
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Sequent-systems and groupoid models. II (Q1263573) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946) (← links)
- Further Results on Proof Theories For Semilattice Logics (Q3030795) (← links)
- Priest on Negation (Q3305669) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- Proof Theories for Semilattice Logics (Q3751556) (← links)
- Geometric Models for Relevant Logics (Q5027236) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- Routley star in information-based semantics (Q6659916) (← links)