Search for dissertations about: "skolemization"
Found 1 swedish dissertation containing the word skolemization.
-
1. Computational Issues in Calculi of Partial Inductive Definitions
Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE
Result pages:
1