Title of article :
Note on witnessed Gِdel logics with Delta
Author/Authors :
Matthias Baaz، نويسنده , , Matthias and Fasching، نويسنده , , Oliver، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
Abstract :
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.
Keywords :
Gِdel logics , Relative completeness , Disentangled fragment
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic