OPAC

R-Calculus, IV: Propositional Logic / by Wei Li, Yuefei Sui
(Perspectives in Formal Induction, Revision and Evolution. ISSN:27313697)

データ種別	電子ブック
版	1st ed. 2023.
出版者	(Singapore : Springer Nature Singapore : Imprint: Springer)
出版年	2023
大きさ	XIII, 252 p. 2 illus., 1 illus. in color : online resource
著者標目	*Li, Wei author Sui, Yuefei author SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0002590	Computer Scinece R0 2005-6,2022-3				9789811986338

一般注記	Introduction -- R-calculus for simplified propositional logics -- R-calculi for tableau/Gentzen deduction systems -- R-calculi RQ1Q2/RQ1Q2 -- R-calculi RQ1iQ2j/RQ1iQ2j -- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j -- R-calculi for supersequents -- R-calculi for propositional logic This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. HTTP:URL=https://doi.org/10.1007/978-981-19-8633-8
件　名	LCSH:Machine theory LCSH:Mathematical logic LCSH:Logic programming LCSH:Mathematical models LCSH:Computer science—Mathematics FREE:Formal Languages and Automata Theory FREE:Mathematical Logic and Foundations FREE:Logic in AI FREE:Mathematical Modeling and Industrial Mathematics FREE:Mathematics of Computing
分　類	LCC:QA267-268.5 DC23:005.131
書誌ID	EB00001978
ISBN	9789811986338