The Completeness of Free Logic

Mathematical Logic Quarterly 12 (1):219-234 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19660120117

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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 free IPC is a natural logic: Strong completeness for some intuitionistic free logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
An Absolute Probabilistic Semantics for Free Logic with Identity.Lisa Anne O'neill - 1998 - Dissertation, Temple University
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.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
The completeness of linear logic for Petri net models.K. Ishihara & K. Hiraishi - 2001 - Logic Journal of the IGPL 9 (4):549-567.
A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Games and full completeness for multiplicative linear logic.Abramsky Samson & Jagadeesan Radha - 1994 - Journal of Symbolic Logic 59 (2):543-574.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
A cut-free sequent system for two-dimensional modal logic, and why it matters.Greg Restall - 2012 - Annals of Pure and Applied Logic 163 (11):1611-1623.
Strong Completeness for Some Intuitionistic Free Logics.Carl J. Posy - 1991 - In Karel Lambert (ed.), Philosophical Applications of Free Logic. Oxford University Press. pp. 49.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
Arithmetical completeness versus relative completeness.Michal Grabowski - 1988 - Studia Logica 47 (3):213 - 220.
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
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.

Analytics

Added to PP
2014-01-16

Downloads
61 (#259,066)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Bas C. Van Fraassen
San Francisco State University

Citations of this work

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.
Strict Fregean free logic.Scott Lehmann - 1994 - Journal of Philosophical Logic 23 (3):307--336.

View all 18 citations / Add more citations

References found in this work

On referring.Peter F. Strawson - 1950 - Mind 59 (235):320-344.
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..

View all 11 references / Add more references