Intuitive Semantics for First-Degree Entailment and ‘Coupled Trees’
From MaRDI portal
Publication:3305606
DOI10.1007/978-3-030-31136-0_3zbMath1469.03055OpenAlexW4247072957MaRDI QIDQ3305606
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_3
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work