scientific article; zbMATH DE number 166114

zbMATH Open0772.03001MaRDI QIDQ4033728FDOQ4033728

Authors: Philip Hugly, Charles Sayward 

Publication date: 16 May 1993

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

Recommendations

• Against truth-value gaps
• scientific article; zbMATH DE number 3882408
• scientific article
• Tautologies in formal logic
• scientific article; zbMATH DE number 43479

zbMATH Keywords

tautologiesfirst-order languagescontradictionslanguage with truth-value gaps

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited In (1)

• Does Advice Help to Prove Propositional Tautologies?

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