Multi-valued logic and Gröbner bases with applications to modal logic
type: Item
instance of: scholarly article
title: Multi-valued logic and Gröbner bases with applications to modal logic
zbMATH Open document ID: 0728.03021
DOI: 10.1016/S0747-7171(08)80043-0
author: N. E. Zubov
published in: Journal of Symbolic Computation
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4202244
zbMATH Keywords: multi-valued logic
zbMATH Keywords: deduction problem
zbMATH Keywords: ideal membership in a polynomial ring
zbMATH Keywords: Lukasiewicz's modal logic
MaRDI profile type: Publication
cites work: Q4133082
cites work: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
cites work: Q3208084
cites work: Q3714165
cites work: VDM: Axiomatising its Propositional Logic
cites work: Q3674088
cites work: Refutational theorem proving using term-rewriting systems
cites work: Only prime superpositions need be considered in the Knuth-Bendix completion procedure
cites work: Q3997000
cites work: Q5661846
cites work: The Theory of Representation for Boolean Algebras
cites work: Q3745825
cites work: Q4149741
description: scientific article; zbMATH DE number 4202244