Results 1 to 10 of about 812 (177)

The Paraconsistent Logic of Quantum Superpositions [PDF]

Foundations of Physics, 2013
Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different.
de Ronde, Christian, da Costa, N., da Costa, Newton C. A.   +2 more
core   +5 more sources

A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)

Bulletin of the Section of Logic, 2022
G3 is Gödelian 3-valued logic, G3\(_\text{Ł}^\leq\) is its paraconsistent counterpart and G3\(_\text{Ł}^1\) is a strong extension of G3\(_\text{Ł}^\leq\).
Gemma Robles, José M. Méndez
doaj   +1 more source

Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem

Entropy, 2016
This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs).
Juliana Bueno-Soler, Walter Carnielli
doaj   +1 more source

Tableau method of proof for Peirce’s three-valued propositional logic

Filosofia Unisinos, 2022
Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj   +1 more source

Incoherency Problems in a Combination of Description Logics and Rules

Journal of Applied Mathematics, 2014
A paraconsistent semantics has been presented for hybrid MKNF knowledge bases—a combination method for description logics and rules. However, it is invalid when incoherency occurs in the knowledge base. In this paper, we introduce a semi-S5 semantics for
Shasha Huang, Jing Hao, Dang Luo
doaj   +1 more source

Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent

Philosophia Scientiæ, 2014
The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj   +1 more source

TWO-VALUED WEAK KLEENE LOGICS

Manuscrito, 2019
In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj   +1 more source

Ancestor Worship in The Logic of Games. How foundational were Aristotle's contributions?

The Baltic International Yearbook of Cognition, Logic and Communication, 2013
Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the ...
John Woods
doaj   +1 more source

On Paracomplete Versions of Jaśkowski's Discussive Logic

Bulletin of the Section of Logic
Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin, Vasily Shangin   +2 more
doaj   +1 more source

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning Introduction

, 2015
This chapter gives motivations and the history of annotated logics as an introduction to this book. First, we discuss the importance of annotated logics in connection with paraconsistent logics.
Nakamatsu, Kazumi, Abe, Jair Minoro [UNESP], Abe, JM, Akama, S, Akama, Seiki, Nakamatsu, K   +5 more
core   +1 more source