Email: preining@logic.at
Università degli Studi di Siena
Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari"
Technische Universität Wien
Institut für Computersprachen
Theory and Logic Group
Continuous Fraïssé Conjecture.
A. Beckmann, M. Goldstern, and N. Preining.
Order, 25(4):281-298, 2008.
DOI 10.1007/s11083-008-9094-4.
Preprint PDF.
The original publication is available at
www.springerlink.com.
[2008-12-18 | /Work/Publications] permanent link
TeX Live 2008 and the TeX Live Manager.
N. Preining.
ArsTeXnica, 6:67-75, 2008.
PDF.
[2008-10-20 | /Work/Publications] permanent link
Quantifier Elimination for quantified propositional logics on Kripke frames of type ω.
M. Baaz, N. Preining.
Journal of Logic and Computation, 18(4):649-668. 2008.
Preprint PDF
[2008-09-30 | /Work/Publications] permanent link
First Order Gödel logics.
M. Baaz, N. Preining, and R. Zach.
APAL 147:23-47, 2007.
PDF.
[2007-10-29 | /Work/Publications] permanent link
Linear Kripke Frames and Gödel Logics.
A. Beckmann, N. Preining.
JSL 71(1):26-44, 2007.
PDF.
[2007-10-29 | /Work/Publications] permanent link
TeX Live’s new infrastructure.
N. Preining.
ArsTeXnica, 4:69-73, 2007.
PDF.
[2007-10-20 | /Work/Publications] permanent link
Herbrand disjunctions and extraction of proofs from sketches.
M. Baaz and N. Preining.
In preparation.
[2006-06-01 | /Work/Publications] permanent link
Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.
M. Baaz, N. Preining, and R. Zach.
Proceedings of ISMVL’06, 2006.
[2006-05-25 | /Work/Publications] permanent link
TeX Live on Debian.
N. Preining.
TUGboat 26(3):241-242, 2005.
PDF.
[2005-12-31 | /Work/Publications] permanent link
A dialogie game for intuitionistic fuzzy logic based on comparison of degrees of truth.
Christian Fermüller and Norbert Preining.
In Proceedings of the InTech’03, 2003.
PDF
[2003-12-01 | /Work/Publications] permanent link
Characterization of the axiomatizable prenex fragments of first-order Gödel logics.
M. Baaz, N. Preining, and R. Zach.
In Proceedings of ISMVL’03, pages 175-180, 2003.
PDF
[2003-06-01 | /Work/Publications] permanent link
Complete Recursive Axiomatizability of Gödel Logics.
N. Preining.
PhD thesis, Vienna University of Technology, Austria, 2003.
PDF
[2003-03-15 | /Work/Publications] permanent link
MUltlog and MUltseq reanimated and married.
M. Baaz, C. G. Fermüller, A. J. Gil, N. Preining, and G. Salzer.
In B. Konev and R. Schmidt, editors, Proc. 4th Int. Workshop
on the Implementation of Logics, Technical Report ULCS-03-018,
2003.
PDF
[2003-03-01 | /Work/Publications] permanent link
Gödel logics and Cantor-Bendixon analysis.
N. Preining.
In M. Baaz and A. Voronkov, editors, Proceedings of
LPAR’2002, LNAI 2514, pages 327-336, October 2002.
PDF. The original publication is available at
www.springerlink.com.
[2002-10-01 | /Work/Publications] permanent link
Proof theory and proof systems for projective and affine geometry.
N. Preining.
Technical Report TR-2002-FE01, Institut f.
Computersprachen 185.2, Vienna University of Technology. June 2002.
Position paper at the TABLEAUX 2002, Kopenhagen, Danmark.
PDF
[2002-06-01 | /Work/Publications] permanent link
A guide to quantified propositional Gödel logic.
M. Baaz, A. Ciabattoni, N. Preining, and H. Veith.
IJCAR workshop QBF 2001, June 2001.
Siena, Italy.
PDF
[2001-06-01 | /Work/Publications] permanent link
Sketch-as-proof.
N. Preining.
In G. Gottlob, A. Leitsch, and D. Mundici, editors,
Computational Logic and Proof Theory, Proc. 5th Kurt Gödel
Colloquium KGC’97, Lecture Notes in Computer Science 1289, pages
264-277, Vienna, Austria, 1997. Springer.
PDF
[1997-08-01 | /Work/Publications] permanent link
Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry.
N. Preining.
Master’s thesis, Vienna University of Technology, Austria, 1996.
PDF
[1996-08-01 | /Work/Publications] permanent link