An algebraic characterization of quantifiers

DOI10.4064/fm-37-1-63-74zbMath0041.34804OpenAlexW1012644611MaRDI QIDQ5802118

Leon Henkin

Publication date: 1950

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213228

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (max. 100)

Propositional Calculus and Realizability ⋮ Leon Henkin the Reviewer ⋮ The abstract variable-binding calculus ⋮ Relation between Sheffer Stroke and Hilbert algebras ⋮ Prior’s OIC nonconservativity example revisited ⋮ Abstract algebraic logic. An introductory chapter ⋮ On Implicative and Positive Implicative GE Algebras ⋮ Unnamed Item ⋮ Hilbert algebras as implicative partial semilattices ⋮ Fuzzy deductive systems of RM algebras ⋮ On derivations and generalized derivations of bitonic algebras ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ Unnamed Item ⋮ Equational spectrum of Hilbert varieties ⋮ Algebraic formulations of propositional calculi

This page was built for publication: An algebraic characterization of quantifiers