Global ETD Search

101	Logic and aesthetics in epistemology Payne, Mildred Rose January 1990 (has links) Typescript. / Thesis (Ph. D.)--University of Hawaii at Manoa, 1990. / Includes bibliographical references (leaves 290-303) / Microfiche. / xvii, 303 leaves, bound 29 cm Logic Logic, Symbolic and mathematical Aesthetics Knowledge, Theory of -- History
102	Closed set logic in categories / William James. James, William, 1968- January 1996 (has links) Bibliography: leaves 263-266. / v, 266 leaves ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis investigates two related aspects of a dualisation program for the intuitionist logic in categories. The dualisation program has as its end the presentation of closed set logic in place of the usual open set logic found in association with toposes. The study is concerned especially with Brouwerian algebras in categories as the duals of the usual Heyting algebras. Defines the notion of a sheaf over the closed sets of a topological space. Investigates the sheaves for their algebric properties in relation to base space topologies. / Thesis (Ph.D.)--University of Adelaide, Dept. of Philosophy, 1996 510.1 21 Logic, Symbolic and mathematical. Brouwerian algebras. Inconsistency (Logic)
103	Closed set logic in categories / William James. James, William, 1968- January 1996 (has links) Bibliography: leaves 263-266. / v, 266 leaves ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis investigates two related aspects of a dualisation program for the intuitionist logic in categories. The dualisation program has as its end the presentation of closed set logic in place of the usual open set logic found in association with toposes. The study is concerned especially with Brouwerian algebras in categories as the duals of the usual Heyting algebras. Defines the notion of a sheaf over the closed sets of a topological space. Investigates the sheaves for their algebric properties in relation to base space topologies. / Thesis (Ph.D.)--University of Adelaide, Dept. of Philosophy, 1996 510.1 21 Logic, Symbolic and mathematical. Brouwerian algebras. Inconsistency (Logic)
104	Syntactic characterization of propositional satisfiability Belov, Anton. January 2005 (has links) Thesis (M. Sc.)--York University, 2005. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 90-94). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004 & res_dat=xri:pqdiss & rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation & rft_dat=xri:pqdiss:MR11752.
105	Bisimulation quantifiers for modal logics / French, Timothy Noel. January 2006 (has links) Thesis (Ph.D.)--University of Western Australia, 2006.
106	An algorithm to quantify behavioural similarity between probabilistic systems / Sharma, Babita. January 2006 (has links) Thesis (M.Sc.)--York University, 2006. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 117-130). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MR29613
107	Wahrheit und Beweisbarkeit e. Unters. über d. Verhältnis von Denken u. Anschauung in d. Mathematik / Glöckl, Johann, January 1976 (has links) Habilitationsschrift--Bonn. / Includes bibliographical references (p. 93).
108	Wahrheit und Beweisbarkeit e. Unters. über d. Verhältnis von Denken u. Anschauung in d. Mathematik / Glöckl, Johann, January 1976 (has links) Habilitationsschrift--Bonn. / Includes bibliographical references (p. 93).
109	Meaning, generality, and rules : language and logic in the later Wittgenstein / Loomis, Eric John, January 1999 (has links) Thesis (Ph. D.)--University of Texas at Austin, 1999. / Vita. Includes bibliographical references (leaves 386-407). Available also in a digital version from Dissertation Abstracts.
110	Monadic bounded algebras : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Doctor of Philosophy in Mathematics / Akishev, Galym. January 2009 (has links) Thesis (Ph.D.)--Victoria University of Wellington, 2009. / Includes bibliographical references and index.

Search results