scientific article; zbMATH DE number 1354096

zbMath0927.03041MaRDI QIDQ4268405

O. M. Anshakov

Publication date: 28 October 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semanticsmany-valued logicsautomatic generation of hypotheses\(J\)-definable \(J\)-compact logicsRosser-Turquette \(J\)-operators

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Many-valued logic (03B50)

This page was built for publication: