AbstractWe show that logic C1 cannot be extended to a paraconsistent logic in which the substitution theorem is valid. We show that C1 can be extended to larger paraconsistent logics by adding some desirable properties as axioms. We use three-valued logics to support our claims
Abstract. In Artificial Intelligence, as well as in data base updating or in the design of intellige...
This paper concerns some connections between paraconsistent logics, modal logics (mainly S5), and Am...
AbstractThe KE inference system is a tableau method developed by Marco Mondadori which was presented...
AbstractWe show that logic C1 cannot be extended to a paraconsistent logic in which the substitution...
Abstract We show that logic C1 cannot be extended to a paraconsistent logic in which the substitutio...
In 2016 Béziau, introduce a restricted notion of paraconsistency, the so-called genuine paraconsiste...
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsi...
A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', acco...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
LP⊃,F is a three-valued paraconsistent propositional logic that is essentially the same as J3. It ha...
Apparently Ex Falso Quodlibet (or Explosion) cannot be isolated within CL (Classical Logic); if Expl...
This is a survey of the main contributions of the author to the field of paraconsistent logic. After...
In this paper we make some general remarks on the use of non-classical logics, in particular paracon...
AbstractA proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsiste...
Abstract Using methods of abstract logic and the theory of valuation, we prove that there is no para...
Abstract. In Artificial Intelligence, as well as in data base updating or in the design of intellige...
This paper concerns some connections between paraconsistent logics, modal logics (mainly S5), and Am...
AbstractThe KE inference system is a tableau method developed by Marco Mondadori which was presented...
AbstractWe show that logic C1 cannot be extended to a paraconsistent logic in which the substitution...
Abstract We show that logic C1 cannot be extended to a paraconsistent logic in which the substitutio...
In 2016 Béziau, introduce a restricted notion of paraconsistency, the so-called genuine paraconsiste...
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsi...
A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', acco...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
LP⊃,F is a three-valued paraconsistent propositional logic that is essentially the same as J3. It ha...
Apparently Ex Falso Quodlibet (or Explosion) cannot be isolated within CL (Classical Logic); if Expl...
This is a survey of the main contributions of the author to the field of paraconsistent logic. After...
In this paper we make some general remarks on the use of non-classical logics, in particular paracon...
AbstractA proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsiste...
Abstract Using methods of abstract logic and the theory of valuation, we prove that there is no para...
Abstract. In Artificial Intelligence, as well as in data base updating or in the design of intellige...
This paper concerns some connections between paraconsistent logics, modal logics (mainly S5), and Am...
AbstractThe KE inference system is a tableau method developed by Marco Mondadori which was presented...
DOI
Add to ORKG