On a new idiom in the study of entailment

DOI10.1007/S11787-011-0027-4zbMath1272.03105OpenAlexW1999258758MaRDI QIDQ1942338

Yanyan Li

Publication date: 19 March 2013

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

Full work available at URL: https://doi.org/10.1007/s11787-011-0027-4

zbMATH Keywords

first-degree entailmentlattice of hypergraphsLeibnizian analysissubsumption between hypergraphs

Mathematics Subject Classification ID

Hypergraphs (05C65) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Correia semantics revisited ⋮ FDE: A Logic of Clutters

Cites Work

• Unnamed Item
• Unnamed Item
• Intuitive semantics for first-degree entailments and `coupled trees'
• A semantical analysis of implicational system I and of the first degree of entailment
• Intensional models for first degree formulas

This page was built for publication: On a new idiom in the study of entailment