62 search results - page 3 / 13 » On a Generalisation of Herbrand's Theorem |
APAL
2010
13 years 5 months ago
2010
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
FSTTCS
1993
Springer
13 years 11 months ago
1993
Springer
X;R ;R R R X X R R 1 2 1 2 1 1 2 1 2 2 1 2
JSYML
2008
13 years 7 months ago
2008
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
Goldblatt and Thomason’s theorem on modally definable classes of Kripke frames and Venema’s theorem on modally definable classes of Kripke models are generalised to coalgebra...