Pages that link to "Item:Q1422448"
From MaRDI portal
The following pages link to Quasivarieties of logic, regularity conditions and parameterized algebraization (Q1422448):
Displaying 8 items.
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- (Q3682485) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- (Q5127336) (← links)
- (Q5411459) (← links)