Results 21 to 30 of about 5,334 (208)

Paraconsistent Informational Logic

Journal of Applied Logic, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Forcheri P, Gentilini P
openaire   +3 more sources

Paraconsistent Random Forest: An Alternative Approach for Dealing With Uncertain Data

IEEE Access, 2019
Pattern recognition algorithms have introduced increasingly sophisticated solutions. However, many datasets are far from perfect; for example, they may include inconsistencies and have missing data, which may interfere with the classification process ...
Gabriela W. Favieiro, Alexandre Balbinot
doaj   +1 more source

Paraconsistent Gödel Modal Logic

, 2022
AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko   +2 more
openaire   +3 more sources

Inconsistent boundaries [PDF]

, 2014
Research on this paper was supported by a grant from the Marsden Fund, Royal Society of New Zealand.Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical ...
A Oliver, A Varzi, A. J. Cotnoir, AN Whitehead, B Bolzano, B Dainton, B Smith, BL Clarke, C Peirce, D Zimmerman, F Arntzenius, F Brentano, G Priest, G Priest, H Hudson, H Putnam, HC Bunt, HS Hestevold, I Pratt-Harmon, J Beall, J Rogers, J Stell, JG Hocking, JL Kelley, K Koslicki, M Bunge, M Dummett, P Forrest, P Geach, P Hovda, P Roeper, PM Simons, R Brady, R Carnap, R Casati, R Martin, RA Sorensen, RM Chisholm, T Sider, X Zhang, Z Weber, Zach Weber   +41 more
core   +1 more source

Matrix- based logic for avoiding paradoxes and its paraconsistent alternative

Manuscrito, 2011
The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974).
Paul Weingartner
doaj   +1 more source

A Note on Fernández–Coniglio’s Hierarchy of Paraconsistent Systems

Axioms, 2020
A logic is called explosive if its consequence relation validates the so-called principle of ex contradictione sequitur quodlibet. A logic is called paraconsistent so long as it is not explosive.
Janusz Ciuciura
doaj   +1 more source

Paraconsistent Many-Valued Logic in GUHA Framework

Acta Informatica Pragensia, 2018
The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation ...
Esko Turunen
doaj   +1 more source

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

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

Two Kinds of Logical Impossibility

Noûs, Volume 54, Issue 4, Page 795-806, December 2020., 2020
Abstract In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world).
Alexander Sandgren, Koji Tanaka
wiley   +1 more source