A partially ordered extention of the integers

&
Studia Logica 54 (3):303 - 332 (1995)
  Copy   BIBTEX

Abstract

This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.

Categories

Keywords

Reprint years

DOI

10.1007/bf01053003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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

Extraposition and Scope: A case for overt QR.Danny Fox - unknown
On Some Compatible Operations on Heyting Algebras.Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín - 2011 - Studia Logica 98 (3):331-345.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
Nonmonotonic reasoning: From finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
Dedekind's 1871 version of the theory of ideals.Jeremy Avigad - manuscript
A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver - 2011 - History and Philosophy of Logic 32 (4):375-398.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Partially ordered sets and the independence property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.

Analytics

Added to PP
2009-01-28

Downloads
34 (#474,174)

6 months
3 (#984,719)

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.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
A Proof of the Completeness Theorem of Godel.H. Rasiowa & R. Sikorski - 1952 - Journal of Symbolic Logic 17 (1):72-72.
On the Representation of Quasi-Boolean Algebras.A. Bialynicki-Birula & H. Rasiowa - 1957 - Journal of Symbolic Logic 22 (4):370-370.

View all 7 references / Add more references