\(\alpha\)-resolution fields of generalized literals in lattice-valued propositional logic \(L_{n\times 2}P(X)\)
type: Item
instance of: scholarly article
zbMATH Open document ID: 1249.03032
author: Jiafeng Zhang
author: Yang Xu
publication date: 2012-06-01T00:00:00Z
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6042050
zbMATH Keywords: automated reasoning
zbMATH Keywords: resolution field
zbMATH Keywords: lattice-valued logic
zbMATH Keywords: lattice implication algebra
MaRDI profile type: Publication
DOI: 10.3969/J.ISSN.1001-8395.2011.05.008
title: \(\alpha\)-resolution fields of generalized literals in lattice-valued propositional logic \(L_{n\times 2}P(X)\)
published in: Journal of Sichuan Normal University. Natural Science
description: scientific article; zbMATH DE number 6042050