Definition-like Extensions by Sorts

&
Logic Journal of the IGPL 3 (4):579-595 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/3.4.579

Links

PhilArchive



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

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

Definition-like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
On conservative and expansive extensions.Paulo Veloso & Sheila Veloso - 1991 - O Que Nos Faz Pensar:87-106.
Rings of algebraic numbers in infinite extensions of $${\mathbb {Q}}$$ and elliptic curves retaining their rank.Alexandra Shlapentokh - 2009 - Archive for Mathematical Logic 48 (1):77-114.
Canonical extensions for congruential logics with the deduction theorem.Mai Gehrke, Ramon Jansana & Alessandra Palmigiano - 2010 - Annals of Pure and Applied Logic 161 (12):1502-1519.
Frege's definition of number.Steven Wagner - 1983 - Notre Dame Journal of Formal Logic 24 (1):1-21.
Quelques remarques sur le caractère provisoire de toute axiomatique.Daniel Dugué - 1957 - Dialectica 11 (1‐2):148-153.
Evaluation of Evidence in Group Selection Debates.Elisabeth A. Lloyd - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:483 - 493.
First-Order Tableaux with Sorts.Christoph Weidenbach - 1995 - Logic Journal of the IGPL 3 (6):887-906.
Technology and the Body: the (Im)Possibilities of Re-embodiment. [REVIEW]Helena De Preester - 2011 - Foundations of Science 16 (2-3):119-137.
Locke on knowledge.Lex Newman - 2007 - In The Cambridge Companion to Locke's "Essay Concerning Human Understanding". Cambridge University Press.
Les antécédents scolastiques de la théorie des ensembles.J. -L. Gardies - 1986 - Revue de Métaphysique et de Morale 91 (4):486 - 505.
The relative consistency of system RRC* and some of its extensions.Max A. Freund - 1994 - Studia Logica 53 (3):351 - 360.
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Characterizing Quantifier Extensions of Dependence Logic.Fredrik Engström & Juha Kontinen - 2013 - Journal of Symbolic Logic 78 (1):307-316.
End Extensions of Models of Weak Arithmetic Theories.Costas Dimitracopoulos & Vasileios S. Paschalis - 2016 - Notre Dame Journal of Formal Logic 57 (2):181-193.

Analytics

Added to PP
2016-06-30

Downloads
15 (#939,976)

6 months
6 (#509,125)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references