Subminimal logic and weak algebras.

Rodolfo C. Ertola Marta Sagastume

Published in: Reports Math. Log. (2009)

Keyphrases

relation algebra
boolean algebra
logic programming
sound and complete axiomatization
modal logic
proof theory
computational properties
classical logic
logical framework
digital circuits
probabilistic logic
multi valued
neural network
set theory
spatial reasoning
multiscale
website