Pages that link to "Item:Q1115417"
From MaRDI portal
The following pages link to Operational semantics for positive R (Q1115417):
Displayed 10 items.
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← 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)
- Priest on Negation (Q3305669) (← links)
- Geometric Models for Relevant Logics (Q5027236) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)