Results 191 to 200 of about 5,334 (208)

Proof theory of Nelson’s paraconsistent logic: A uniform perspective

Theoretical Computer Science, 2012
Norihiro Kamide, Heinrich Wansing
exaly  

Paraconsistent logic from a modal viewpoint

Journal of Applied Logic, 2005
Jean-Yves Beziau
exaly  

Proof Theory of Paraconsistent Quantum Logic

Journal of Philosophical Logic, 2017
Norihiro Kamide
exaly  

Paraconsistent Logics

1998
openaire   +1 more source

A paraconsistent logic programming approach for querying inconsistent databases

International Journal of Approximate Reasoning, 2007
Sandra de Amo
exaly  

Contribution of the Paraconsistent Tri-Annotated Logic to emergy accounting and decision making

Ecological Modelling, 2019
Silvia Helena Bonilla
exaly  

Paraconsistent Logic:

1989
openaire   +1 more source

Proof Theory of Paraconsistent Weak Kleene Logic

Studia Logica, 2019
Michele Pra Baldi
exaly  

Natural deduction systems for Nelson's paraconsistent logic and its neighbors

Journal of Applied Non-Classical Logics, 2005
Norihiro Kamide
exaly  

On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis

Studia Logica, 2016
Stefano Bonzio, José Gil-Férez
exaly