Categorical quantification
From MaRDI portal
Publication:6636686
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Categoricity and completeness of theories (03C35) Models of arithmetic and set theory (03C62)
Cites work
- scientific article; zbMATH DE number 3154788 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 1560719 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- scientific article; zbMATH DE number 3099235 (Why is no real title available?)
- scientific article; zbMATH DE number 3099236 (Why is no real title available?)
- scientific article; zbMATH DE number 3111916 (Why is no real title available?)
- Algebraic methods in philosophical logic
- An introduction to Gödel's theorems
- Are the open-ended rules for negation categorical?
- Classical harmony and separability
- Completeness and super-valuations
- Compositionality solves Carnap's problem
- Foundations of logical consequence
- Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
- Henkin's completeness proof: Forty years later
- Inferentialism and the categoricity problem: reply to Raatikainen
- On rules of inference and the meanings of logical constants
- Reason's nearest kin. Philosophies of arithmetic from Kant fo Carnap
- Rejection
- Shadows of Syntax
- Speech acts, categoricity, and the meanings of logical connectives
- The Ways of Logicality: Invariance and Categoricity
- The completeness of the first-order functional calculus
- Transfinite Progressions: A Second Look at Completeness
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
This page was built for publication: Categorical quantification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636686)