Substructural Logics and Residuated Lattices — an Introduction

This publication has 16 references indexed in Scilit:

• The finite embeddability property for residuated lattices, pocrims and BCK-algebras
  Algebra universalis, 2002
• A Survey of Residuated Lattices
  Published by Springer Nature ,2002
• A Proof of Standard Completeness for Esteva and Godo's Logic MTL
  Studia Logica, 2002
• Monoidal t-norm based logictowards a logic for left-continuous t-norms
  Fuzzy Sets and Systems, 2001
• Basic Fuzzy Logic is the logic of continuous t-norms and their residua
  Soft Computing, 2000
• The finite model property for various fragments of linear logic
  The Journal of Symbolic Logic, 1997
• The contraction rule and decision problems for logics without structural rules
  Studia Logica, 1991
• Linear logic
  Theoretical Computer Science, 1987
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
  Mathematics of the USSR-Izvestiya, 1982
• A completeness theorem in modal logic
  The Journal of Symbolic Logic, 1959