Quantifiers and conceptual existence
type: Item
instance of: scholarly article
title: Quantifiers and conceptual existence
DOI: 10.1007/978-3-030-16673-1_7
author: María Manzano
author: Manuel Crescencio Moreno
publication date: 2024-09-11T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7910460
MaRDI profile type: Publication
cites work: A reduction of the axioms for the theory of prepositional types
cites work: Completeness in hybrid type theory
cites work: Representation, reasoning, and relational structures: a hybrid logic manifesto
cites work: Adding Intensional Machinery to Hybrid Logic
cites work: Hybrid logic and its proof-theory
cites work: A formulation of the simple theory of types.
cites work: Q5825229
cites work: A partial functions version of Church's simple theory of types
cites work: Types, tableaus, and Gödel's God
cites work: First-order modal logic
cites work: Completeness in the theory of types
cites work: A theory of prepositional types
cites work: Q3722467
cites work: Q4858033
cites work: Q5173183
cites work: The principles of Mathematics. Vol I.
cites work: Mathematical logic as based on the theory of types.
description: scientific article; zbMATH DE number 7910460