First-degree entailment and its relatives
From MaRDI portal
Publication:1685573
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
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