scientific article; zbMATH DE number 1361516

zbMATH Open0943.03003MaRDI QIDQ4699334FDOQ4699334

Authors: Jean-Yves Béziau 

Publication date: 5 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• The axiomatization of propositional logic
• scientific article; zbMATH DE number 31602
• scientific article; zbMATH DE number 3316863
• Completeness proofs for propositional logic with polynomial-time connectives
• The metatheory of the classical propositional calculus is not axiomatizable

zbMATH Keywords

propositional logicformalismwell-formed formulasatomic formulasabsolutely free algebra

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Foundations of classical theories (including reverse mathematics) (03B30)

Cited In (5)

• Completeness proofs for propositional logic with polynomial-time connectives
• Sentence, proposition and identity
• Title not available (Why is that?)
• Syntactic awareness in logical dynamics
• The axiomatization of propositional 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 Q4699334)