Non-deterministic Multiple-valued Structures
type: Item
instance of: scholarly article
title: Non-deterministic Multiple-valued Structures
zbMATH Open document ID: 1070.03010
author: Arnon Avron
author: Iddo Lev
publication date: 2005-07-13T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 2187131
zbMATH Keywords: Multi-valued logics
zbMATH Keywords: non-determinism
zbMATH Keywords: compactness
zbMATH Keywords: decidability
zbMATH Keywords: automated reasoning
zbMATH Keywords: paraconsistent reasoning
zbMATH Keywords: uncertainty
MaRDI profile type: Publication
OpenAlex ID: W2073897909
DOI: 10.1093/LOGCOM/EXI001
published in: Journal Of Logic And Computation
description: scientific article