\textbf{R}-calculus without the cut rule

DOI10.1007/s11432-011-4492-4zbMath1267.03040OpenAlexW2001583856MaRDI QIDQ351018

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

cut rule\textbf{R}-calculusrevision

Mathematics Subject Classification ID

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

Related Items (4)

A general framework for computing maximal contractions ⋮ A decomposition based algorithm for maximal contractions ⋮ FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets ⋮ Decidable subsets of open logic and an algorithm for R-calculus

Cites Work

• Unnamed Item
• On the logic of theory change: Partial meet contraction and revision functions
• Mathematical logic. Foundations for information science

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