Pages that link to "Item:Q1770606"
From MaRDI portal
The following pages link to Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606):
Displayed 10 items.
- Fregean logics (Q598302) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- The structure of completely meet irreducible congruences in strongly Fregean algebras (Q2159489) (← links)
- Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- A Mathematical Life (Q4586411) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- Free spectra of linear equivalential algebras (Q5486254) (← links)