The nature of entailment: an informational approach

DOI10.1007/s11229-019-02474-5zbMath1525.03082OpenAlexW2991010830MaRDI QIDQ6088597

Yaroslav Shramko, Heinrich Wansing

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02474-5

zbMATH Keywords

informational contententailment relationstructural inference rulesAckermann principle

Mathematics Subject Classification ID

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

Related Items (1)

Poly-connexivity: connexive conjunction and disjunction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consequence relations and admissible rules
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• Logic: a history of its central concepts
• Truth and falsehood. An inquiry into generalized logical values
• Negation in the context of gaggle theory
• Truth values and proof theory
• Sequent-systems and groupoid models. I
• Semantics for connexive logics. I
• Relevant logic and the theory of information
• The logic of information structures
• Substructural logics: a primer
• The revival of rejective negation
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Anything goes
• There is more to negation than modality
• Intuitive semantics for first-degree entailments and `coupled trees'
• Displaying modal logic
• Display logic
• Handbook of philosophical logic. Vol. 9
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• What is Logic?
• Shifting situations and shaken attitudes
• Begründung einer strengen Implikation
• Constructible falsity and inexact predicates
• Sequent Calculi for Normal Modal Propositional Logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• The Semantics of First Degree Entailment
• Core Logic

This page was built for publication: The nature of entailment: an informational approach