First order logic with empty structures

DOI10.1007/BF02770510zbMath0686.03007OpenAlexW1985256919MaRDI QIDQ1262299

Mohamed A. Amer

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02770510

zbMATH Keywords

compactnessdecidabilityaxiomatizabilityfirst-order theories of empty structures

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Basic properties of first-order languages and structures (03C07) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• The completeness of the first-order functional calculus
• On the rules of proof in the pure functional calculus of the first order
• Quantification theory and empty individual-domains
• Quantification and the empty domain
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: First order logic with empty structures