- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The problem of formalization of some nonstandard semantics
Logic and Logical Philosophy 9:153 (2001)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
D. syntax.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 155-201.
D. junctives.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 369-398.
A formalization of essenin-volpin's proof theoretical studies by means of nonstandard analysis.James R. Geiser - 1974 - Journal of Symbolic Logic 39 (1):81-87.
Inferential Quantification and the ω-rule.Constantin C. Brîncuş - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345--372.
Logical theory and semantic analysis: essays dedicated to Stig Kanger on his fiftieth birthday.Stig Kanger & Sören Stenlund (eds.) - 1974 - Boston: Reidel.
On Formalizing Logical Modalities.Luigi Pavone - 2021 - Croatian Journal of Philosophy 21 (3):419-430.
F. full formalization of functional logic.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 407-426.
Applications of Relating Semantics.Tomasz Jarmużek & Francesco Paoli - forthcoming - Logic and Logical Philosophy:1-17.
E. full formalization of propositional logic.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 399-406.
Inferential Quantification and the ω-Rule.Constantin C. Brîncuş - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345-372.
Analytics
Added to PP
2014-01-23
Downloads
13 (#1,040,422)
6 months
13 (#277,486)
2014-01-23
Downloads
13 (#1,040,422)
6 months
13 (#277,486)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo