Norbert Preining

Introduction to Gödel Logics
Course at the Fourth Tbilisi Summer School in Logic and Language, September 2008. Tbilisi, Georgia. PDF

[2008-09-29 | /Work/Talks] permanent link

Continuous Fraissé Conjecture
Talk at the Dipartimento di Filosofia e Scienze Sociali, Università di Siena. May 2008, Siena, Italy. PDF

[2008-05-28 | /Work/Talks] permanent link

Quantified Propositional Gödel Logics.
Talk at Logical Models of Reasoning and Computation LMRC08, May 2008, Steklov Institute, Moscow, Russia. PDF

[2008-05-08 | /Work/Talks] permanent link

The new TeX Live installer.
Talk together with Siep Kroonenberg and Reinhard Kotucha at the BachoTeX 2008, April 2008. Bachotek, Poland. PDF

[2008-04-30 | /Work/Talks] permanent link

TeX Live’s new infrastructure.
Talk at the BachoTeX 2008, April 2008. Bachotek, Poland. PDF

[2008-04-30 | /Work/Talks] permanent link

Fragments of Gödel Logics
Talk at Two and beyond - Barcelona-Vienna Workshop on Truth-Functional Logics, November 2007. Barcelona, Spain.

[2007-11-21 | /Work/Talks] 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.
Talk at the GuIT Meeting 2007, October 2007. Pisa, Italy. PDF

[2007-10-20 | /Work/Talks] permanent link

TeX Live’s new infrastructure.
N. Preining. ArsTeXnica, 4:69-73, 2007. PDF.

[2007-10-20 | /Work/Publications] permanent link

Gödel logics, Kripke frames, and beyond
Invited talk at Analytic: Workshop on Analytic Proof Systems III, October 2007. LPAR 2007, Erevan, Armenia.

[2007-10-15 | /Work/Talks] permanent link

Completeness of a Hypersequent Calculus for some first-order Gödel Logics with delta
Talk at the Moscow-Vienna Workshop on Logic and Computation 2007, July 2007. Vienna, Austria. PDF

[2007-07-02 | /Work/Talks] permanent link

A Guide to Quantified Propositional Gödel Logics.
Talk at Order, Algebra, Logics, June 2007. Vanderbilt University, Nashville, USA.

[2007-06-14 | /Work/Talks] permanent link

TeX Live on Debian
Talk at the EuroBachoTeX 2007, April 2007. Bachotek, Poland. PDF

[2007-04-30 | /Work/Talks] permanent link

Many-valued logics and Gödel logics — a short introduction.
Talk at the lecture series `Aspetti Costruttivi della Logica’ (in Italian), January 2007. Dipartimento di Filosofia e Scienze Sociali, Università di Siena, Italy.

[2007-01-30 | /Work/Talks] permanent link

Quantifier Elimination for Quantified Propositional Gödel Logics.
Talk at the 2. International Workshop on Analytic Proof Systems, November 2006. LPAR 2006, Phnom Penh, Cambodia.

[2006-12-11 | /Work/Talks] permanent link

Gödel logics and Cantor-Bendixon analysis.
Talk at Ordered Structures in Many-Valued Logic, May 2006. Villa Angelina, Massa Lubrense, Italy.

[2006-06-01 | /Work/Talks] 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

Order theory and Gödel logics.
Talk at the Kusatsu Logic Seminar, March 2006. Kusatsu, Japan.

[2006-03-10 | /Work/Talks] permanent link

Some open questions about different semantics for Gödel logics.
Talk at the Research Seminar at the JAIST, Kanazawa, Japan, March 2006.

[2006-03-05 | /Work/Talks] permanent link

Fragments of Gödel logics.
Talk at the Research Seminar at the JAIST, Kanazawa, Japan, March 2006.

[2006-03-03 | /Work/Talks] permanent link

TeX Live on Debian.
N. Preining. TUGboat 26(3):241-242, 2005. PDF.

[2005-12-31 | /Work/Publications] permanent link

Many-valued logics - a short introduction and case study.
Talk at the Research Seminar of the Computer Science Department, Prifysgol Cymru Abertawe (University of Wales Swansea), December 2005, Swansea, Wales, UK.

[2005-12-01 | /Work/Talks] permanent link

Many-valued logics - a short introduction and case study.
Talk at the Logic and Probability Seminar in Milano, November 2005. Milano, Italy. PDF

[2005-11-23 | /Work/Talks] permanent link

Counting finished: The number of Gödel Logics.
Talk at the Second Florence-Viena Workshop on Logic and Computation, November 2005. Florence, Italy. PDF

[2005-11-01 | /Work/Talks] permanent link

Fragments of First Order Gödel Logics.
Talk at LOGSOFCOM’05, October 2005. Ostrava, Czech Republic. PDF

[2005-10-01 | /Work/Talks] permanent link

Mathematical Methods in First-Order Gödel logics.
Talk at Methods’05: Algebraic and Topological Methods in Non-Classical Logics II, June 2005. Barcelona, Spain. PDF

[2005-06-15 | /Work/Talks] permanent link

Herbrand disjunctions and informal reasoning in projective geometry.
Invited talk at Analytic: Workshop on Analytic Proof Systems, March 2005. LPAR 2004, Montevideo, Uruguay. PDF

[2005-03-15 | /Work/Talks] permanent link

Characterization of axiomatizability in Gödel logics.
Talk at the Kusatsu Logic Seminar, March 2005. Kusatsu, Japan. PDF

[2005-03-01 | /Work/Talks] permanent link

Continuous Fraïssé conjecture.
Talk at the JAIST Seminar, February 2005. JAIST, Ishikawa, Japan. PDF

[2005-03-01 | /Work/Talks] permanent link

Gödel logics and Kripke frames.
Talk at the AILA Meeting, February 2005. Pisa, Italy.

[2005-02-01 | /Work/Talks] permanent link

Mehrwertige Logiken.
Talk at the Seminar “Wissenswertes in der Mathematik”, December 2004. Vienna University of Technology, Austria. PDF

[2004-12-22 | /Work/Talks] permanent link

Semantics of Gödel Logics.
Talk at the ESF Workshop: Challenge of Semantics, July 2004. Vienna, Austria. PDF

[2004-07-01 | /Work/Talks] permanent link

What logicians do with sketches in Projective Geometry, and Gödel logics.
Talk at the Logic Seminar, TU Darmstadt, July 2004. Darmstadt, Germany. PDF

[2004-07-01 | /Work/Talks] permanent link

Countable orderings and continuous embeddability.
Talk at the Third Moscow-Vienna Logic Meeting, May 2004. Steklov Institute, Moscow, Russia.

[2004-05-01 | /Work/Talks] permanent link

An overview on countable Gödel logics.
Talk at the First Florence-Vienna Workshop on Logic and Computation, January 2004. University of Florence, Italy. PDF

[2004-01-01 | /Work/Talks] 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

Overview of Gödel logics.
Talk at the ITC-IRST, November 2003. Trento, Italy. PDF

[2003-11-01 | /Work/Talks] permanent link

Characterization of Gödel logics with countable truth value sets.
Talk at LOGSOFCOM’03, November 2003. Siena, Italy. PDF

[2003-11-01 | /Work/Talks] 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