Lower semilattice-ordered residuated semigroups and substructural logics

Article English OPEN
Mikulás, Szabolcs (2015)
  • Publisher: Springer
  • Related identifiers: doi: 10.1007/s11225-014-9574-z
  • Subject: csis
    arxiv: Computer Science::Logic in Computer Science | Mathematics::Logic

We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.
  • References (13)
    13 references, page 1 of 2

    x y (x y) = (x y) A.R. Anderson, N.D. Belnap and J.M. Dunn, Entailment. The Logic of Relevance and Necessity. Vol. II., Princeton University Press. 1992.

    H. Andreka and Sz. Mikulas, \Lambek calculus and its relational semantics: completeness and incompleteness", Journal of Logic, Language and Information, 3:1{37, 1994.

    H. Andreka and Sz. Mikulas, \Axiomatizability of positive algebras of binary relations", Algebra Universalis, 66:7{34, 2011.

    H. Andreka, Sz. Mikulas and I. Nemeti, \Residuated Kleene algebras", in R.L. Constable and A. Silva (eds.), Kozen Festschrift, pages 1{11, SpringerVerlag, 2012.

    K. Bimbo, J.M. Dunn and R.D. Maddux, \Relevance logic and relation algebras", Review of Symbolic Logic, 2(1):102{131, 2009.

    R. Hirsch and Sz. Mikulas, \Representable semilattice-ordered monoids", Algebra Universalis, 57:333{370, 2007.

    R. Hirsch and Sz. Mikulas, \Positive fragments of relevance logic and algebras of binary relations", Review of Symbolic Logic, 4(1):81{105, 2011.

    J. Lambek, \The mathematics of sentence structure" American Mathematical Monthly, 65:154{170, 1958.

    R.D. Maddux, \Relevance logic and the calculus of relations", Review of Symbolic Logic, 3(01):41{70, 2010.

    Sz. Mikulas, \Algebras of relations and relevance logic", Journal of Logic and Computation, 19:305{321, 2009.

  • Metrics
    views in OpenAIRE
    views in local repository
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Birkbeck Institutional Research Online - IRUS-UK 0 32
Share - Bookmark