Andrkka, H., Givant, S., Mikulb, S., Ntmeti, I. and Simon, A

Annals of Pure and Applied Logic 91 (1):271 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bibliography of Alfred Tarski.Steven Givant - 1986 - Journal of Symbolic Logic 51 (4):913-941.
Universal classes of simple relation algebras.Steven Givant - 1999 - Journal of Symbolic Logic 64 (2):575-589.
Charisma and Modernity: The Use and Abuse of a Concept.Joseph Bensman & Michael Givant - 1975 - Social Research: An International Quarterly 42.
Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
Perfect extensions and derived algebras.Hajnal Andréka, Steven Givant & István Németi - 1995 - Journal of Symbolic Logic 60 (3):775-796.
Review: Paul Halmos, Steven Givant, Logic as Algebra. [REVIEW]Stephen D. Comer - 1998 - Journal of Symbolic Logic 63 (4):1604-1604.
Sent simulating Simon simulating scientists.Sent E.-M. - 2001 - Studies in History and Philosophy of Science Part A 32 (3):479-500.

Analytics

Added to PP
2014-03-22

Downloads
1 (#1,769,934)

6 months
1 (#1,040,386)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Unfoldable cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
Saturated models of intuitionistic theories.Carsten Butz - 2004 - Annals of Pure and Applied Logic 129 (1-3):245-275.
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.

Add more citations

References found in this work

La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
Infinitary intuitionistic logic from a classical point of view.Mark E. Nadel - 1978 - Annals of Mathematical Logic 14 (2):159-191.
Infinitary propositional intuitionistic logic.Craig Kalicki - 1980 - Notre Dame Journal of Formal Logic 21 (2):216-228.

View all 7 references / Add more references