- 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
A completeness theorem for “theories of kind W”
Studia Logica 27 (1):43-55 (1971)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics.Christian Espíndola - 2016 - Notre Dame Journal of Formal Logic 57 (2):281-286.
A topological completeness theorem.Carsten Butz - 1999 - Archive for Mathematical Logic 38 (2):79-101.
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.Stephen L. Bloom - 1973 - Notre Dame Journal of Formal Logic 14 (3):408-410.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.
Completeness theorem for propositional probabilistic models whose measures have only finite ranges.Radosav Dordević, Miodrag Rašković & Zoran Ognjanović - 2004 - Archive for Mathematical Logic 43 (4):557-563.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Two applications of Boolean models.Thierry Coquand - 1998 - Archive for Mathematical Logic 37 (3):143-147.
A semi-completeness theorem.Stephen L. Bloom - 1969 - Notre Dame Journal of Formal Logic 10 (3):303-308.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Analytic completeness theorem for singular biprobability models.Radosav S. Đordević - 1993 - Mathematical Logic Quarterly 39 (1):228-230.
An analytic completeness theorem for logics with probability quantifiers.Douglas N. Hoover - 1987 - Journal of Symbolic Logic 52 (3):802-816.
Analytics
Added to PP
2009-01-28
Downloads
45 (#361,636)
6 months
6 (#579,310)
2009-01-28
Downloads
45 (#361,636)
6 months
6 (#579,310)
Historical graph of downloads
Citations of this work
Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
Gödel's "slingshot" argument and his onto-theological system.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.
Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
References found in this work
Ontology in the Tractatus of L. Wittgenstein.Roman Suszko - 1968 - Notre Dame Journal of Formal Logic 9 (1):7-33.
Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
A note concerning the theory of descriptions.Henryk Lewandowski & Roman Suszko - 1968 - Studia Logica 22 (1):51 - 56.
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-8fb5884b9-pwpjr uwo