Pages that link to "Item:Q2563460"
From MaRDI portal
The following pages link to Equivalential and algebraizable logics (Q2563460):
Displaying 42 items.
- 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)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Filter distributive logics (Q1066139) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- Characterizing equivalential and algebraizable logics by the Leibniz operator (Q1357379) (← links)
- Duality for lattice-ordered algebras and for normal algebraizable logics (Q1368914) (← links)
- On definability of the equality in classes of algebras with an equivalence relation (Q1577361) (← links)
- Combining algebraizable logics (Q1815433) (← links)
- Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- On prevarieties of logic (Q2324841) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← 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)
- Komori identities in algebraic logic (Q2752411) (← links)
- EQ-logics with delta connective (Q2805866) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Algebraization of Non-structural Logics (Q3424133) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- A Non-finitary Sentential Logic that is Elementarily Algebraizable (Q3583103) (← links)
- Algebraizable logics (Q3815297) (← links)
- Weakly algebraizable logics (Q4508251) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- 2003 Annual Meeting of the Association for Symbolic Logic (Q4678936) (← links)
- (Q4697917) (← links)
- (Q4789047) (← links)
- (Q4820591) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- (Q5603860) (← links)
- On neat reducts of algebras of logic (Q5954709) (← links)
