scientific article; zbMATH DE number 1187137

MaRDI QIDQ3840341zbMATH OpenFDO

Authors

Publication date 10 August 1998

zbMATH Keywords

Kripke semanticsKyoto (Japan)Nonclassical logicsProceedingsSymposium

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Recommendations

• scientific article; zbMATH DE number 1344776
• Publication:4933664
• On some Kripke complete and Kripke incomplete intermediate predicate logics

Cited in

(5)

• Kripke semantics for modal substructural logics
• Algebraic Kripke sheaf semantics for non-classical predicate logics
• scientific article; zbMATH DE number 49299 (Why is no real title available?)
• scientific article; zbMATH DE number 1344776 (Why is no real title available?)
• scientific article; zbMATH DE number 1386139 (Why is no real title available?)

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 Q3840341)