scientific article; zbMATH DE number 35401

MaRDI QIDQ3989922zbMATH OpenFDO

Authors

Publication date 28 June 1992

zbMATH Keywords

formal languages with consequence relationsunaxiomatizable complete systems

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 4041863
• Foundations for the formalization of metamathematics and axiomatizations of consequence theories
• scientific article; zbMATH DE number 4053578
• Key notions of Tarski's methodology of deductive systems
• scientific article; zbMATH DE number 120344

Cited in

(4)

• Key notions of Tarski's methodology of deductive systems
• scientific article; zbMATH DE number 6950175 (Why is no real title available?)
• An open formalism against incompleteness
• On the decidability of open logic

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