Results 21 to 30 of about 5,275 (212)

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

An Entailment Relation for Reasoning on the Web [PDF]

, 2003
Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilities.
B. Heumesser, F. Bry, I. Niemelä, J. Lloyd, K.L. Clark, S. Abiteboul, V. Lifschitz   +6 more
core   +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 Paraconsistent Higher Order Logic [PDF]

, 2003
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church, A.R. Anderson, C. Benzmüller, E. Mendelson, F. Wiedijk, G. Evans, H.P. Barendregt, J. Villadsen, J. Villadsen, J. Villadsen, L. Henkin, L.C. Paulson, M. Ginsberg, N.D. Belnap Jr., P.B. Andrews, P.B. Andrews, P.B. Andrews, P.B. Andrews, R. Muskens   +18 more
core   +6 more sources

Unpicking Priest's Bootstraps [PDF]

, 2017
Date of Acceptance: 13/07/2015Peer ...
Meadows, Toby
core   +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