The following pages link to The Suszko operator. I (Q1422451):
Displayed 20 items.
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Defining subdirect product closed classes in infinitary logic (Q2377305) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics (Q4556008) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- The Suszko operator relative to truth‐equational logics (Q6047682) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)