Review: M. T. Partis, Commutative Partially Ordered Recursive Arithmetics [Book Review]

Journal of Symbolic Logic 34 (1):117-118 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Limited universal and existential quantifiers in commutative partially ordered recursive arithmetics.M. T. Partis - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):17-23.
Monoid based semantics for linear formulas.W. P. R. Mitchell & H. Simmons - 2001 - Journal of Symbolic Logic 66 (4):1597-1619.
Monoid based semantics for linear formulas.W. P. R. Mitchell & H. Simmons - 2002 - Journal of Symbolic Logic 67 (2):505-527.
Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
From a connected, partially ordered set of events to a partially ordered field of time intervals.P. G. Vroegindewey, V. Ja Kreinovič & O. M. Kosheleva - 1980 - Foundations of Physics 10 (5-6):469-484.
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
Partially ordered quantifiers vs. partially ordered ideas.Jaakko Hintikka - 1976 - Dialectica 30 (1):89--99.
A quantum theory of space and time.Geoffrey Hemion - 1980 - Foundations of Physics 10 (11-12):819-840.
Partially ordered sets and the independence property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Lattice Ordered O -Minimal Structures.Carlo Toffalori - 1998 - Notre Dame Journal of Formal Logic 39 (4):447-463.
Review: Vladeta Vuckovic, On Some Possibilities in the Foundations of Recursive Arithmetics of Words. [REVIEW]Kajetan Seper - 1971 - Journal of Symbolic Logic 36 (3):549-549.
If-logic and truth-definition.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (2):143-164.

Analytics

Added to PP
2013-11-22

Downloads
14 (#990,327)

6 months
4 (#790,339)

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