scientific article; zbMATH DE number 1859178

MaRDI QIDQ4789154zbMATH OpenFDO

Authors S. A. Pavlov

Publication date 17 June 2003

zbMATH Keywords

contradictionexcluded middlepropositional calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 2079269
• scientific article; zbMATH DE number 5722454
• Logics of generalized classical truth values
• Falsification-aware semantics and sequent calculi for classical logic
• scientific article; zbMATH DE number 1348455
• scientific article; zbMATH DE number 125239
• Classical term-modal logics
• scientific article; zbMATH DE number 6311040
• Truth-value semantics and functional extensions for classical logic of partial terms based on equality
• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)

Cited in

(2)

• scientific article; zbMATH DE number 5722454 (Why is no real title available?)
• The Logic of Classes

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