R-calculus. II: Many-valued logics

DOI10.1007/978-981-16-9294-9MaRDI QIDQ5035410zbMATH OpenOpenAlexFDO

Authors Wei Li, Yuefei Sui

Publication date 21 February 2022

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-16-9294-9

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50)

Recommendations

• R-CALCULUS: a logic of belief revision
• A sound and complete \(R\)-calculi with respect to contraction and minimal change
• scientific article; zbMATH DE number 7234173
• scientific article; zbMATH DE number 108002
• Belief revision in non-classical logics.

Cited in

(7)

• \textbf{R}-calculus without the cut rule
• A SYMBOLIC CALCULUS ON DEFECT REVISIONS OF AXIOMATIC SYSTEMS
• R n - and G n -logics
• R-CALCULUS: a logic of belief revision
• R-Calculus, III: Post Three-Valued Logic
• R-Calculus, IV: Propositional Logic
• R-calculus. V: Description logics

This page was built for publication: R-calculus. II: Many-valued logics

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