The Completeness of L (P)

Mathematical Logic Quarterly 24 (19-24):357-364 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780241911

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A P-Completeness Result for Visibility Graphs of Simple Polygons.J. Dietel & H.-D. Hecker - 2000 - Mathematical Logic Quarterly 46 (3):361-376.
Analytic completeness theorem for absolutely continuous biprobability models.Radosav S. Đorđević - 1992 - Mathematical Logic Quarterly 38 (1):241-246.
The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.
Strong completeness of a pure free logic.Ermanno Bencivenga - 1985 - Mathematical Logic Quarterly 31 (1‐6):35-38.
Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.
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.
Concerning Completeness and Abelian Semigroups.J. C. Muzio - 1976 - Mathematical Logic Quarterly 22 (1):85-86.

Analytics

Added to PP
2013-11-24

Downloads
51 (#426,259)

6 months
12 (#290,681)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
The foundations of suslin logic.Erik Ellentuck - 1975 - Journal of Symbolic Logic 40 (4):567-575.

Add more references