登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

R-Calculus, IV: Propositional Logic
EISBN：9789811986338
PISBN：9789811986321
出版社：Springer Nature
出版时间：2023
作者：Wei Li,Yuefei Sui
主题词：Belief Revision,AGM Postulates,R-calculus,Gentzen Deduction System,Soundness,Completeness,Tableau Proof System,Propositional Logic,Axiomatic Deduction System,Natural Deduction System
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Perspectives in Formal Induction, Revision and Evolution
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

R-Calculus, V: Description Logics
  • 作者：Wei Li,Yuefei Sui
  • EISBN：9789819964604
  • 出版社：Springer Nature
  • 出版时间：2024
...

R-Calculus, II: Many-Valued Logics
  • 作者：Wei Li;Yuefei Sui
  • EISBN：9789811692949
  • 出版社：Springer Nature
  • 出版时间：2022
...

The Propositional Logic of Boethius
  • 作者：Karl Durr
  • PISBN：9780444533661
  • 出版时间：Pre 2007
...

Gentzen Calculi for Modal Propositional Logic
  • 作者：Francesca Poggiolesi
  • EISBN：9789048196708
  • 出版社：Springer Netherlands
  • 出版时间：2011
...

Applied Calculus with R
  • 作者：Thomas J. Pfaff
  • EISBN：9783031285714
  • 出版社：Springer Nature
  • 出版时间：2023
...

Propositional and Predicate Calculus A Model of Argument
  • 作者：Derek Goldrei
  • EISBN：9781846282294
  • 出版社：Springer London
  • 出版时间：2005