A reductive approach to l-decidability

Bulletin of the Section of Logic 28 (3):171-177 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Can physicalism be non-reductive?Andrew Melnyk - 2008 - Philosophy Compass 3 (6):1281-1296.
Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability.Carlo Toffalori & S. Cittadini - 2002 - Mathematical Logic Quarterly 48 (4):483-498.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
COMPARING PART-WHOLE REDUCTIVE EXPLANATIONS IN BIOLOGY AND PHYSICS.Alan C. Love & Andreas Hüttemann - 2011 - In Dennis Dieks, Wenceslao Gonzalo, Thomas Uebel, Stephan Hartmann & Marcel Weber (eds.), Explanation, Prediction, and Confirmation. Springer. pp. 183--202.
Reductive techniques in proofs of the completeness theorems for the normal bimodal systems.Piotr Lukowski - 2003 - Bulletin of the Section of Logic 32 (3):147-159.
Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
Making it totally explicit.Janice L. Dowell - 2006 - Philosophical Papers 35 (2):137-170.
Ł-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.
Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.
Agent-causation and agential control.Markus Ernst Schlosser - 2008 - Philosophical Explorations 11 (1):3-21.
Reductive explanation and the "explanatory gap".Peter Carruthers - 2004 - Canadian Journal of Philosophy 34 (2):153-174.
Humean chance: Five questions for David Lewis. [REVIEW]S. Sturgeon - 1998 - Erkenntnis 49 (3):321-335.
A note on the decidability of de Finetti's coherence.Francesco Corielli - 1995 - Theory and Decision 38 (1):121-129.
Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace.Miklós Erdélyi-Szabó - 1997 - Mathematical Logic Quarterly 43 (3):343-354.

Analytics

Added to PP
2014-01-19

Downloads
12 (#1,088,509)

6 months
1 (#1,475,652)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references