On the consistency of the first-order portion of Frege's logical system.

Terence Parsons

Published in: Notre Dame J. Formal Log. (1987)

Keyphrases

predicate calculus
logical theories
probabilistic logic
first order logic
higher order
model theoretic
databases
database
consistency checking
lambda calculus
stochastic dominance
logical reasoning
logical formulas
path consistency
probabilistic reasoning
case study
information systems