The following pages link to Fibring in the Leibniz Hierarchy (Q5436988):
Displaying 5 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Preservation by fibring of the finite model property (Q3006122) (← links)
- Malinowski modalization, modalization through fibring and the Leibniz hierarchy (Q5176664) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)