Semantic Completeness of Free-Variable Theories

Mathematical Logic Quarterly 33 (5):441-452 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330508

Links

PhilArchive



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

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

Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Free versus bound variables and the taxonomy of gaps.Luis Vicente - 2016 - Natural Language Semantics 24 (3):203-245.
A Semantic Approach to the Completeness Problem in Quantum Mechanics.Claudio Garola & Sandro Sozzo - 2004 - Foundations of Physics 34 (8):1249-1266.
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics.Christian Espíndola - 2016 - Notre Dame Journal of Formal Logic 57 (2):281-286.
Trivializing sentences and the promise of semantic completeness.J. Beall - 2015 - Analysis 75 (4):573-584.
Model Generation from Constrained Free Variable.Jan van Eijck - unknown
Notes on a semantic analysis of variable binding term operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
The Semantic View, If Plausible, Is Syntactic.Hans Halvorson - 2013 - Philosophy of Science 80 (3):475-478.
Presuppositional completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.
Variable declarations in natural deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
First-Order Tableaux with Sorts.Christoph Weidenbach - 1995 - Logic Journal of the IGPL 3 (6):887-906.
Relativistic hidden variable theories?Frank Arntzenius - 1994 - Erkenntnis 41 (2):207 - 231.
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.

Analytics

Added to PP
2014-01-16

Downloads
29 (#535,100)

6 months
1 (#1,533,009)

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

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.

View all 9 references / Add more references