A model-theoretic reconstruction of Frege's permutation argument.

Peter Schroeder-Heister

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

Keyphrases

model theoretic
description logics
deductive databases
proof theoretic
operational semantics
decision procedures
default reasoning
logic programs
fixpoint
probabilistic reasoning
knowledge base
machine learning
databases
constraint satisfaction
integrity constraints
modal logic