Equivalence Between Semantics for Intuitionism. I.

E. G. K. López-Escobar

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

Keyphrases

formal semantics
logic programming
query containment
machine learning
conceptual graphs
transformation rules
databases
semantic information
conceptual model
query answering
logical framework
speech acts