Results 31 to 40 of about 801,927 (249)
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 +18 more
core +6 more sources
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
Inconsistency, paraconsistency and ω-inconsistency [PDF]
, 2018 In this paper I'll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I'll focus on two very well known inconsistent but non-trivial theories of truth:
Da Re, Bruno
core +2 more sources
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
Unpicking Priest's Bootstraps [PDF]
, 2017 Date of Acceptance: 13/07/2015Peer ...
Meadows, Toby
core +1 more source
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
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 +6 more
core +1 more source
, 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 +41 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