Pages that link to "Item:Q1652858"
From MaRDI portal
The following pages link to Axiomatizations of universal classes through infinitary logic (Q1652858):
Displaying 4 items.
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Filter classes of upsets of distributive lattices (Q6615239) (← links)
