Sciweavers

LOGCOM
2010
120views more  LOGCOM 2010»
13 years 6 months ago
Paraconsistent Machines and their Relation to Quantum Computing
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
Juan C. Agudelo, Walter Alexandre Carnielli
DLOG
2010
13 years 9 months ago
Paraconsistent Description Logics Revisited
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
Norihiro Kamide
JAR
1998
57views more  JAR 1998»
13 years 11 months ago
Signed Systems for Paraconsistent Reasoning
In [6] Besnard and Schaub elaborated a novel approach to paraconsistent reasoning which lead to a family of paraconsistent consequence relations. In a sense these try to safeguard...
Philippe Besnard, Torsten Schaub
CORR
2004
Springer
92views Education» more  CORR 2004»
13 years 11 months ago
Paraconsistent Intuitionistic Fuzzy Relational Data Model
Rajshekhar Sunderraman, Haibin Wang
ISMIS
2005
Springer
14 years 5 months ago
A Data Model Based on Paraconsistent Intuitionistic Fuzzy Relations
Abstract. Paraconsistent intuitionistic fuzzy set is an extension of intuitionistic fuzzy set or interval-valued fuzzy set. It relaxes the requirement that t + f ≤ 1, where t is ...
Haibin Wang, Rajshekhar Sunderraman