\textbf{R}-calculus without the cut rule

DOI10.1007/S11432-011-4492-4MaRDI QIDQ351018zbMATH OpenOpenAlexFDO

Authors Jie Luo, Wei Li

Publication date 3 July 2013

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-011-4492-4

zbMATH Keywords

\textbf{R}-calculuscut rulerevision

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• R-calculus. II: Many-valued logics
• scientific article; zbMATH DE number 1748575
• A cut-free sequent calculus for relevant logic RW
• A sound and complete \(R\)-calculi with respect to contraction and minimal change
• R-CALCULUS: a logic of belief revision

Cites work

• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• Mathematical logic. Foundations for information science
• On the logic of theory change: Partial meet contraction and revision functions

Cited in

(5)

• A general framework for computing maximal contractions
• A decomposition based algorithm for maximal contractions
• Decidable subsets of open logic and an algorithm for R-calculus
• A SYMBOLIC CALCULUS ON DEFECT REVISIONS OF AXIOMATIC SYSTEMS
• FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets

This page was built for publication: \textbf{R}-calculus without the cut rule

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