FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY
From MaRDI portal
Publication:4295214
DOI10.1002/malq.19920380131zbMath0813.03005OpenAlexW2089100021MaRDI QIDQ4295214
No author found.
Publication date: 8 June 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19920380131
equational logicfinitely based varietyfinite axiomatizabilityfinite replacement propertygeneral propositional logic
Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Classical propositional logic (03B05) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
This page was built for publication: FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY