First-degree entailment and structural reasoning

DOI10.1007/978-3-030-31136-0_18zbMATH Open1469.03059OpenAlexW2997577828MaRDI QIDQ3305621FDOQ3305621

Authors: Yaroslav Shramko 

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_18

Recommendations

• First-degree entailment and binary consequence systems
• First-degree entailment and its relatives
• A natural deduction system for first degree entailment
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• Intuitive semantics for first-degree entailment and `coupled trees'

zbMATH Keywords

exactly true logicfirst-degree entailmentnon-falsity logicstructural reasoningbinary consequence system

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)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• The connectives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Positive modal logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Lattices With Involution
• Nothing but the truth
• Contradictory information: too much of a good thing
• Belnap's Four-Valued Logic and De Morgan Lattices
• Partiality and its dual
• Algebraic completeness results for R-mingle and its extensions
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• Title not available (Why is that?)
• First-degree entailment and its relatives
• An algebraic view of super-Belnap logics
• A survey of nonstandard sequent calculi
• Entailment relations and/as truth values
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates

Cited In (15)

• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Generalising tautological entailment
• Logics of upsets of De Morgan lattices
• The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• First-degree entailment and binary consequence systems
• Title not available (Why is that?)
• A natural deduction system for first degree entailment
• A note on FDE ``all the way up
• FDE: a logic of clutters
• First-degree entailment and its relatives
• Faulty Belnap computers and subsystems of FDE
• Title not available (Why is that?)
• First-degree entailment and binary consequence systems
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions

This page was built for publication: First-degree entailment and structural reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305621)