Pages that link to "Item:Q5802118"
From MaRDI portal
The following pages link to An algebraic characterization of quantifiers (Q5802118):
Displaying 13 items.
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Equational spectrum of Hilbert varieties (Q1035340) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Hilbert algebras as implicative partial semilattices (Q2454702) (← links)
- (Q2847082) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- Relation between Sheffer Stroke and Hilbert algebras (Q5077336) (← links)
- Fuzzy deductive systems of RM algebras (Q5145751) (← links)
- On derivations and generalized derivations of bitonic algebras (Q5155700) (← links)
- Algebraic formulations of propositional calculi (Q5518338) (← links)
- Propositional Calculus and Realizability (Q5822056) (← links)
- (Q6117535) (← links)
