The following pages link to (Q4011579):
Displaying 11 items.
- Varieties of algebraic systems and propositional calculi (Q1080449) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- Propositional calculus under adjointness (Q1867660) (← links)
- An algorithm for the class of pure implicational formulas (Q1961448) (← links)
- Towards an algebraic semantics for implicatives (Q2228452) (← links)
- On the algebraizability of the implicational fragment of abelian logic (Q2259001) (← links)
- Algebraic analysis of demodalised analytic implication (Q2295595) (← links)
- Calculi over minimal logic and nonembeddability of algebras (Q2402134) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Compatible Functions in Algebras Associated to Extensions of Positive Logic (Q3442404) (← links)
- (Q3732989) (← links)
