Results 61 to 70 of about 132 (129)

Paraconsistency, Evidence and Semantic Incompleteness

Análisis Filosófico
In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence.
Edson Bezerra
doaj   +1 more source

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

Intuitionistic Implication and Logics of Formal Inconsistency

Axioms
Logics of Formal Inconsistency (LFI for short) are a class of paraconsistent logics that validate the principle of gentle explosion, meaning that any formula can be derived from the set of formulas: ∘α, α and ∼α. A unique feature of LFI is the use of the
Janusz Ciuciura
doaj   +1 more source

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source

Consistency and Some Other Requirements of a Formal Theory in the Context of Multiverse Models

Studia Humana
The paper is devoted to the problem of describing reality in the language of mathematics and logic in connection with intellectual intuition. The question raised is how the basic requirements of mathematical theory and logic will change if some of the ...
Karpenko Ivan
doaj   +1 more source

Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes. [PDF]

Sensors (Basel), 2021
Da Silva Filho JI, Abe JM, Marreiro AL, Martinez AAG, Torres CR, Rocco A, Côrtes HM, Mario MC, Pacheco MTT, Garcia DV, Blos MF.   +10 more
europepmc   +1 more source

Human verifications: Computable with truth values outside logic. [PDF]

Proc Natl Acad Sci U S A, 2023
Johnson-Laird PN, Byrne RMJ, Khemlani SS.   +2 more
europepmc   +1 more source

An Easy Road to Multi-contra-classicality. [PDF]

Erkenntnis, 2021
Estrada-González L.
europepmc   +1 more source

Nelson's paraconsistent logics

Logic and Logical Philosophy, 2004
Summary: David Nelson's constructive logics with strong negation may be viewed as alternative paraconsistent logic. These logics have been developed before da Costa's works. We address some philosophical aspects of Nelson's logics and give technical results concerning Kripke models and tableau calculi.
openaire   +3 more sources

Improving the efficiency of using multivalued logic tools. [PDF]

Sci Rep, 2023
Suleimenov IE, Vitulyova YS, Kabdushev SB, Bakirov AS.   +3 more
europepmc   +1 more source