We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Further Results on Proof Theories For Semilattice Logics.
- Authors
Meyer, Robert K.; Martin, Errol P.; Giambrone, Steve; Urquhart, Alasdair
- Abstract
The article presents a partial solution regarding proof theories for semilattice logics. It notes that the solution indicates the equality of commutative manoid and distributive semilattice semantics without disjunction. Various theorems are presented concerning the commutative monoid and semilattice semantics.
- Subjects
PROOF theory; SEMILATTICES; DISTRIBUTIVE lattices; COMMUTATIVE algebra; ABELIAN semigroups; MATHEMATICAL models; SEMANTICS
- Publication
Mathematical Logic Quarterly, 1988, Vol 34, Issue 4, p301
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.19880340404