First-order theories of abstract dependence relations

Annals of Pure and Applied Logic 26 (3):215-243 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(84)90004-6

Links

PhilArchive



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

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

Multiple-domain supervenience for non-classical mereologies.Ralf M. Bader - forthcoming - In Ontological Dependence and Supervenience. Philosophia.
The ontology of intentionality II: Dependence ontology as prolegomenon to noetic modal semantics.Gilbert T. Null - 2007 - Husserl Studies 23 (2):119-159.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Generalized quantification as substructural logic.Natasha Alechina & Michiel van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006-1044.
Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel Van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006 - 1044.
Entrenchment versus dependence: Coherence and foundations in belief change.Alexander Bochman - 2002 - Journal of Logic, Language and Information 11 (1):3-27.
The ontology of intentionality I: The dependence ontological account of order: Mediate and immediate moments and pieces of dependent and independent objects.Gilbert T. Null - 2007 - Husserl Studies 23 (1):33-69.
Proof-theoretical analysis of order relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
Putting the World Back into Semantics.Barry Smith - 1993 - Grazer Philosophische Studien 44 (1):91-109.
Ontological dependence.Fabrice Correia - 2008 - Philosophy Compass 3 (5):1013-1032.
Intertheory relations from unified theories.Gebhard Geiger - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (2):263-282.
Dependence logic: a new approach to independence friendly logic.Jouko Väänänen - 2007 - New York: Cambridge University Press.
Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
Supervenience, determination, and dependence.Jeffrey Yoshimi - 2007 - Pacific Philosophical Quarterly 88 (1):114–133.

Analytics

Added to PP
2014-01-16

Downloads
16 (#855,572)

6 months
9 (#250,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
Classifications of degree classes associated with r.e. subspaces.R. G. Downey & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 42 (2):105-124.
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.

View all 9 citations / Add more citations

References found in this work

Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.

View all 8 references / Add more references