Quantifiers and conceptual existence
From MaRDI portal
Publication:6601782
DOI10.1007/978-3-030-16673-1_7MaRDI QIDQ6601782
María Manzano, Manuel Crescencio Moreno
Publication date: 11 September 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness in hybrid type theory
- Types, tableaus, and Gödel's God
- Mathematical logic as based on the theory of types.
- The principles of Mathematics. Vol I.
- First-order modal logic
- A formulation of the simple theory of types.
- Adding Intensional Machinery to Hybrid Logic
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- A theory of prepositional types
- A reduction of the axioms for the theory of prepositional types
- A partial functions version of Church's simple theory of types
- Completeness in the theory of types
- Hybrid logic and its proof-theory
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)
