Predicate logics without the structure rules

DOI10.1007/BF00370272zbMath0619.03009MaRDI QIDQ1089330

Yuichi Komori

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

normal models; Kripke-type semantics; predicate logics without the structure rules

Mathematics Subject Classification ID

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

• A decidable fragment of predicate calculus
• Semantical analysis of predicate logics without the contraction rule
• A new semantics for intuitionistic predicate logic
• Logics without the contraction rule