Results 211 to 220 of about 21,381 (239)
Some Adaptive Contributions to Logics of Formal Inconsistency
, 2015 Some 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 +2 more sources
A Basic Logic of Formal Inconsistency: mbC
, 2016 This 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
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures
Studia LogicazbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marcelo E. Coniglio
openaire +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), 2016 The 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
On the Philosophy and Mathematics of the Logics of Formal Inconsistency
, 2015 The aim of this text is to present the philosophical motivations for the Logics of Formal Inconsistency (LFIs), along with some relevant technical results. The text is divided into two main parts (besides a short introduction). In Sect. 3.2, we present and discuss philosophical issues related to paraconsistency in general, and especially to logics of ...
Walter Carnielli, Abilio Rodrigues
openaire +2 more sources
The Inconsistency of Certain Formal Logics
The Annals of Mathematics, 1935 Kleene, S. C., Rosser, J. B.
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly