Pages that link to "Item:Q1357379"
From MaRDI portal
The following pages link to Characterizing equivalential and algebraizable logics by the Leibniz operator (Q1357379):
Displayed 22 items.
- Abstract valuation semantics (Q368484) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Fregean logics (Q598302) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Weakly algebraizable logics (Q4508251) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- 2003 Annual Meeting of the Association for Symbolic Logic (Q4678936) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)