scientific article; zbMATH DE number 2209893

MaRDI QIDQ5692876zbMATH OpenFDO

Authors Dmitry V. Zaitsev

Publication date 28 September 2005

zbMATH Keywords

first-degree relevant logicfour-valued logicnonmonotonic logicparaconsistent logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Recommendations

• A useful four-valued logic
• Two, three, four, infinity: the path to the four-valued logic and beyond
• Motivation and demotivation of a four-valued logic
• ``Four-valued semantics for the relevant logic R
• Four-valued logic

Cited in

(13)

• Pecularities of some three- and four-valued second order logics
• Correspondence analysis and automated proof-searching for first degree entailment
• scientific article; zbMATH DE number 5872210 (Why is no real title available?)
• A useful four-valued logic
• scientific article; zbMATH DE number 4031640 (Why is no real title available?)
• scientific article; zbMATH DE number 475182 (Why is no real title available?)
• A comment on relevant truth table logic
• scientific article; zbMATH DE number 2019875 (Why is no real title available?)
• The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
• A propositional logic with 4 values: true, false, divergent and meaningless
• scientific article; zbMATH DE number 7503168 (Why is no real title available?)
• Four valued semantics and the Liar
• Motivation and demotivation of a four-valued 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 Q5692876)