On the general interpretation of first-order quantifiers
From MaRDI portal
Recommendations
Cites work
- Completeness in the theory of types
- scientific article; zbMATH DE number 1749204 (Why is no real title available?)
- Ideal models and some not so ideal problems in the model theory of L(Q)
- Logic with the quantifier “there exist uncountably many”
- Modal languages and bounded fragments of predicate logic
- Notions of invariance for abstraction principles
- Predicate calculus with free quantifier variables
- The Discovery of My Completeness Proofs
- What are logical notions?
Cited in
(16)- Quantifier-free versions of first order logic and their psychological significance
- Partially interpreted relations and partially interpreted quantifiers
- Compositionality solves Carnap's problem
- Completeness and decidability of general first-order logic (with a detour through the guarded fragment)
- On a new semantics for first-order predicate logic
- Somehow things do not relate: on the interpretation of polyadic second-order logic
- Semantic nominalism: how i learned to stop worrying and love universals
- Life on the range: Quine's thesis and semantic indeterminacy
- Meaning theory for absolutely general languages
- Models, self-application and absolute generality
- Generalisation of first-order logic to nonatomic domains
- Still a Horse-Race
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Categories of first-order quantifiers
- Carnap's problem, definability and compositionality
- Carnap's (categoricity) problem
This page was built for publication: On the general interpretation of first-order quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5414135)
