Semantical analysis of predicate logics without the contraction rule
From MaRDI portal
Publication:1077403
DOI10.1007/BF00379766zbMath0595.03019MaRDI QIDQ1077403
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00379766
semantics; completeness theorem; Kripke models; Beth models; complete meet-semilattice; partially-ordered monoid
03B60: Other nonclassical logic
Related Items
Algebraic Kripke-style semantics for relevance logics, Dual tableau for monoidal triangular norm logic MTL, Predicate logics without the structure rules, On the structure of varieties with equationally definable principal congruences. III
Cites Work