Proof Systems for Gödel Logics with an Involution.

Published in: ISMVL (2021)

Keyphrases

management system
building blocks
distributed systems
learning systems
expressive power
database
data sets
neural network
data mining
intelligent systems
complex systems
belief revision
proof theory
higher order logic