Results 81 to 90 of about 3,744 (159)

Theories of truth based on four-valued infectious logics [PDF]

, 2020
Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth.
Da Re, Bruno, Pailos, Federico, Szmuc, Damian   +2 more
core  

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

Contradiction-tolerant process algebra with propositional signals

, 2017
In a previous paper, an ACP-style process algebra was proposed in which propositions are used as the visible part of the state of processes and as state conditions under which processes may proceed.
Bergstra, J. A., Middelburg, C. A.
core   +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

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

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

Contextuality: A Philosophical Paradigm, with Applications to Philosophy of Cognitive Science [PDF]

, 2002
We develop on the idea that everything is related, inside, and therefore determined by a context. This stance, which at first might seem obvious, has several important consequences. This paper first presents ideas on Contextuality, for then applying them
Gershenson, C
core   +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

Swap structures semantics for Ivlev-like modal logics [PDF]

, 2019
In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a.
Coniglio, Marcelo E., Golzio, Ana Claudia   +1 more
core  

An Epistemic Interpretation of Paraconsistent Weak Kleene Logic [PDF]

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later ...
Szmuc, Damian E.
core