Monadic Elementary Formal Systems

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19610070602

Links

PhilArchive



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

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: Raymond M. Smullyan, Elementary Formal Systems. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.Mitio Takano - 1987 - Studia Logica 46 (3):247 - 253.
Embedding the elementary ontology of stanisław leśniewski into the monadic second-order calculus of predicates.V. A. Smirnov - 1983 - Studia Logica 42 (2-3):197 - 207.
Elementary formal systems as a framework for relative recursion theory.Bruce M. Horowitz - 1982 - Notre Dame Journal of Formal Logic 23 (1):39-52.
Elementary categorial logic, predicates of variable degree, and theory of quantity.Brent Mundy - 1989 - Journal of Philosophical Logic 18 (2):115 - 140.
Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit.C. Cimadamore & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):175-201.
Monadic MV-algebras are Equivalent to Monadic?-groups with Strong Unit.C. Cimadamore & J. P. D.?az Varela - 2011 - Studia Logica 98 (1-2):175-201.
Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Mathematical Logic Quarterly 24 (1‐6):25-30.
Formal systems of dialogue rules.Erick C. W. Krabbe - 1984 - Synthese 58 (2):295 - 328.
Formal systems of dialogue rules.Erik C. W. Krabbe - 1985 - Synthese 63 (3):295 - 328.
Hierarchies of monadic generalized quantifiers.Kerkko Luosto - 2000 - Journal of Symbolic Logic 65 (3):1241-1263.
Construction of monadic three-valued łukasiewicz algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Elementary Functions and LOOP Programs.Zlatan Damnjanovic - 1994 - Notre Dame Journal of Formal Logic 35 (4):496-522.

Analytics

Added to PP
2014-01-16

Downloads
32 (#487,332)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references