Results 171 to 180 of about 247 (182)

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

Lecture Notes in Computer Science, 2017
Jørgen Villadsen, Anders Schlichtkrull, Schlichtkrull Anders   +2 more
exaly  

The Class of Extensions of Nelson's Paraconsistent Logic

Studia Logica, 2005
Sergei P Odintsov, Odintsov Sergei P
exaly  

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

Ecological Modelling, 2019
Silvia H Bonilla, Fabio Romeu DE CARVALHO   +1 more
exaly  

On the Methodology of Paraconsistent Logic

Trends in Logic, 2016
Heinrich Wansing, Sergei P Odintsov, Wansing Heinrich   +2 more
exaly  

Paraconsistent Logic

2009
Newton C A da Costa
exaly  

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

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

The development of paraconsistent annotated logic programs

International Journal of Reasoning-based Intelligent Systems, 2009
Kazumi Nakamatsu, Jair Minoro Abe
exaly  

Research on Set Theory Based on Paraconsistent Logic

International Journal of Philosophy, 2020
exaly  

A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives

Engineering Applications of Artificial Intelligence
João F Justo, Alexandre M De Oliveira, João Inácio Da Silva Filho   +2 more
exaly  

On the Paraconsistency of Argumentation Logic

Logica Universalis
openaire   +1 more source