Norbert Preining

What to find on these pages:

Scientific work related stuff: please go here.
I have a big passion for mountains, here are some remarks, not much at the moment.
My work as mountain guide please go here.
Travelling is a lot of fun, if you want to read some stories, please go here.
Finally, there is some this and that, take a look at the sidebar below.

GPG: My DSA key for use with gpg and pgp v5 and newer. For retrieval of my keys you can mail me with subject “get DSA-key”.
Fingerprints:
DSA: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094
RSA: BE 15 9D B2 99 05 03 06 D3 A1 56 CC 20 F1 4C 19

topics

Home

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