Correia semantics revisited
From MaRDI portal
Publication:300562
DOI10.1007/s11225-015-9631-2zbMath1392.03029OpenAlexW1752027965MaRDI QIDQ300562
Publication date: 28 June 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-015-9631-2
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work
- Angellic content
- A story semantics for implication
- Analytic implication
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- The logic of paradox
- The completeness of S
- Intuitive semantics for first-degree entailments and `coupled trees'
- Proof theory. An introduction
- Semantics for analytic containment
- On a new idiom in the study of entailment
- Logics of nonsense and Parry systems
- Faulty Belnap computers and subsystems of FDE
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
- A computational interpretation of conceptivism
- A Machine-Oriented Logic Based on the Resolution Principle
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Correia semantics revisited
