Results 81 to 90 of about 812 (177)
A Generalisation of a Refutation-related Method in Paraconsistent Logics
, 2018 This article describes a refutation method of proving maximality of three-valued paraconsistent logics. After outlining the philosophical background related to paraconsistent logics and the refutation approach to modern logic, we briefly describe how ...
Trybus, Adam, Adam Trybus
core +1 more source
PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4
, 2010 As is known, a logic S is paraconsistent if the rule ECQ (E contradictione quodlibet) is not a rule of S. Not less well known is the fact that Lewis’ modal logics are not paraconsistent.
GEMMA ROBLES, JOSÉ M. MÉNDEZ
core +1 more source
Analytical Tableaux For Da Costás Hierarchy Of Paraconsistent Logics Cn, 1≤n<ω1
, 2015 In this paper we present a new hierarchy of analytical tableaux systems TNDCn, 1≤n<ω, for da Costás hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costás "ball" operator "o", the generalized
Castro M.A.D., D'Ottaviano I.M.L.
core +1 more source
, 2015 This chapter discusses applications of annotated logics for various areas. After reviewing paraconsistent logic programming and generalized annotated logic programming, we survey promising applications to knowledge representation, neural computing ...
Nakamatsu, Kazumi +5 more
core +1 more source
Nelson's paraconsistent logics
, 2004 . David Nelson’s constructive logics with strong negation may be viewed as alternative paraconsistent logic. These logics have been developed before da Costa’s works.
Akama, Seiki
core
Jaśkowski's criterion and three-valued paraconsistent logics
, 2004 A survey is given of three-valued paraconsistent propositional logics connected with Jaśkowski’s criterion for constructing paraconsistent logics.
Karpenko, Alexander S.
core
Symmetric and dual paraconsistent logics
, 2010 Two new first-order paraconsistent logics with De Morgan-type negations and co-implication, called symmetric paraconsistent logic (SPL) and dual paraconsistent logic (DPL), are introduced as Gentzen-type sequent calculi. The logic SPL is symmetric in the
Wansing, Heinrich, Kamide, Norihiro
core +1 more source
Hybridized Paracomplete and Paraconsistent Logics
, 2017 This paper contributes to the study of paracompleteness and paraconsistency. We present two logics that address the following questions in novel ways. How can the paracomplete theorist characterize the formulas that defy excluded middle while maintaining
Caret, Colin
core +2 more sources
Propositional Annotated Logics P tau
, 2015 This chapter introduces the propositional annotated logics P tau. We present a Hilbert style axiomatization of P tau and their semantics. We show some formal results including completeness.Univ Estadual Paulista, Sao Paulo, BrazilUniv Hyogo, Himeji ...
Nakamatsu, Kazumi +5 more
core +1 more source
Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes. [PDF]
Sensors (Basel), 2021 Da Silva Filho JI +10 more
europepmc +1 more source