The purpose of this paper is mainly to give a model of paraconsistent logic satisfying the "Frege comprehension scheme" in which we can develop standard set theory (and even much more as we shall see). This is the continuation of the work of Hinnion and Libert. © 2004 University of Notre Dame.SCOPUS: ar.jinfo:eu-repo/semantics/publishe
In this paper we analyse da Costa's paraconsistent set theories, i.e., the set theories constructed ...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of co...
Two distinct and apparently “dual” traditions of non-classical logic, three-valued logic and paracon...
Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In p...
This book covers work written by leading scholars from different schools within the research area of...
In this paper, we present set theories based upon the paraconsistent logic Pac. We describe two diff...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
In this paper we present a paraconsistent abdutive semantics for extended normal logic programs, th...
This paper begins an axiomatic development of naive set theory—the consequences of a full comprehens...
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...
AbstractIn this paper the existence of natural models for a paraconsistent version of naive set theo...
Abstract. In this paper we present a paraconsistent abdutive semantics for extended normal logic pro...
This is a survey of the main contributions of the author to the field of paraconsistent logic. After...
In this paper we analyse da Costa's paraconsistent set theories, i.e., the set theories constructed ...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of co...
Two distinct and apparently “dual” traditions of non-classical logic, three-valued logic and paracon...
Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In p...
This book covers work written by leading scholars from different schools within the research area of...
In this paper, we present set theories based upon the paraconsistent logic Pac. We describe two diff...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
In this paper we present a paraconsistent abdutive semantics for extended normal logic programs, th...
This paper begins an axiomatic development of naive set theory—the consequences of a full comprehens...
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...
AbstractIn this paper the existence of natural models for a paraconsistent version of naive set theo...
Abstract. In this paper we present a paraconsistent abdutive semantics for extended normal logic pro...
This is a survey of the main contributions of the author to the field of paraconsistent logic. After...
In this paper we analyse da Costa's paraconsistent set theories, i.e., the set theories constructed ...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of co...
DOI
Add to ORKG