From rational Gödel logic to ultrametric logic
type: Item
instance of: scholarly article
title: From rational Gödel logic to ultrametric logic
zbMATH Open document ID: 1354.03029
publication date: 2017-01-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/1309.1031
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03C90
zbMATH DE Number: 6679291
zbMATH Keywords: first-order Gödel logic
zbMATH Keywords: continuous metric logic
zbMATH Keywords: ultrametric logic
zbMATH Keywords: Robinson consistency theorem
MaRDI profile type: Publication
OpenAlex ID: W1531228811
arXiv ID: 1309.1031
DOI: 10.1093/LOGCOM/EXU065
published in: Journal Of Logic And Computation
description: scientific article