Pages that link to "Item:Q4318163"
From MaRDI portal
The following pages link to On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics (Q4318163):
Displaying 6 items.
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Approximation logic and strong Bunge algebra (Q1913634) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- (Q5411486) (← links)