- 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 Completeness of Free Logic
Mathematical Logic Quarterly 12 (1):219-234 (1966)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Strong completeness of a pure free logic.Ermanno Bencivenga - 1985 - Mathematical Logic Quarterly 31 (1‐6):35-38.
Post Completeness and Free Algebras.G. Sambin & S. Valentini - 1980 - Mathematical Logic Quarterly 26 (22‐24):343-347.
Semantic Completeness of Free-Variable Theories.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (5):441-452.
A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13-17):245-254.
A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13‐17):245-254.
On contraction and the modal fragment.Kai Brünnler, Dieter Probst & Thomas Studer - 2008 - Mathematical Logic Quarterly 54 (4):345-349.
A Completeness Result for Quantificational Tense Logic.Robert P. McArthur & Hugues Leblanc - 1976 - Mathematical Logic Quarterly 22 (1):89-96.
Extensions of Makinson's Completeness Theorems in Modal Logic.R. Routley - 1970 - Mathematical Logic Quarterly 16 (3):239-256.
Analytics
Added to PP
2014-01-16
Downloads
76 (#276,445)
6 months
8 (#591,777)
2014-01-16
Downloads
76 (#276,445)
6 months
8 (#591,777)
Historical graph of downloads
Author's Profile
Citations of this work
Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
Supervaluationism and Paraconsistency.Achille C. Varzi - 2000 - In Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.), Frontiers in Paraconsistent Logic. Research Studies Press. pp. 279–297.
Inconsistency without Contradiction.Achille C. Varzi - 1997 - Notre Dame Journal of Formal Logic 38 (4):621-639.
A semantic theory of sortal incorrectness.R. H. Thomason - 1972 - Journal of Philosophical Logic 1 (2):209 - 258.
References found in this work
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
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-667477cd97-sfdq8 dc2