The following pages link to (Q4405136):
Displayed 4 items.
- Logical matrices and the amalgamation property (Q800348) (← links)
- On detachment-substitutional formalization in normal modal logics (Q1240211) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)