Intensional models for first degree formulas

Journal of Symbolic Logic 32 (1):1-22 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271239

Links

PhilArchive



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

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

Safe formulas in the general theory of stable models (preliminary report).Vladimir Lifschitz - unknown
Measuring coherence using LP-models.Carlos A. OLLER - 2004 - Journal of Applied Logic 2 (4):451-455.
Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Conservative reduction classes of Krom formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
Semantics for analytic containment.Fabrice Correia - 2004 - Studia Logica 77 (1):87-104.
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Local definitions in degeree structures: The Turing jump, hyperdegrees and beyond.Richard A. Shore - 2007 - Bulletin of Symbolic Logic 13 (2):226-239.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.

Analytics

Added to PP
2009-01-28

Downloads
40 (#387,619)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nuel Belnap
University of Pittsburgh

Citations of this work

Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
Propositional quantifiers.Dorothy L. Grover - 1972 - Journal of Philosophical Logic 1 (2):111 - 136.
A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.

View all 17 citations / Add more citations

References found in this work

Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216.
Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.

View all 8 references / Add more references