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

DOI10.1002/int.20304zbMath1149.68417OpenAlexW4256649015MaRDI QIDQ3537540

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

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

Related Items

A new optimization approach based on bipolar type-2 fuzzy soft sets ⋮ Mathematical morphology on bipolar fuzzy sets: general algebraic framework ⋮ Paraconsistency in classical logic ⋮ A meta-logic of inference rules: Syntax ⋮ Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology

Cites Work

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