Pages that link to "Item:Q4159026"
From MaRDI portal
The following pages link to Fragments of first order logic, I: universal Horn logic (Q4159026):
Displayed 5 items.
- Model complete universal Horn classes (Q800351) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Reduced products of logical matrices (Q1145134) (← links)
- Some characterization theorems for infinitary universal Horn logic without equality (Q3128471) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)