scientific article; zbMATH DE number 912320
From MaRDI portal
Publication:4887109
zbMath0854.03058MaRDI QIDQ4887109
Publication date: 1 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke semanticscanonical Kripke modellogics with BCK implicationmaximally disjoint filter-ideal pairsrepresentation latticesubstructural logics with weakening
Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Bounded lattice expansions ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
This page was built for publication: