Decidability of Some Extensions of J

Mathematical Logic Quarterly 20 (13‐18):203-206 (1974)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19740201304
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,148
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Note on JP'.Peter W. Woodruff - 1970 - Theoria 36 (2):183-184.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
On Extensions of Intermediate Logics by Strong Negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
Ł-Decidability and Decidability.J. Słupecki - 1972 - Bulletin of the Section of Logic 1 (3):38-43.
Decidability of an Xstit Logic.Gillman Payette - 2014 - Studia Logica 102 (3):577-607.

Analytics

Added to PP index
2013-11-24

Total views
5 ( #1,065,133 of 2,285,426 )

Recent downloads (6 months)
2 ( #578,621 of 2,285,426 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature