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 published on a yearly basis
Papers
More filters
01 Feb 2004
TL;DR: This paper presents an approach to approximate reasoning over a set of IF-THEN rules called fuzzy logic deduction, which understands IF- THEN rules as linguistically expressed logical implications and interprets them inside formal logical theory.
Abstract: This paper presents an approach to approximate reasoning over a set of IF-THEN rules called fuzzy logic deduction. It understands IF-THEN rules as linguistically expressed logical implications and interprets them inside formal logical theory. Methodology and some properties are presented.
17 citations
06 Jul 2009
TL;DR: This novel combination incorporates a new kind of multi- agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning aboutMulti-agent communication and evidence elimination for groups of interacting rational agents.
Abstract: This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.
17 citations
TL;DR: The paper presents an outline of a unified answer to five questions concerning logic: Does logic need a foundation?
Abstract: The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic in the mind or in the world? (2) Does logic need a foundation? What is the main obstacle to a foundation for logic? Can it be overcome? (3) How does logic work? What does logical form represent? Are logical constants referential? (4) Is there a criterion of logicality? (5) What is the relation between logic and mathematics?
17 citations
TL;DR: A new type of hybrid PI controller using the Paraconsistent Logic as the basis for the mathematical and logical treatment of the signals corresponding to the control variables responded well to the various tests performed in the control loop.
17 citations
TL;DR: A natural deduction system for dual-intuitionistic logic that is a single-premise multiple-conclusions system and relationships with the natural deduction systems for intuitionistic and classical logic are discussed.
Abstract: We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.
17 citations