Results 11 to 20 of about 1,985 (241)
Defining LFIs and LFUs in extensions of infectious logics [PDF]
Journal of Applied Non-Classical Logics, 2016 The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the (¬, ∧, ∨) -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén ...
Damian Szmuc
exaly +3 more sources
Tableau systems for logics of formal inconsistency
, 2001 The logics of formal inconsistency (LFI's) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation.
Carnielli, Walter A. +1 more
core +3 more sources
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness
Studia LogicaBelnap-Dunn's relevance logic, BD, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. BD is a four-valued logic which is both paraconsistent and paracomplete.
Martin Figallo +2 more
exaly +3 more sources
Adding an implication to logics of perfect paradefinite algebras [PDF]
Mathematical Structures in Computer Science, 2023 Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras.
V. Greati +3 more
semanticscholar +1 more source
Правовое государство: теория и практика, 2021 The paper deals with one of the topical issues related to forensic-technical expertise of documents – possibilities of applying instrumental methods while examining printed products to improve objectivity of the expert's conclusions.
SHVEDOVA Kseniya Anatoliyevna
doaj +1 more source
Formal inconsistency and evolutionary databases
, 2004 This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic.
W. Carnielli +2 more
semanticscholar +3 more sources
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$ [PDF]
Studia Logica, 2021 AbstractThe aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency$$\mathsf {mbC}$$mbC. As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas.
Szymon Chlebowski +2 more
openaire +1 more source
On Logics of Perfect Paradefinite Algebras [PDF]
Workshop on Logical and Semantic Frameworks with Applications, 2021 The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determinedness.
Joel Gomes +4 more
semanticscholar +1 more source
From Inconsistency to Incompatibility [PDF]
Logic and Logical Philosophy, 2022 The aim of this article is to generalize logics of formal inconsistency (LFIs) to systems dealing with the concept of incompatibility, expressed by means of a binary connective.
M. Coniglio, Guilherme V. Toledo
semanticscholar +1 more source
A game theoretical semantics for a logic of formal inconsistency [PDF]
Logic Journal of the IGPL, 2018 Abstract This paper introduces a game theoretical semantics for a particular logic of formal inconsistency called mbC.
Can Baskent, Pedro Henrique Carrasqueira
openaire +1 more source