Results 91 to 100 of about 806,990 (259)

Paraconsistent Modal Logics

Electronic Notes in Theoretical Computer Science, 2011
AbstractWe introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics.
openaire   +1 more source

Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore [PDF]

, 2018
Marcelo E. Coniglio, Tadeo G. Gomez, Martín Figallo   +2 more
openalex   +2 more sources

Preferential and Preferential-discriminative Consequence relations

, 2005
The present paper investigates consequence relations that are both non-monotonic and paraconsistent. More precisely, we put the focus on preferential consequence relations, i.e.
Ben-Naim, Jonathan
core   +8 more sources

Negation, Structure, Transformation: Alain Badiou and the New Metaphysics

Open Philosophy, 2018
In this article, I discuss Alain Badiou’s 2008 address titled “The Three Negations.” Though the text was originally presented in a symposium concerning the relationship of law to Badiou’s theory of the event, I discuss the way this brief address offers ...
Vartabedian Becky
doaj   +1 more source

A Geometric Interpretation of the Neutrosophic Set - A Generalization of the Intuitionistic Fuzzy Set

, 2011
In this paper we generalize the intuitionistic fuzzy set (IFS), paraconsistent set, and intuitionistic set to the neutrosophic set (NS). Several examples are presented.
Smarandache, Florentin
core   +1 more source

On Morgado and Sette’s Implicative Hyperlattices as Models of da Costa Logic C_ω

Logics
José Morgado introduced in 1962 a novel notion of hyperlattices, which he called reticuloides. In his master’s thesis submitted in 1971 (under the supervision of Newton da Costa), Antonio M. Sette introduced a new class of implicative hyperlattices (here
Marcelo Esteban Coniglio, Ana Claudia Golzio, Kaique Matias de Andrade Roberto   +2 more
doaj   +1 more source

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

Essentialism and Absolute Necessity [PDF]

, 1997
Bob Hale has argued that logical necessity is absolute necessity. Furthermore, he presents a challenge to the essentialist who tries to evade the consequences of his argument. Here I examine the direct argument he presents for his thesis. I argue that it
Shalkowski, S.
core  

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