Journal article
Kripke semantics for logics with BCK implication
Abstract
We present Kripke semantics for some substructural logics with weakening, known as logics with BCK implication. This work is a continuation of the work of Allwein and Dunn on Kripke semantics for Linear Logic, which in turn rested on Dunn's Gaggle Theory and on Urquhart's Representation Theory for nondistributive lattices. The basic idea in the representation theory is to use maximally disjoint filter-ideal pairs (maximal pairs) to separate …
Authors
MacCaull W
Journal
Bulletin of the Section of Logic, Vol. 25, No. 1, pp. 41–51
Publication Date
January 1, 1996
ISSN
0138-0680