Graduate studies at Western
History and Philosophy of Logic 11 (1):67-75 (1990)
|Abstract||The algebra of sets has, basically, two different types of symbols. One type of symbol (∩, ?, +, ?) defines another set from two other sets. A second type of symbol (?, ?, =, ?) makes a proposition about two sets. When the construction of these two types of symbols is based on the same four-dot matrix as the logic symbols described in a previous paper, the three symbol types then dovetail together into a harmonious whole that greatly simplifies derivation in the algebra of sets|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Wolfgang Maass (1982). Recursively Enumerable Generic Sets. Journal of Symbolic Logic 47 (4):809-823.
Klaus Sutner (1990). The Ordertype of Β-R.E. Sets. Journal of Symbolic Logic 55 (2):573-576.
Hans-Rolf Gregorius (1996). Differentiation Between Populations and its Measurement. Acta Biotheoretica 44 (1).
Klaus Denecke & Dara Phusanga (2008). Hyperformulas and Solid Algebraic Systems. Studia Logica 90 (2):263 - 286.
K. Britz (1999). A Power Algebra for Theory Change. Journal of Logic, Language and Information 8 (4):429-443.
J. Donald Monk (1970). On an Algebra of Sets of Finite Sequences. Journal of Symbolic Logic 35 (1):19-28.
Vladimir Kanovei (1996). On External Scott Algebras in Nonstandard Models of Peano Arithmetic. Journal of Symbolic Logic 61 (2):586-607.
Sergiu Rudeanu (1993). On Łukasiewicz-Moisil Algebras of Fuzzy Sets. Studia Logica 52 (1):95 - 111.
John P. Burgess (1988). Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Wolfgang Maass (1984). On the Orbits of Hyperhypersimple Sets. Journal of Symbolic Logic 49 (1):51-62.
Sorry, there are not enough data points to plot this chart.
Added to index2010-08-10
Recent downloads (6 months)0
How can I increase my downloads?