Maslov's inverse method and decidable classes

Annals of Pure and Applied Logic 42 (2):165-194 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Decidable discrete linear orders.M. Moses - 1988 - Journal of Symbolic Logic 53 (2):531-539.
Sets and classes as many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
Proof theory in the USSR 1925–1969.Grigori Mints - 1991 - Journal of Symbolic Logic 56 (2):385-424.
An Undecidable Linear Order That Is $n$-Decidable for All $n$.John Chisholm & Michael Moses - 1998 - Notre Dame Journal of Formal Logic 39 (4):519-526.
Decidable classes of number‐theoretic sentences.I. J. Heath - 1969 - Mathematical Logic Quarterly 15 (26‐29):411-420.
Effectively closed sets and enumerations.Paul Brodhead & Douglas Cenzer - 2008 - Archive for Mathematical Logic 46 (7-8):565-582.
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.
A Mathematical Analysis of Pānini’s Śivasūtras.Wiebke Petersen - 2004 - Journal of Logic, Language and Information 13 (4):471-489.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
A classification of intersection type systems.M. W. Bunder - 2002 - Journal of Symbolic Logic 67 (1):353-368.

Analytics

Added to PP
2014-01-16

Downloads
15 (#809,217)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.

Add more citations

References found in this work

No references found.

Add more references