scientific article; zbMATH DE number 2196617
From MaRDI portal
zbMath1076.03007MaRDI QIDQ5311064
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)
Related Items
On When a Disjunction Is Informative, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, New dimensions on translations between logics, What is a logic translation?, Varieties of Relevant S5, Informational semantics as a third alternative?, Logical pluralism and semantic information, Priest on Negation, Noisy vs. Merely Equivocal Logics, Supervenience, Dependence, Disjunction
