The following pages link to The Suszko operator. I (Q1422451):
Displayed 15 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)
- 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)