Sökning: "skolemization"
Hittade 1 avhandling innehållade ordet skolemization.
1. Computational Issues in Calculi of Partial Inductive Definitions
Sammanfattning : 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. LÄS MER
Resultatsidor:
1