FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY (Q4295214)
From MaRDI portal
scientific article; zbMATH DE number 584616
Language | Label | Description | Also known as |
---|---|---|---|
English | FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY |
scientific article; zbMATH DE number 584616 |
Statements
FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY (English)
0 references
8 June 1994
0 references
equational logic
0 references
general propositional logic
0 references
finite axiomatizability
0 references
finitely based variety
0 references
finite replacement property
0 references