Maximality of Logic without Identity.

Guillermo Badia Xavier Caicedo Carles Noguera

Published in: J. Symb. Log. (2024)

Keyphrases

modal logic
multi valued
automated reasoning
classical logic
predicate logic
computational properties
asynchronous circuits
proof theory
learning algorithm
face recognition
expert systems
defeasible logic
set theory
formal theory
abductive reasoning
dynamic logic