Residuated lattices : an algebraic glimpse at substructural logics

出版社:Amsterdam ; Boston : Elsevier, c2007.
ISBN:9780444521415
出版年:2007
作者:Galatos,Nikolaos.
资源类型:图书
细分类型:西文文献
相关推荐

Standard completeness for semilinear substructural logics

  • 作者:Wang,Sanmin,
  • ISBN:9787030668769
  • 出版社:Beijing : Science Press, 2020.
  • 出版年:2020

Algebraic theory of lattices

  • 作者:Crawley,Peter,
  • ISBN:0130222690
  • 出版社:Englewood Cliffs, N.J., Prentice-Hall [1973]
  • 出版年:1973

Orthomodular lattices : algebraic approach

  • 作者:Beran,Ladislav.
  • ISBN:902771715X
  • 出版社:Dordrecht ; Boston : D. Reidel ; Hingham, MA, U.S.A., : Sold and distributed in the U.S.A. and Canad
  • 出版年:1985

An algebraic approach to non-classical logics

  • 作者:Rasiowa,Helena.
  • 出版社:Amsterdam : North-Holland pub. co., 1974.
  • 出版年:1974

A general algebraic semantics for sentential logics

  • 作者:Font,Josep Maria,
  • ISBN:3540616993
  • 出版社:Berlin ; New York : Springer-Verlag, 1996.
  • 出版年:1996

Categories of algebraic systems : vector and projective spaces, semigroups, rings, and lattices

  • 作者:Petrich,Mario.
  • ISBN:038707998X
  • 出版社:Berlin ; New York : Springer-Verlag, 1976.
  • 出版年:1976