Pages that link to "Item:Q4295214"
From MaRDI portal
The following pages link to FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY (Q4295214):
Displaying 5 items.
- On reduced matrices (Q1208116) (← links)
- Three-element non-finitely axiomatizable matrices and term-equivalence (Q2987725) (← links)
- Complete Axiomatisations of Properties of Finite Sets (Q3508165) (← links)
- (Q4273424) (← links)
- Finite axiomatizability of logics of distributive lattices with negation (Q6111084) (← links)