A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (2):155-168 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350205

Links

PhilArchive



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

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

A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems.Peter Zahn - 1989 - Mathematical Logic Quarterly 35 (2):155-168.
Algebraic theory of quasivarieties of heterogeneous partial algebras.Peter Burmeister - 2004 - Studia Logica 78 (1-2):129 - 153.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
D-algebras.Stanley Gudder - 1996 - Foundations of Physics 26 (6):813-822.
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic.Franco Montagna - 1980 - Studia Logica 39 (4):347 - 354.
Quasi-varieties: A special access.Hans-Jürgen Hoehnke - 2004 - Studia Logica 78 (1-2):249 - 260.
Quasi-varieties: A special access. [REVIEW]Dr Habil Hans-Jürgen Hoehnke - 2004 - Studia Logica 78 (1-2):249-260.
A General Form of Relative Recursion.Jaap van Oosten - 2006 - Notre Dame Journal of Formal Logic 47 (3):311-318.
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
A Representation of Quantum Measurement in Order-Unit Spaces.Gerd Niestegge - 2008 - Foundations of Physics 38 (9):783-795.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Stability of representations of effective partial algebras.Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker - 2011 - Mathematical Logic Quarterly 57 (2):217-231.
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.
On the existence of extensional partial combinatory algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
Partial structures and Jeffrey-Keynes algebras.Marcelo Tsuji - 2000 - Synthese 125 (1-2):283-299.

Analytics

Added to PP
2015-12-02

Downloads
27 (#591,649)

6 months
5 (#645,438)

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