Note on witnessed Gödel logics with Delta

详细信息    查看全文

• 作者：Matthias Baaz ; Oliver Fasching
• 关键词：G&#xf6 ; del logics ; Disentangled fragment ; Relative completeness
• 刊名：Annals of Pure and Applied Logic
• 出版年：2009
• 出版时间：November 2009
• 年：2009
• 卷：161
• 期：2
• 页码：121-127
• 全文大小：500 K

文摘

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.