From rational Gödel logic to ultrametric logic
From MaRDI portal
Publication:2957965
DOI10.1093/LOGCOM/EXU065zbMATH Open1354.03029arXiv1309.1031OpenAlexW1531228811MaRDI QIDQ2957965
Author name not available (Why is that?)
Publication date: 31 January 2017
Published in: (Search for Journal in Brave)
Abstract: This paper is devoted to systematic studies of some extensions of first-order G"odel logic. The first extension is the first-order rational G"odel logic which is an extension of first-order G"odel logic, enriched by countably many nullary logical connectives. By introducing some suitable semantics and proof theory, it is shown that the first-order rational G"odel logic has the completeness property, that is any (strongly) consistent theory is satisfiable. Furthermore, two notions of entailment and strong entailment are defined and their relations with the corresponding notion of proof is studied. In particular, an approximate entailment-compactness is shown. Next, by adding a binary predicate symbol to the first-order rational G"odel logic, the ultrametric logic is introduced. This serves as a suitable framework for analyzing structures which carry an ultrametric function together with some functions and predicates which are uniformly continuous with respect to the ultrametric . Some model theory is developed and to justify the relevance of this model theory, the Robinson joint consistency theorem is proven.
Full work available at URL: https://arxiv.org/abs/1309.1031
No records found.
No records found.
This page was built for publication: From rational Gödel logic to ultrametric logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2957965)
