1670 search results - page 34 / 334 » On Skolemization in constructive theories |
ICFCA
2004
Springer
14 years 3 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
ISMVL
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
APAL
2002
13 years 9 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
ETS
2002
IEEE
13 years 9 months ago
2002
IEEE
In this concluding synthesis article, I summarize and discuss the papers that comprise both parts of this special issues. Two organizing frameworks are provided to facilitate read...
JAPLL
2006
13 years 9 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...