Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview

DOI10.1002/INT.20304MaRDI QIDQ3537540zbMATH OpenOpenAlexFDO

Authors Ricardo Caferra, Nicolas Peltier

Publication date 7 November 2008

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.20304

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logic in artificial intelligence (68T27)

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A meta-logic of inference rules: syntax
• Propositional information systems
• Accepted Beliefs, Revision and Bipolarity in the Possibilistic Framework
• Deductive systems with unified multiple-conclusion rules

Cites work

• A formal system for the non-theorems of the propositional calculus
• A method for simultaneous search for refutations and models by equational constraint solving
• A new technique for verifying and correcting logic programs
• A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems
• Equational problems and disunification
• scientific article; zbMATH DE number 4212005 (Why is no real title available?)
• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• Inductive Logic Programming: Theory and methods
• Logic programming and negation: A survey
• Refutation systems in modal logic
• Tarski on truth and logical consequence
• The method of axiomatic rejection for the intuitionistic propositional logic
• Theory of Formal Systems. (AM-47)

Cited in

(8)

• Mathematical morphology on bipolar fuzzy sets: general algebraic framework
• Paraconsistency in classical logic
• A new optimization approach based on bipolar type-2 fuzzy soft sets
• A meta-logic of inference rules: syntax
• Acceptance, inference, and the multiple-conclusion sequent
• Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
• Refutation systems: an overview and some applications to philosophical logics
• A hypersequent calculus for classical contingencies

This page was built for publication: Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview

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