Results 211 to 220 of about 1,985 (241)

From commitment to action: aligning Corporate Social Responsibility with Sustainable Development Goals in the health sector. [PDF]

open access: yesBMC Health Serv Res
Rodríguez-Cala A   +5 more
europepmc   +1 more source

Some Adaptive Contributions to Logics of Formal Inconsistency

open access: yesSpringer Proceedings in Mathematics and Statistics, 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, Batens Diderik
exaly   +4 more sources

On the Philosophy and Mathematics of the Logics of Formal Inconsistency

Springer Proceedings in Mathematics and Statistics, 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   +2 more
exaly   +3 more sources

Logics of formal inconsistency and mathematical definability

Journal of Logic and Computation
Abstract This paper revisits the model theory of logics of formal inconsistency. I investigate how adopting the minimal system QmbC as a foundational framework affects the standard logical conditions of mathematical definability. In a classical setting, mathematical definability is tied to the validity of the Fraïssé definability ...
Bruno Ramos Mendonça
exaly   +3 more sources

Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures

Studia Logica
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marcelo E Coniglio, Coniglio Marcelo E
exaly   +3 more sources

ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY

open access: yesThe 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 Alexandre Carnielli   +3 more
semanticscholar   +3 more sources

Home - About - Disclaimer - Privacy