Results 221 to 230 of about 1,985 (241)
Some of the next articles are maybe not open access.
The Inconsistency of Certain Formal Logics
Annals of Mathematics, 1935S C Kleene
exaly +4 more sources
The inconsistency of certain formal logics
Journal of Symbolic Logic, 1942A proof that certain systems of formal logic are inconsistent, in the sense that every formula expressible in them is provable, was published by Kleene and Rosser under the above title in 1935. For the case where the underlying system satisfies an additional condition—viz.
Alonzo Church, Haskell B. Curry
semanticscholar +4 more sources
From logics of formal inconsistency to logics of formal classicality
Logic Journal of the IGPL, 2020One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João ...
Hitoshi Omori, Omori Hitoshi
exaly +2 more sources
Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency
2016 27th International Workshop on Database and Expert Systems Applications (DEXA), 2016The paper explores the connection between Soren Hallden's logic of nonsense (and its expansions) and Logics of Formal Inconsistency (LFIs), one of the main traditions in paraconsistency. Although not much attention has been payed by paraconsistentists, Hallden's logic can be nicely connected to LFIs.
Hitoshi Omori
openaire +2 more sources
A Basic Logic of Formal Inconsistency: mbC
2016This chapter begins a formal study of Logics of Formal Inconsistency (LFIs) by offering a careful survey of the basic logic of formal inconsistency, mbC. The chapter also lays out the main notation, ongoing definitions and main ideas that will be used throughout the book.
Walter Carnielli +1 more
openaire +2 more sources
Volume II: New advances in Logics of Formal Inconsistency
Logic Journal of the IGPL, 2020Eduardo Barrio +2 more
exaly +2 more sources
Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases
Artificial Intelligence in Medicine, 1989Abstract Inconsistency is a natural phenomenon of the world. Thus, we need methods to reason about systems that may be inconsistent. Paraconsistent logics are a family of logics proposed initially by da Costa [3, 4, 5, 6] as a framework for reasoning in the presence of inconsistency.
Newton C. A. da Costa +1 more
openaire +1 more source
Truth diagrams for some non-classical and modal logics
J. Appl. Non Class. LogicsThis paper examines truth diagrams for some non-classical, modal and dynamic logics. Truth diagrams are diagrammatic and visual ways to represent logical truth akin to truth tables, developed by Peter C.-H. Cheng.
Can Başkent
semanticscholar +1 more source
Detecting and Fixing Inconsistency of Large Knowledge Graphs
Hellenic Conference on Artificial IntelligenceModern Knowledge Graphs (KG) are typically constructed via automated workflows that mine information from vast amounts of, often heterogeneous, resources. Such KG are typically large and also contain formal inconsistencies, i.e.
C. Akasiadis +3 more
semanticscholar +1 more source
2013 IEEE International Conference on Systems, Man, and Cybernetics, 2013
Formalizing inconsistency-tolerant relevant human reasoning in a philosophically plausible logic is useful for modeling sophisticated agents similar to human. For this aim, the positive fragment of the logic RW of contraction-less relevant implication is extended with the addition of a Para consistent negation connective similar to the strong negation ...
openaire +1 more source
Formalizing inconsistency-tolerant relevant human reasoning in a philosophically plausible logic is useful for modeling sophisticated agents similar to human. For this aim, the positive fragment of the logic RW of contraction-less relevant implication is extended with the addition of a Para consistent negation connective similar to the strong negation ...
openaire +1 more source