Skolem Theory and Generalized Quantifiers
From MaRDI portal
Recommendations
- The Skolemization of existential quantifiers in intuitionistic logic
- Generalized quantifiers, and beyond
- Directions in generalized quantifier theory
- Generalized Quantifiers and Logical Reducibilities
- The eskolemization of universal quantifiers
- scientific article; zbMATH DE number 4027448
- Generalized quantifiers and modal logic
- The hierarchy theorem for generalized quantifiers
- scientific article; zbMATH DE number 1163931
- scientific article; zbMATH DE number 3946094
Cites work
- A defense of branching quantification
- Functional quantification
- Generalized quantifiers and natural language
- scientific article; zbMATH DE number 4191602 (Why is no real title available?)
- scientific article; zbMATH DE number 3196255 (Why is no real title available?)
- Is Hintikka's logic first-order?
- On a generalization of quantifiers
- Partially-ordered (branching) generalized quantifiers: A general definition
- Quantifiers vs. Quantification Theory
Cited in
(8)- Skolem fragments
- The Skolemization of existential quantifiers in intuitionistic logic
- Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
- scientific article; zbMATH DE number 22239 (Why is no real title available?)
- scientific article; zbMATH DE number 1794700 (Why is no real title available?)
- Skolem’s Theorem in Coherent Logic
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality
- Independent set readings and generalized quantifiers
This page was built for publication: Skolem Theory and Generalized Quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511466)
