Publication:2845524
From MaRDI portal
zbMath1271.03033MaRDI QIDQ2845524
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066103000185
03F07: Structure of proofs
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), Inconsistency in Ceteris Paribus Imagination, \(\mathbf R\) and relevance principle revisited, What is relevance logic?, On the ternary relation and conditionality, Logical consequence and the paradoxes, Informational semantics as a third alternative?, Structures and logics: a case for (a) relativism, The nature of information: a relevant approach, A positive information logic for inferential information, General information in relevant logic, The concept of relevance and the logic diagram tradition, Human rationality challenges universal logic, Logical pluralism and semantic information, Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic