scientific article; zbMATH DE number 5722454

zbMATH Open1195.03008MaRDI QIDQ3567769FDOQ3567769

Authors: S. A. Pavlov 

Publication date: 17 June 2010

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

Recommendations

• scientific article; zbMATH DE number 2079269
• The logic with truth and falsehood operators from a point of view of universal logic
• The Suszko operator relative to truth‐equational logics
• scientific article; zbMATH DE number 2221003
• On the extension of classical propositional logic by means of a triangular norm
• Schönfinkel-type operators for classical logic
• Truth-value semantics and functional extensions for classical logic of partial terms based on equality
• A non-classical refinement of the interpolation property for classical propositional logic
• scientific article; zbMATH DE number 1859178
• Logics of generalized classical truth values

zbMATH Keywords

truth operatoraxiomatic truth theoryclassical sentential logic

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited In (6)

• Title not available (Why is that?)
• A constructivism based on classical truth
• Adding the everywhere operator to propositional logic
• Truthlike and truthful operators
• Schönfinkel-type operators for classical logic
• The Suszko operator relative to truth‐equational logics

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