First-degree entailment and its relatives

DOI10.1007/s11225-017-9747-7zbMath1417.03182OpenAlexW2755512208MaRDI QIDQ1685573

Dmitry Zaitsev, Alexander Belikov, Yaroslav Shramko

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9747-7

zbMATH Keywords

four-valued logicBelnap's logicfirst-degree entailmentconsequence system

Mathematics Subject Classification ID

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

Related Items (13)

О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ О выразительных возможностях отдельных расширений четырехзначной логики Белнапа ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ First-Degree Entailment and Structural Reasoning ⋮ Non-distributive relatives of ETL and NFL ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ A note on FDE ``all the way up ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Two proofs of the algebraic completeness theorem for multilattice logic

Cites Work

• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Positive modal logic
• Nothing but the truth
• Begründung einer strengen Implikation
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• Truth, Falsehood, Information and Beyond: The American Plan Generalized
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: First-degree entailment and its relatives