Buscar
Mostrando ítems 1-10 de 42
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
Ontology Reasoning and Evolution with Inconsistency Tolerance: An Argumentative Approach to Revision of Description Logics
(IOS Press, 2016-03-02)
Reasoning and change over inconsistent ontologies (i-ont(s)) is of utmost relevance in sciences like medicine and law. Argumentation may be an appropriate formalism to cope with both problems: (reasoning) through an ...
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
Paraconsistent Probabilities: Consistency, Contradictions And Bayes' Theorem
(MDPI AGBasel, 2016)
Paraconsistent Set Theory By Predicating On Consistency
(OXFORD UNIV PRESSOXFORD, 2016)
Paraconsistent Set Theory By Predicating On Consistency
(Oxford Univ PressOxford, 2016)
The Single-minded Pursuit of Consistency and its Weakness
(SpringerNew YorkEUA, 2011)
Inconsistent-tolerant base revision through Argument Theory Change
(OXFORD UNIV PRESSOXFORD, 2012)
Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation ...
Notes on w-inconsistent Theories of Truth in Second-Order Languages
(Cambridge University Press, 2013-12)
It is widely accepted that a theory of truth for arithmetic should be consistent, but ω-consistency is less frequently required. This paper argues that ω-consistency is a highly desirable feature for such theories. The ...