scientific article; zbMATH DE number 1386139

MaRDI QIDQ4933664zbMATH OpenFDO

Authors

Publication date 11 January 2000

zbMATH Keywords

Kripke semanticsKyoto (Japan)Nonclassical logicsProceedingsRIMSSequent calculusSymposium

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
• Proof analysis in non-classical logics
• scientific article; zbMATH DE number 1187137
• scientific article; zbMATH DE number 1361537
• scientific article; zbMATH DE number 1144299

Cited in

(4)

• scientific article; zbMATH DE number 1187137 (Why is no real title available?)
• 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 1793836 (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 Q4933664)