Pages that link to "Item:Q3751556"
From MaRDI portal
The following pages link to Proof Theories for Semilattice Logics (Q3751556):
Displaying 23 items.
- Advances in proof-theoretic semantics (Q495649) (← links)
- Four relevant Gentzen systems (Q579235) (← links)
- Survey of generalizations of Urquhart semantics (Q1104918) (← links)
- Operational semantics for positive R (Q1115417) (← links)
- A proof-theoretic semantics for exclusion (Q1689564) (← 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)
- Proof Theory, Semantics and Algebra for Normative Systems (Q2859108) (← links)
- Further Results on Proof Theories For Semilattice Logics (Q3030795) (← links)
- The Arthur Prior memorial conference, Christchurch, 1989 (Q3352992) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- (Q3770527) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
- On semilattice relevant logics (Q4419270) (← links)
- Completeness of implicational relevant logics (Q4521284) (← links)
- Logics of varieties, logics of semilattices and conjunction (Q4644494) (← links)
- (Q4809790) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- (Q5149159) (← links)
- (Q5197384) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)