相关推荐

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

Automated Deduction in Classical and Non-Classical Logics

  • 作者:Ricardo Caferra,Gernot Salzer
  • EISBN:9783540465089
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Automated Deduction in Classical and Non-Classical Logics

  • 作者:Ricardo Caferra,Gernot Salzer
  • EISBN:9783540465089
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Non-Classical Logics, Model Theory, And Computability

  • 作者:A.I. Arruda,N.C.A. da Costa,R. Chuaqui
  • PISBN:9780720407525
  • 出版时间:Pre 2007

Interval / Probabilistic Uncertainty and Non-Classical Logics

  • 作者:Van-Nam Huynh,Yoshiteru Nakamori,Hiroakira Ono,Jonathan Lawry,Vkladik Kreinovich,Hung T. Nguyen
  • EISBN:9783540776642
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Belief Revision in Non-Classical Logics

  • 作者:Márcio Moretto Ribeiro
  • EISBN:9781447141860
  • 出版社:Springer London
  • 出版时间:2013