scientific article

From MaRDI portal

Publication:3715168

Jump to:navigation, search

zbMath0588.08005MaRDI QIDQ3715168

Publication date: 1985

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

zbMATH Keywords

propositional calculus quasi-identities congruence-distributive varieties Jónsson's theorem first-order logic without equality class of models generation of varieties

Mathematics Subject Classification ID

Classical first-order logic (03B10) Classical propositional logic (03B05) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)

Related Items (2)

An easy test for congruence modularity ⋮ Unnamed Item

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3715168&oldid=17214655"