Axiomatizing universal properties of quantifiers
AbtractWe axiomatize all quantifier properties which can be expressed by a universal condition on the class of algebras of sets.
Keyword(s):
Keyword(s):
1997 ◽
Vol 08
(03)
◽
pp. 357-374
◽
Keyword(s):
Keyword(s):
2013 ◽
Vol 101
(5)
◽
pp. 57009
◽
Keyword(s):