scientific article; zbMATH DE number 2209823

MaRDI QIDQ5692799zbMATH OpenFDO

Authors Dmitry V. Zaitsev, Yaroslav Shramko

Publication date 28 September 2005

Mathematics Subject Classification ID

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

Recommendations

• Entailment relations and/as truth values
• Entailment and bivalence
• scientific article; zbMATH DE number 3847358
• Logic for exact entailment
• scientific article; zbMATH DE number 1028818
• scientific article; zbMATH DE number 3296227
• Proof-theoretic semantic values for logical operators
• scientific article; zbMATH DE number 5997425
• scientific article; zbMATH DE number 2076260
• Logicality and Invariance

Cited in

(10)

• First-degree entailment and its relatives
• Entailment and bivalence
• Correspondence analysis and automated proof-searching for first degree entailment
• Correspondence analysis for first degree entailment
• Generalized truth values.: A reply to Dubois
• An inferentially many-valued two-dimensional notion of entailment
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• Entailment relations and/as truth values
• Non-deterministic logic of generalized classical truth values

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