Predicate logics without the structure rules
From MaRDI portal
Publication:1089330
DOI10.1007/BF00370272zbMath0619.03009MaRDI QIDQ1089330
Publication date: 1986
Published in: Studia Logica (Search for Journal in Brave)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
1999 European Summer Meeting of the Association for Symbolic Logic, On the Methodology of Paraconsistent Logic, Algebraic Kripke-style semantics for relevance logics, The contraction rule and decision problems for logics without structural rules, Modal translations in substructural logics, Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic, On the structure of varieties with equationally definable principal congruences. III, Towards a non-classical meta-theory for substructural approaches to paradox, Dynamic non-commutative logic, UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS, FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
Cites Work