Pages that link to "Item:Q3936718"
From MaRDI portal
The following pages link to An axiomatic version of positive semilattice relevance logic (Q3936718):
Displaying 8 items.
- Four relevant Gentzen systems (Q579235) (← links)
- On purported Gentzen formulations of two positive relevant logics (Q1071751) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- A characteristic frame for positive intuitionistic and relevance logic (Q2243544) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Comments on the Contributions (Q5027252) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)