scispace - formally typeset
Search or ask a question
Topic

Paraconsistent logic

About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.


Papers
More filters
Journal ArticleDOI
TL;DR: In this article , a paraconsistent type theory is extended by adding co-function types and it is shown that the opposite type constructor can be viewed as an involution operation that transforms each type into its dual type.
Abstract: A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type constructor can be viewed as an involution operation that transforms each type into its dual type. Moreover, intuitive interpretations of opposite and co-function types under different interpretations of types are discussed.
Dissertation
01 Jan 2008
TL;DR: A many valued logic and a paraconsistent many valued Logic in the generic theorem prover Isabelle is formalized and the use of paracons persistent logics in knowledge-based systems is de-emphasized, since Isabelen is not very well suited for such a task.
Abstract: In this report we discuss paraconsistent logic. In classical and intuitionistic logic everything follows from a contradiction. In a paraconsistent logic something limited and more reasonable than everything follows from a contradiction. In this report we concentrate our efforts on many valued paraconsistent firstorder logic. We have formalized a many valued logic and a paraconsistent many valued logic in the generic theorem prover Isabelle. The higher-order aspects of paraconsistent logic have been de-emphasized in this report since it turned out to be quite irrelevant to to many authors of paraconsistent logics. We have also de-emphasized the use of paraconsistent logics in knowledge-based systems, since Isabelle is not very well suited for such a task.
Book ChapterDOI
01 Jan 2014
TL;DR: This chapter introduces the development of a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (abbr. EVALPSN), which can deal with before-after relations between two time intervals, and its reasoning system consists of two kinds of inference rules.
Abstract: Paraconsistent Logic is well known as a logical tool that can deal with inconsistency in a consistent logical system. In this chapter we introduce the development of a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (abbr. EVALPSN). First of all, we review paraconsistent annotated logics P T and their logic programs, and introduce the development from the paraconsistent logics P T to EVALPSN and their formal definitions. Furthermore, we introduce one version of EVALPSN named before-after (abbr. bf)-EVALPSN, which can deal with before-after relations between two time intervals, and its reasoning system consists of two kinds of inference rules with an example. We also provide a bf-EVALPSN based safety verification system for a pipeline process order control with simple examples.
Book ChapterDOI
03 Sep 2016
TL;DR: The implementation of Paraconsistent Logic to the Six Sigma concepts can minimize the human factor risk, avoiding rework, as it eliminates any discrepancy among the opinions of the specialist involved on the decision making process.
Abstract: Decision Making process is key to success. With this in mind, this paper discusses the implementation of Paraconsistent Logic to the Six Sigma concepts. It is known that the human factor can be risky, so it can benefit with the addition of some artificial intelligence such as Paraconsistent Logic. Applying the Paraconsistent Decision-Making Method can minimize the human factor risk, avoiding rework, as it eliminates any discrepancy among the opinions of the specialist involved on the decision making process.
Book ChapterDOI
01 Jan 1966
TL;DR: The investigation of the domain of logic requires the accurate determining of its subject and the operations of reason, ens rationis, intentions, the mode of predication, and the true and the false have all been assigned to logic as the field of its endeavors.
Abstract: Any attempt to discover and delimit the domain of a science necessarily resolves itself into the determination of just what the science investigates, studies, and analyzes. But that about which a science conducts its investigation is called the subject of the science, as has already been explained.1 For “that is the subject in a science whose causes and properties we seek.”2 The investigation of the domain of logic, therefore, requires the accurate determining of its subject. In the texts distinguishing logic from metaphysics which have just been seen, much is said about the subject of logic. In other texts also among those already examined there are indications of what logic studies. The operations of reason, ens rationis, intentions, the mode of predication, and the true and the false have all been assigned to logic as the field of its endeavors. Each of these must be carefully examined to determine and delimit the domain of logic and discover exactly what St. Thomas considers to constitute the proper subject of this science.

Network Information
Related Topics (5)
Axiom
11K papers, 257.9K citations
80% related
Logic programming
11.1K papers, 274.2K citations
79% related
Metaphysics
14.8K papers, 235.4K citations
77% related
Philosophy of science
15.4K papers, 361.5K citations
77% related
Class (set theory)
17.4K papers, 242K citations
76% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202313
202255
202131
202036
201935
201847