Decidability in Intuitionistic Type Theory is Functionally Decidable.

Silvio Valentini

Published in: Math. Log. Q. (1996)

Keyphrases

type checking
theoretical basis
databases
database
description logics
general theory
theorem prover
automata theoretic
linear logic
interval valued
decision procedures
theoretical framework
computational model
relational databases
database systems
knowledge base
decision making