Results 91 to 100 of about 3,744 (159)
Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes. [PDF]
Da Silva Filho JI +10 more
europepmc +1 more source
Human verifications: Computable with truth values outside logic. [PDF]
Johnson-Laird PN +2 more
europepmc +1 more source
An Easy Road to Multi-contra-classicality. [PDF]
Estrada-González L.
europepmc +1 more source
Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]
In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo +1 more
core
Nelson's paraconsistent logics
Summary: 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. We address some philosophical aspects of Nelson's logics and give technical results concerning Kripke models and tableau calculi.
openaire +3 more sources
In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj
Improving the efficiency of using multivalued logic tools. [PDF]
Suleimenov IE +3 more
europepmc +1 more source
On Partial and Paraconsistent Logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Revisiting Reichenbach's logic. [PDF]
Estrada-González L, Cano-Jorge F.
europepmc +1 more source
Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]
Ferguson TM.
europepmc +1 more source

