7 results
Set-syllogistics meet combinatorics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 2 / February 2017
- Published online by Cambridge University Press:
- 11 May 2015, pp. 296-310
-
- Article
- Export citation
The Bernays-Schönfinkel-Ramsey class for set theory: decidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 896-918
- Print publication:
- September 2012
-
- Article
- Export citation
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-480
- Print publication:
- June 2010
-
- Article
- Export citation
The axiom of elementary sets on the edge of Peircean expressibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 953-968
- Print publication:
- September 2005
-
- Article
- Export citation
Ackermann encoding, bisimulations and OBDDs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 5-6 / September 2004
- Published online by Cambridge University Press:
- 12 August 2004, pp. 695-718
-
- Article
- Export citation
Øhrstrøm Peter and Hasle Per F. V.. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1046
- Print publication:
- September 1997
-
- Article
- Export citation
Expressing infinity without foundation
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1230-1235
- Print publication:
- December 1991
-
- Article
- Export citation