Residuated Lattices: An Algebraic Glimpse at Substructural Logics

PISBN:9780444521415
出版时间:2007
作者:Nikolaos Galatos,Peter Jipsen,Tomasz Kowalski,Hiroakira Ono
主题词:Mathematics 2007
语种:英语
所属数据库:Elsevier电子图书
相关推荐

Substructural Logics: A Primer

  • 作者:Francesco Paoli
  • EISBN:9789401731799
  • 出版社:Springer Netherlands
  • 出版时间:2002

Substructural Logics: A Primer

  • 作者:F. Paoli
  • EISBN:9789401731799
  • 出版社:Springer Netherlands
  • 出版时间:2002

Lattices and Ordered Algebraic Structures

  • 作者:T.S. Blyth
  • EISBN:9781846281273
  • 出版社:Springer London
  • 出版时间:2005

An Algebraic Approach to Non-Classical Logics

  • 作者:Helena Rasiowa
  • PISBN:9780720422641
  • 出版时间:Pre 2007

Algebraic and Proof-theoretic Aspects of Non-classical Logics

  • 作者:Stefano Aguzzoli,Agata Ciabattoni,Brunella Gerla,Corrado Manara,Vincenzo Marra
  • EISBN:9783540759393
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Practical Glimpse

  • 作者:Phillip Whitt
  • EISBN:9781484263273
  • 出版社:Apress
  • 出版时间:2020