Pages that link to "Item:Q911575"
From MaRDI portal
The following pages link to The Gentzenization and decidability of RW (Q911575):
Displaying 19 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion (Q1130236) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- Rules in relevant logic. II: Formula representation (Q1319363) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic (Q2108581) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning (Q3457702) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- A cut-free sequent calculus for relevant logic RW (Q5172146) (← links)
- Conserving involution in residuated structures (Q5434203) (← links)
- Deep fried logic (Q6651286) (← links)
