scientific article; zbMATH DE number 912320

MaRDI QIDQ4887109zbMATH OpenFDO

Authors Wendy MacCaull

Publication date 1 August 1996

zbMATH Keywords

canonical Kripke modelKripke semanticslogics with BCK implicationmaximally disjoint filter-ideal pairsrepresentation latticesubstructural logics with weakening

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25)

Recommendations

• Kripke semantics for modal substructural logics
• Kripke models for linear logic
• scientific article; zbMATH DE number 1543335

Cited in

(10)

• Investigations into a left-structural right-substructural sequent calculus
• Kripke Semantics for Basic Sequent Systems
• Kripke models for linear logic
• scientific article; zbMATH DE number 3904588 (Why is no real title available?)
• scientific article; zbMATH DE number 1156786 (Why is no real title available?)
• scientific article; zbMATH DE number 2170850 (Why is no real title available?)
• Modal logic without contraction in a metatheory without contraction
• Bounded lattice expansions
• Birkhoff's and Mal'cev's theorems for implicational tonoid logics
• Kripke incomplete logics containing KTB

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4887109)