| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662294 | Annals of Pure and Applied Logic | 2009 | 7 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
