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
Vienna University of Technology
Institute of
Discrete Mathematics and Geometry
Universitŕ degli Studi di Siena
Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari"
Email: preining@logic.at
What to find on these pages:
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
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