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

DOI10.1002/INT.20304zbMATH Open1149.68417OpenAlexW4256649015MaRDI QIDQ3537540FDOQ3537540

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

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

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)