Login / Signup
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS.
Hugo Albuquerque
Carlos Caleiro
Published in:
Bull. Symb. Log. (2022)
Keyphrases
</>
logic programming
classical logic
truth values
modal logic
computer algebra
multi valued
statistical analysis
artificial intelligence
empirical studies
simulation study
logic programs
default logic
higher order
high level
predicate logic
asynchronous circuits
proof theory
neural network