http://facebook.com/oliver.fasching.at
office phone: +43-1-58801-104261
office phone if I am logged out: +43-1-58801-79902425
fax: +43-1-58801-9-104261 (unreliable)
email: oliver.fasching.at@gmail.com
my pgp public key
mail address (from abroad): Vienna University of Technology; Wiedner Hauptstrasse 8//104.2; 1040 Vienna;
Austria; Europe
mail address (from within Austria): TU Wien; Wiedner Hauptstraße 8//104.2; 1040 Wien
Please write me an email if you send me any mail because my pigeon hole is in another building
and I do not check every day.
office: 1040 Wien, Treitlstraße 1-3, room DE0210, floor having number 2 (actually it is the 3rd in the British/Austrian convention, or the 4th in the American convention)
about here:
google maps
skype:fasching.logic.at
http://facebook.com/oliver.fasching.at
office phone: +43-1-58801-104261
office phone if I am logged out: +43-1-58801-79902425
fax: +43-1-58801-9-104261 (unreliable)
(The mathematician Johann Radon created the mathematical basis for computing these nice tomographies.)
My official address book entry of TU Wien
I am in the working group of Matthias Baaz
current employer:
Institute of Discrete Mathematics and Geometry, E104 of TU Wien
funded by
FWF Der Wissenschaftsfonds
former employers: Department of Mathematics at ETH, ...
Matthias Baaz, Oliver Fasching. Note on witnessed Gödel logics with Delta. Annals of Pure and Applied Logic 161(2):121‒127. 2009.
Link: http://dx.doi.org/10.1016/j.apal.2009.05.011
On page 122, the word ‘series’ should be ‘sequence’. In the proof of Corollary 1, the plus signs should have the same shape.
Math Sci Net review http://www.ams.org/mathscinet-getitem?mr=2552732 by Petr Cintula.
Zentralblatt review http://www.zentralblatt-math.org/zmath/en/search/?q=an:1183.03022&format=complete by Stefano Aguzzoli.
Matthias Baaz, Oliver Fasching. Gödel logics with monotone operators. Fuzzy Sets and Systems 197:3‒13. 2012.
Link: http://dx.doi.org/10.1016/j.fss.2011.04.012
Oliver Fasching. Operator extensions of Gödel logics. PhD thesis. 2011.
Link: pdf, library information: http://permalink.obvsg.at/AC07810559.
The ring nesting level aka ring depth is missing, this can be found in "Monotone operators on Gödel logic".
Page 53, Item (6) should read: Replace (a ≺ b) ∧ (b □ a), where □ ∈ {↔,≺}, by (a ↔ b) ∧ (b ↔ ⊤).
Preprint. Matthias Baaz, Oliver Fasching. Monotone operators on Gödel logic.
Link: pdf
Preprint. Oliver Fasching. Gödel homomorphisms as Gödel modal operators. Fundamenta Informaticae. 2012. Allegedly accepted.
Errata for papers of Matthias Baaz
Linz Seminars on Fuzzy Set Theory 2010, 2010-02-13, Linz, The impact of adding a constant, (Undecidability in Gödel logics, Scarpellini Theorem), slides.
Vienna University of Technology, 2010-04-21, The impact of adding a constant.
Mathematical Foundations of Fuzzy Logics, Satellite workshop of the MFCS and CSL 2010 Conference, 2010-08-28, Brno, Gödel logics and monotone operators, slides.
Logic, Algebra and Truth Degrees 2010, 2010-09-08, Praha, Gödel logics with an operator that shifts truth values, slides.
Collegium Logicum: Proofs and Structures 2010(2), 2010-11-08, Paris, Gödel logics with unary operators acting on truth values.
Workshop STRUCTURAL, 2011-06-15, Paris, Phase transitions between Gödel logic and Łukasiewicz logic.
Seventh International Tbilisi Summer School in Logic and Language, 2011-09-19/20, Tbilisi, Gödel logic.
Kutaisi 2011: Ninth International Tbilisi Symposium on Language, Logic and Computation, 2011-09-29, Kutaisi, Extension of Gödel logics by unary operators with real-valued semantics.
Structural and Computational Proof Theory, 2011-10-26 (indeed the National Holiday), Innsbruck, Uniform provability of schemes in fragments of arithmetic
Research visit at University of Leicester, 2011-11-10, Leicester, Gödel logic with a real-semantics unary operator.
Workshop on Non-classical logics, 2011-11-26, Vienna, Modal Gödel operators as Gödel homomorphisms.
Research visit at IIIA/CSIC in Bellaterra,
2012-02-17,
UB (Barcelona),
Modal Gödel operators as Gödel homomorphisms,
slides, (contains an outline of a proof of Dummett).
- One should add the following to page 19,
for the sake of completeness:
If i ≪_C j, then G ⊢ C* ⊃ (Aᵢ ≺ Aⱼ).
If i ⇔_C j, then G ⊢ C* ⊃ (Aᵢ ↔ Aⱼ).
- For page 12, the proof system BL means
actually Hájek's axioms A1‒A7
but replacing the symbol & by ∧.
Confer to [Hájek, 1998], Def. 4.2.3. (I am indebted to Josep Maria Font who pointed this slip out.)
- For the etymological part, see also
- - http://de.wikipedia.org/wiki/Pate, section ‘Dialektale und altertümliche Bezeichnungen’ and
- - Deutsches Wörterbuch von Jacob Grimm und Wilhelm Grimm, entries “Göte” and “Götel” and the subsequent entries for compound nouns.
How to use javascript in a pdf to display a clock and a stop-watch: beamerclock.tgz
Set ‘Acrobat/Edit/Preferences/Forms/Show border hover color for fields’ to ‘false’.
Clicking on the hyphen between the clock and the stop-watch resets the stop-watch.
I am responsible for all typographical errors in Gisbert Wüstholz’ Algebra book (1st edition. Please wait for the 2nd edition, will come soon.)
Typesetting of large parts of ‘Logarithmic forms and diophantine geometry’ by Alan Baker, Gisbert Wüstholz.
My personal tweaks and workarounds for Ubuntu 9.10
Impressum gem. § 25 MedienG (Österreich): Oliver Fasching, Wien
Für extern gelinkte Seiten wird keine Haftung übernommen, und ich distanziere mich vom Inhalt gelinkter Seiten.
VUT has DVR:0005886.
Last update: 2011-Apr-21, 18:49
