Title of article
Note on witnessed Gِdel logics with Delta
Author/Authors
Matthias Baaz، نويسنده , , Matthias and Fasching، نويسنده , , Oliver، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
7
From page
121
To page
127
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
Serial Year
2009
Journal title
Annals of Pure and Applied Logic
Record number
1444359
Link To Document