R. M. Martin. A homogeneous system for formal logic. The journal of symbolic logic, vol. 8 , pp. 1–23

Journal of Symbolic Logic 8 (2):54-54 (1943)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268009

Links

PhilArchive



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

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

Review: R. M. Martin, A Homogeneous System for Formal Logic. [REVIEW]J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (1):54-54.
A homogeneous system for formal logic.R. M. Martin - 1943 - Journal of Symbolic Logic 8 (1):1-23.
Particle Description of Zero-Energy Vacuum II: Basic Vacuum Systems. [REVIEW]Jean-Yves Grandpeix & François Lurçat - 2002 - Foundations of Physics 32 (1):133-158.
Morley Rank in Homogeneous Models.Alexei Kolesnikov & G. V. N. G. Krishnamurthi - 2006 - Notre Dame Journal of Formal Logic 47 (3):319-329.
``On a system of computer-aided instruction of logic''.Andrzej Trybulec - 1983 - Bulletin of the Section of Logic 12 (4):214-218.
A formal theory of physical necessity.Marcin Tkaczyk - 2007 - Logic and Logical Philosophy 16 (1):65-83.
Automorphisms of Homogeneous Structures.A. Ivanov - 2005 - Notre Dame Journal of Formal Logic 46 (4):419-424.
Investigations into Quantified Modal Logic.Yannis Stephanou - 2002 - Notre Dame Journal of Formal Logic 43 (4):193-220.
A Formal System Without Well-formed Formulas.Martin Tabakov - 1979 - Bulletin of the Section of Logic 8 (1):27-29.
The homogeneous form of logic programs with equality.William Demopoulos - 1990 - Notre Dame Journal of Formal Logic 31 (2):291-303.
The theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1979 - Notre Dame Journal of Formal Logic 20 (3):505-524.
Two Lambda-extensions of the theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1985 - Notre Dame Journal of Formal Logic 26 (4):377-407.
Ernst Mally's Deontik (1926).Gert-Jan C. Lokhorst - 1999 - Notre Dame Journal of Formal Logic 40 (2):273-282.
Bounding Homogeneous Models.Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt & Robert I. Soare - 2007 - Journal of Symbolic Logic 72 (1):305 - 323.
Uncountable Homogeneous Partial Orders.Manfred Droste, Dugald Macpherson & Alan Mekler - 2002 - Mathematical Logic Quarterly 48 (4):525-532.

Analytics

Added to PP
2016-06-30

Downloads
6 (#1,439,475)

6 months
3 (#992,575)

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

No references found.

Add more references