R-Calculus, IV: Propositional Logic

DOI10.1007/978-981-19-8633-8MaRDI QIDQ6488482FDOQ6488482

Authors: Wei Li, Yuefei Sui 

Publication date: 21 April 2023

Published in: Perspectives in Formal Induction, Revision and Evolution (Search for Journal in Brave)

Recommendations

• R-calculus. II: Many-valued logics
• R-Calculus, III: Post Three-Valued Logic
• R-CALCULUS: a logic of belief revision
• R-calculus. V: Description logics
• scientific article; zbMATH DE number 49445

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05)

Cited In (2)

• R-Calculus, III: Post Three-Valued Logic
• R-calculus. V: Description logics

This page was built for publication: R-Calculus, IV: Propositional Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488482)