Papers by Oliver Fasching
We consider Gödel logics extended by an operator whose semantics is given by I(oA)=min{1,r+I(A)}.
Archive for Mathematical Logic, 2014
Fuzzy Sets and Systems, 2012
We consider the extension of Gödel logic by a unary operator interpreted by functions on the unit... more We consider the extension of Gödel logic by a unary operator interpreted by functions on the unit interval with certain monotonicity properties. We prove that validity of propositional formulas is decidable by giving a sound and complete proof system with finitely many axioms. We show also how to transfer the deduction theorem, the lifting lemma and the agreement of entailment and 1entailment from Gödel logic to the propositional fragment of our extension. Finally, we prove an enumerability result for a ring-normal prenex fragment.
Annals of Pure and Applied Logic, 2009
Witnessed Gödel logics are based on the interpretation of ∀ (∃) by minimum (maximum) instead of s... more Witnessed Gödel logics are based on the interpretation of ∀ (∃) by minimum (maximum) instead of supremum (infimum). Witnessed Gödel logics appear for many practical purposes more suited than usual Gödel logics as the occurrence of proper infima/suprema is practically irrelevant. In this note we characterize witnessed Gödel logics with absoluteness operator w.r.t. witnessed Gödel logics using a uniform translation.
mat.univie.ac.at
1 Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 ... more 1 Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 Aufgaben in der Systemadministration . . . . . . . . . . . . . 1 1.2 Allgemeine Strategien und Methoden . . . . . . . . . . . . . . 4 1.3 Rootzugang. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9 ... 4 Software-Installation . . . . . . . . . . . . . . . . . ...
Annals of Pure and Applied Logic, 2009
Witnessed Gödel logics are based on the interpretation of ∀ (∃) by minimum (maximum) instead of s... more Witnessed Gödel logics are based on the interpretation of ∀ (∃) by minimum (maximum) instead of supremum (infimum). Witnessed Gödel logics appear for many practical purposes more suited than usual Gödel logics as the occurrence of proper infima/suprema is practically irrelevant. In this note we characterize witnessed Gödel logics with absoluteness operator w.r.t. witnessed Gödel logics using a uniform translation.
Uploads
Papers by Oliver Fasching