Entailment generalized

DOI10.1007/978-3-031-69940-5_13MaRDI QIDQ6943384zbMATH OpenFDO

Authors Tore Fjetland Øgaard

Publication date 13 August 2025

Full work available at URL https://doi.org/10.1007/978-3-031-69940-5_13

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• An introduction to non-classical logic. From if to is
• Begründung einer strengen Implikation
• Deduction Theorems for Relevant Logics
• Deduction Theorems for T, E and R Reconsidered
• E, R AND γ
• Entailment and relevance¹
• From Hilbert proofs to consecutions and back
• Non-Boolean classical relevant logics. I
• Rules in relevant logic. II: Formula representation
• The pure calculus of entailment
• Universal logic
• What is a relevant connective?
• What is relevance logic?

This page was built for publication: Entailment generalized

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