Quantifiers and conceptual existence

DOI10.1007/978-3-030-16673-1_7MaRDI QIDQ6601782zbMATH OpenFDO

Authors María Manzano, Manuel Crescencio Moreno

Publication date 11 September 2024

Full work available at URL https://doi.org/10.1007/978-3-030-16673-1_7

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A formulation of the simple theory of types.
• A partial functions version of Church's simple theory of types
• A reduction of the axioms for the theory of prepositional types
• A theory of prepositional types
• Adding Intensional Machinery to Hybrid Logic
• Completeness in hybrid type theory
• Completeness in the theory of types
• First-order modal logic
• scientific article; zbMATH DE number 3952716 (Why is no real title available?)
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• scientific article; zbMATH DE number 6399373 (Why is no real title available?)
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Mathematical logic as based on the theory of types.
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The principles of Mathematics. Vol I.
• Types, tableaus, and Gödel's God

This page was built for publication: Quantifiers and conceptual existence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6601782)