A Minimal Propositional Type Theory

Mark Kaminski Gert Smolka

Published in: CoRR (2010)

Keyphrases

theoretical basis
theoretical framework
information theory
decision making
propositional logic
database
artificial intelligence
computational model
theoretical foundation
default logic
multi valued
general theory
formal theory
minimal models