ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS

DOI10.1017/S1755020313000270zbMath1319.03034OpenAlexW2335513537MaRDI QIDQ5414135

Gian Aldo Antonelli

Publication date: 2 May 2014

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020313000270

zbMATH Keywords

first-order quantifiers

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80)

Related Items (5)

Completeness and decidability of general first-order logic (with a detour through the guarded fragment) ⋮ On a new semantics for first-order predicate logic ⋮ Compositionality solves Carnap's problem ⋮ Semantic Nominalism: How I Learned to Stop Worrying and Love Universals ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy

Cites Work

• Unnamed Item
• Modal languages and bounded fragments of predicate logic
• Notions of Invariance for Abstraction Principles
• What are logical notions?
• Ideal models and some not so ideal problems in the model theory of L(Q)
• The Discovery of My Completeness Proofs
• Predicate calculus with free quantifier variables
• Logic with the quantifier “there exist uncountably many”
• Completeness in the theory of types

This page was built for publication: ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS