A semantical theory of analytic implication.

Alasdair Urquhart

Published in: J. Philos. Log. (1973)

Keyphrases

computational model
theoretical basis
general theory
formal theory
e learning
case study
multiresolution
knowledge representation
conceptual framework