NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 5 of 5 for “"Symbolic and mathematical"”.

  1. Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics

    Lavers, Peter Stanley1985

    adelaide Repository record

  2. A partial "squeezing theorem" for a particular class of many-valued logics

    Walk, Stephen Michael1994

    1 PDF file (v, 98 pages)

    northern-iowa Repository record

  3. An analysis and implementation of linear derivation strategies

    Tabada, Winston M.Edith Cowan University, Research Online, Perth, Western Australia1991

    … (iv) SL -resolution, (v) the GC procedure, and (vi) SLM. The analysis is focused on the different restrictions and operations employed in each derivation strategy. The selection function, restrictive ancestor resolution, compulsory ancestor resolution on literals having atoms which are or …

    edithcowan Repository record

  4. Godel's incompleteness theorems

    Dickson, Jessica

    … or inconsistency? Kurt Godel shocked the mathematical community in 1931 when he proved any effectively generated, sufficiently complex, and sound axiomatic system could not be both consistent and complete. This thesis will explore two formal languages of logic and their associated …

    eastern-wash Repository record

  5. Describing mathematics without revision: Wittgenstein's radical constructivism

    Ladeira, Thiago, University of Lethbridge. Faculty of Arts and Science2020

    lethbridge