On The Role of Implication in Formal Logic.

Jonathan P. Seldin

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

Keyphrases

formal logic
predicate logic
functional dependencies
case study
description logics
widely accepted
formal methods