Results 21 to 30 of about 1,985 (241)
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation [PDF]
Logic Journal of the IGPL, 2021 We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to 'recover' the properties of classical logic in a ...
D. Fuenmayor
semanticscholar +1 more source
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Entropy, 2016 This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs).
Juliana Bueno-Soler, Walter Carnielli
doaj +1 more source
Manuscrito, 2019 In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj +1 more source
Models & Proofs: LFIs Without a Canonical Interpretations
Principia: An International Journal of Epistemology, 2018 In different papers, Carnielli, W. & Rodrigues, A. (2012), Carnielli, W. Coniglio, M. & Rodrigues, A. (2017) and Rodrigues & Carnielli, (2016) present two logics motivated by the idea of capturing contradictions as conflicting evidence.
Eduardo Alejandro Barrio
doaj +1 more source
From logics of formal inconsistency to logics of formal classicality
Logic Journal of the IGPL, 2018 Abstract One 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 Marcos.
openaire +1 more source
Volume II: New advances in Logics of Formal Inconsistency
Logic Journal of the IGPL, 2019 Fil: Carnielli, Walter.
Barrio, Eduardo Alejandro +1 more
openaire +2 more sources
Reasoning about XML with temporal logics and automata [PDF]
, 2010 We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of programs Many properties of interest in the XML context are related to ...
Leonid Libkin +3 more
core +1 more source
Non-deterministic algebraization of logics by swap structures
, 2021 Multialgebras (or hyperalgebras or non-deterministic algebras) have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing ...
Golzio, Ana Claudia +2 more
core +1 more source
Abduction of Generalizations [PDF]
, 2012 Abduction of generalizations is the process in which explanatory hypotheses are formed for generalizations such as “pineapples taste sweet” or “rainbows appear when the sun breaks through the rain”. This phenomenon has received little attention in formal
Frederik Van De Putte +4 more
core +1 more source
Karl Popper and the Mechanisms of Hydrogen Embrittlement
Advanced Engineering Materials, EarlyView.Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley +1 more source