scientific article; zbMATH DE number 917173

MaRDI QIDQ4889580zbMATH OpenFDO

Authors

Publication date 14 August 1996

zbMATH Keywords

Brno (Czech Republic)Computer scienceConferenceGödelLogical foundationsMathematicsPhysicsProceedings

Mathematics Subject Classification ID

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

Cited in

(7)

• Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings
• The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994
• Uniform interpolation in substructural logics
• scientific article; zbMATH DE number 192764 (Why is no real title available?)
• scientific article; zbMATH DE number 5226306 (Why is no real title available?)
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle

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