R-Calculus, IV: Propositional Logic

DOI10.1007/978-981-19-8633-8MaRDI QIDQ6488482zbMATH OpenFDO

Authors Wei Li, Yuefei Sui

Publication date 21 April 2023

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

Full work available at URL https://doi.org/10.1007/978-981-19-8633-8

Mathematics Subject Classification ID

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

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

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)