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 Classical logic predicts that everything (thus nothing useful at all) follows from inconsis...
Paraconsistent logics are, by definition, inconsistency tolerant: In a paraconsistent logic, inconsi...
AbstractA proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsiste...
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...
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of co...
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsi...
In this paper, we present a calculus of paraconsistent logic. We propose an axiomatisation and a sem...
Abstract Using methods of abstract logic and the theory of valuation, we prove that there is no para...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
The paper aims to show that paraconsistency can be generated outside of a system as a property of th...
A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', acco...
Abstract. In Artificial Intelligence, as well as in data base updating or in the design of intellige...
In this paper we make some general remarks on the use of non-classical logics, in particular paracon...
Abstract Classical logic predicts that everything (thus nothing useful at all) follows from inconsis...
Paraconsistent logics are, by definition, inconsistency tolerant: In a paraconsistent logic, inconsi...
AbstractA proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsiste...
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...
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of co...
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsi...
In this paper, we present a calculus of paraconsistent logic. We propose an axiomatisation and a sem...
Abstract Using methods of abstract logic and the theory of valuation, we prove that there is no para...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
The paper aims to show that paraconsistency can be generated outside of a system as a property of th...
A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', acco...
Abstract. In Artificial Intelligence, as well as in data base updating or in the design of intellige...
In this paper we make some general remarks on the use of non-classical logics, in particular paracon...
Abstract Classical logic predicts that everything (thus nothing useful at all) follows from inconsis...
Paraconsistent logics are, by definition, inconsistency tolerant: In a paraconsistent logic, inconsi...
AbstractA proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsiste...
DOI
Add to ORKG