scientific article
From MaRDI portal
Publication:2892191
zbMath1260.03057MaRDI QIDQ2892191
Publication date: 18 June 2012
Full work available at URL: http://mistug.tubitak.gov.tr/bdyim/abs.php?dergi=mat&rak=0910-92
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstract algebraic logicsubdirect productsprotoalgebraic logicslogical matricesregular categorieshomomorphism theoremsfirst-order structuressecrecy-preserving reasoningsubdirectly irreducible structures
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Applications of universal algebra in computer science (08A70) Basic properties of first-order languages and structures (03C07) Abstract algebraic logic (03G27)
This page was built for publication: