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 2 of 2 for “"non-classical logic"”.

  1. A Non-Classical Solution To Vague Persistence

    … that this claim is based on an assumption of classical logic and that by rejecting this assumption in favor of a non-classical logic the objection is rendered mute. By revising our understanding of the identity relation to function on a continuum scale we can understand persistence as a scalar …

    mississippi Repository record for A Non-Classical Solution To Vague Persistence (opens in a new tab)

  2. TRACTABLE DEPTH-BOUNDED APPROXIMATIONS TO SOME PROPOSITIONAL LOGICS. TOWARDS MORE REALISTIC MODELS OF LOGICAL AGENTS.

    … of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic

    milano Repository record for TRACTABLE DEPTH-BOUNDED APPROXIMATIONS TO SOME PROPOSITIONAL LOGICS. TOWARDS MORE REALISTIC MODELS OF LOGICAL AGENTS. (opens in a new tab)