Logic Journal of the IGPL 3 (4):579-595 (1995)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1093/jigpal/3.4.579 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Definition-Like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.
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.
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.
Analytics
Added to PP index
2016-06-30
Total views
8 ( #1,002,078 of 2,497,768 )
Recent downloads (6 months)
1 ( #428,370 of 2,497,768 )
2016-06-30
Total views
8 ( #1,002,078 of 2,497,768 )
Recent downloads (6 months)
1 ( #428,370 of 2,497,768 )
How can I increase my downloads?
Downloads
