Pages that link to "Item:Q1918964"
From MaRDI portal
The following pages link to The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964):
Displaying 14 items.
- Contextual deduction theorems (Q647412) (← links)
- Quasivarieties with definable relative principal subcongruences (Q1037593) (← links)
- A deduction theorem schema for deductive systems of propositional logics (Q1189891) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- Identities and quasi-identities of pointed algebras (Q2123076) (← links)
- Properties not retained by pointed enrichments of finite lattices (Q2217773) (← links)
- General theory of the commutator for deductive systems. I: Basic facts (Q2433100) (← links)
- Triangular irreducibility of congruences in quasivarieties (Q2450841) (← links)
- Subdirectly Irreducible MV-Algebras (Q3366595) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- Deduction theorems within RM and its extensions (Q4254635) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
