Results 41 to 50 of about 2,727 (208)

Gently Paraconsistent Calculi

Axioms, 2020
In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference.
Janusz Ciuciura
doaj   +1 more source

Ideal Paraconsistent Logics [PDF]

Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Avron, O. Arieli, A. Zamansky
openaire   +2 more sources

Kripke-Style Models for Logics of Evidence and Truth

Axioms, 2020
In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues   +3 more
doaj   +1 more source

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

Manuscrito, 2011
The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system ...
Valentin A. Bazhanov
doaj   +1 more source

What is a Paraconsistent Logic? [PDF]

, 2018
Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is
Alexej Pynko, Arnon Avron, Arnon Avron, Bogdan Dicher, Dana Scott, David Ripley, David Ripley, David Ripley, David Shoesmith, Dov Gabbay, Eduardo Barrio, Edwin Mares, Elia Zardini, Emmanuel Chemla, Florencio Asenjo, Graham Priest, Grzegorz Malinowski, Grzegorz Malinowski, Grzegorz Malinowski, Igor Urbas, Jean-Yves Girard, Lloyd Humberstone, Pablo Cobreros, Pablo Cobreros, Robert Stärk, Rohan French, Szymon Frankowski, Szymon Frankowski, Walter Carnielli, Willem Blok, Yaroslav Shramko   +30 more
core   +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

A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

Bulletin of the Section of Logic, 2021
In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj   +1 more source

Gödel's theorem and paraconsistency

Seminário Lógica no Avião, 2019
Graham Priest
openalex   +2 more sources

Incoherency Problems in a Combination of Description Logics and Rules

Journal of Applied Mathematics, Volume 2014, Issue 1, 2014., 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 hybrid MKNF knowledge bases on the basis of nine‐valued lattice, such that it is paraconsistent for
Shasha Huang, Jing Hao, Dang Luo, Jianming Zhan   +3 more
wiley   +1 more source

Paraconsistency and word puzzles [PDF]

Theory and Practice of Logic Programming, 2016
AbstractWord puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuruet al. 2004; Shapiro 2011; Baral and Dzifcak 2012; Schwitter 2013). Of special interest is the problem of generating such representations directly from natural language (NL) or controlled natural language (CNL)
Gao, Tiantian, Fodor, Paul, Kifer, Michael   +2 more
openaire   +3 more sources