Tautologies in formal logic

MaRDI QIDQ3617136zbMATH OpenFDO

Authors A. Tortrat

Publication date 26 March 2009

zbMATH Keywords

model theorytautology

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 4039849
• On a fallacy attributed to tarski
• It might have been classical logic
• scientific article; zbMATH DE number 2080004
• Formality in logic from logical terms to semantic constraints

Cited in

(4)

• The Tarski T-schema is a tautology (literally)
• scientific article; zbMATH DE number 4039849 (Why is no real title available?)
• scientific article; zbMATH DE number 25707 (Why is no real title available?)
• scientific article; zbMATH DE number 166114 (Why is no real title available?)

This page was built for publication: Tautologies in formal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617136)