Results 31 to 40 of about 806,990 (259)
Incoherency Problems in a Combination of Description Logics and Rules
Journal of Applied Mathematics, 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
Shasha Huang, Jing Hao, Dang Luo
doaj +1 more source
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
Tableau method of proof for Peirce’s three-valued propositional logic
Filosofia Unisinos, 2022 Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj +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
Manuscrito, 2019 In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj +1 more source
Three decades of paraconsistent annotated logics: a review paper on some applications
International Conference on Knowledge-Based Intelligent Information & Engineering Systems, 2019 In this expository work, we sketch some applications of annotated logics. Such logics were discovered in the late 1980s and nowadays have become one of the most fertile logics for applications.
J. Abe, K. Nakamatsu, J. I. S. Filho
semanticscholar +1 more source
Ancestor Worship in The Logic of Games. How foundational were Aristotle's contributions?
The Baltic International Yearbook of Cognition, Logic and Communication, 2013 Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the ...
John Woods
doaj +1 more source
Logics of formal inconsistency arising from systems of fuzzy logic
, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +1 more source
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]
, 2020 In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica +2 more
core +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