Results 31 to 40 of about 1,589 (220)
Paraconsistent Metatheory: New Proofs with Old Tools
, 2022 This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic(s) can be ...
Girard, Patrick +2 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
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
Real Analysis in Paraconsistent Logic [PDF]
Journal of Philosophical Logic, 2011 A logic \(S\) is paraconsistent if it lacks the rule ECQ (``ex contradictione quodlibet'', i.e., \(A,\lnot A\Rightarrow B\)) or, from another point of view, if inconsistent theories built upon \(S\) are not necessarily trivial (i.e., do not necessarily contain every well-formed formula). Paraconsistent mathematics is the development of mathematics in a
McKubre-Jordens, M, Weber, Z
openaire +3 more sources
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
On the algebra of possibly paraconsistent sets [PDF]
Neutrosophic Sets and SystemsIn this paper we define the notion of possibly paraconsistent sets. We introduce algebraic operations on them and we analyze their properties. Moreover, it is shown that our class can be considered as isomorphic to the classes of intuitionistic and weak ...
Tomasz Witczak
doaj +1 more source
Interval Neutrosophic Sets and Logic: Theory and Applications in Computing [PDF]
, 2005 This book presents the advancements and applications of neutrosophics. The neutrosophic logic, neutrosophic set, neutrosophic probability, and neutrosophic statistics are increasingly used in engineering applications (especially for software and ...
Wang, Haibin +3 more
core +1 more source
Paraconsistent OWL and related logics [PDF]
Semantic Web, 2013 The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies.
Maier, Frederick +2 more
openaire +3 more sources
Paraconsistent Logic and Weakening of Intuitionistic Negation
Journal of Intelligent Systems, 2012 A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log.
Majkić Zoran
doaj +1 more source
Jaina logic: a model-based analysis of the seven predications
Círculo de Lingüística Aplicada a la Comunicación, 2023 A relevant part of Jainism is its logic. Jaina logic gives tools to communicate and argue. However, it is problematic from the western perspective: it seems to be a paraconsistent system, that is, a system in which a fact and the denial of that very ...
Miguel López Astorga
doaj +1 more source