Contracting intuitionistic theories

DOI10.1007/s11225-005-8475-6zbMath1085.03015OpenAlexW1973803728MaRDI QIDQ813088

Neil Tennant

Publication date: 30 January 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-8475-6

zbMATH Keywords

contractionintuitionistic logicclassical logicrevisionpartial meet contractionsafe contraction

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

New foundations for a relational theory of theory-revision

Cites Work

• Unnamed Item
• Theory contraction through base contraction
• On the logic of theory change: safe contraction
• On probabilistic representation of non-probabilistic belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Controlled Revision - An algorithmic approach for belief revision
• Theory-Contraction is NP-Complete
• AI 2003: Advances in Artificial Intelligence

This page was built for publication: Contracting intuitionistic theories