Proof Theories for Semilattice Logics

Semantics for relevant logics

Alasdair Urquhart · Journal of Symbolic Logic · 1972 · 254 citations

Humanities, Philosophy, Logic +14

TW + and RW + are decidable

Steve Giambrone · Journal of Philosophical Logic · 1985 · 44 citations

Computing, Computer Science, Theory Of Computation +5

An axiomatic version of positive semilattice relevance logic

G. Charlwood · Journal of Symbolic Logic · 1981 · 24 citations

Language Studies, Computer Science, Mathematics +12

Completeness of weak implication

Alasdair Urquhart · Theoria · 1971 · 23 citations

Humanities, Computer Science, Formal Methods +5