Pages that link to "Item:Q3751556"
From MaRDI portal
The following pages link to Proof Theories for Semilattice Logics (Q3751556):
Displaying 10 items.
- Four relevant Gentzen systems (Q579235) (← links)
- Operational semantics for positive R (Q1115417) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- A characteristic frame for positive intuitionistic and relevance logic (Q2243544) (← links)
- The Arthur Prior memorial conference, Christchurch, 1989 (Q3352992) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)