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 modelsKripke-type semanticspredicate logics without the structure rules

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (13)

Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ The contraction rule and decision problems for logics without structural rules ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Modal translations in substructural logics ⋮ Dynamic non-commutative logic ⋮ 1999 European Summer Meeting of the Association for Symbolic Logic ⋮ On the Methodology of Paraconsistent Logic

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

This page was built for publication: Predicate logics without the structure rules