Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
M. Baaz:
"Extending Gödel logic by an operator adding a constant";
Hauptvortrag: Topological Methods in Logic - ToLo V,
Tiflis, Georgien (eingeladen);
13.06.2016
- 17.06.2016.
Kurzfassung englisch:
Standard Gödel Logic is Extended by an Operator o, which adds a nonzero constant to the value of the formula.
The value of the constant is determined by the Interpretation.
This is one of the smallest extensions of Standard Gödel Logic, which is neither propositionally compact nor first order complete.
In contrast to these facts,the axiomatization is astonishingly simple namely the axiomatization is obtained by adding the axioms
(oA -> A)-> oA
o(A->B) <-> (oA -> oB)
to the axioms and rules of Standard Gödel Logic.
We provide a hypersequent calculus for this logic, which admits cut-elimination.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.