\textbf{R}-calculus without the cut rule

DOI10.1007/S11432-011-4492-4zbMATH Open1267.03040OpenAlexW2001583856MaRDI QIDQ351018FDOQ351018

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

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

zbMATH Keywords

\textbf{R}-calculuscut rulerevision

Mathematics Subject Classification ID

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

Cites Work

• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• Mathematical logic. Foundations for information science

Cited In (5)

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

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)