Towards the algebraization of set theory. Set-theoretic domains

Bulletin of the Section of Logic 33 (3):157-178 (2004)
  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: 91,202

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

Abstract Valuation Semantics.Carlos Caleiro & Ricardo Gonçalves - 2013 - Studia Logica 101 (4):677-712.
Algebraization of the Three‐valued BCK‐logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2002 - Mathematical Logic Quarterly 48 (2):163-178.
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
Fregean logics with the multiterm deduction theorem and their algebraization.J. Czelakowski & D. Pigozzi - 2004 - Studia Logica 78 (1-2):171 - 212.
Domains of deception.David M. Buss - 2011 - Behavioral and Brain Sciences 34 (1):18-18.
To have and to eat cake: The biscriptive role of game-theoretic explanations of human choice behavior.William D. Casebeer & James E. Parco - 2003 - Behavioral and Brain Sciences 26 (2):159-160.
Algebraization, Transcendence, and D-Group Schemes.Jean-Benoît Bost - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):377-434.
Information-oriented computation with BABY-SIT.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 19-34.
BABY-SIT: a computational medium based on situations.Erkan Tin & Varol Akman - 1993 - In Paul Dekker & Martin Stokhof (eds.), 9th Amsterdam Colloquium. Amsterdam, The Netherlands: Institute for Logic, Language and Computation.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
On the algebraization of a Feferman's predicate.Franco Montagna - 1978 - Studia Logica 37 (3):221 - 236.

Analytics

Added to PP
2014-01-17

Downloads
23 (#641,102)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references