Results 211 to 220 of about 21,415 (228)
Some of the next articles are maybe not open access.
Some Adaptive Contributions to Logics of Formal Inconsistency
Springer Proceedings in Mathematics and Statistics, 2015Some insights were gained from the study of inconsistency-adaptive logics. The aim of the present paper is to put some of these insights to work for the study of logics of formal inconsistency. The focus of attention is application contexts of the aforementioned logics and their theoretical properties in as far as they are relevant for applications. As
Diderik Batens
openaire +3 more sources
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures
Studia LogicazbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marcelo Esteban Coniglio
openaire +3 more sources
The Inconsistency of Certain Formal Logics
The Annals of Mathematics, 1935Kleene, S. C., Rosser, J. B.
openaire +4 more sources
The Inconsistency of Certain Formal Logics.
The 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
openaire +3 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 +1 more source
The Review of Symbolic Logic, 2014
AbstractThis paper investigates the question of characterizing first-orderLFIs (logics of formal inconsistency) by means of two-valued semantics.LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational ...
WALTER CARNIELLI +3 more
openaire +1 more source
AbstractThis paper investigates the question of characterizing first-orderLFIs (logics of formal inconsistency) by means of two-valued semantics.LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational ...
WALTER CARNIELLI +3 more
openaire +1 more source
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.
openaire +1 more source
Semantic inconsistency measures using 3-valued logics
International Journal of Approximate Reasoning, 2023Anthony Hunter
exaly
Volume I: Recovery operators in logics of formal inconsistency
Logic Journal of the IGPL, 2020Eduardo Barrio, Walter Carnielli
exaly
Defining LFIs and LFUs in extensions of infectious logics
Journal of Applied Non-Classical Logics, 2016Damian Enrique Szmuc
exaly