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 10 of 10 for “"intuitionistic logic"”.
-
Proof search issues in some non-classical logics
… in both these senses for some non-classical logics. Gentzen systems are well suited for use in proof search in both senses. The rules of Gentzen sequent calculi are such that implementations can be directed by the top level syntax of sequents, unlike other logical calculi such as natural …
-
Algebraic aspects of propositional logic
… between abstract algebra and propositional logic. We start by considering the category Bool of Boolean algebras, the algebraic counterpart of classical propositional logic. We provide an algebraic definition of theories and models of classical logic and provide algebraic algorithms to …
-
Three Essays in Intuitionistic Epistemology
… present three papers studying knowledge and its logic from an intuitionistic viewpoint.</p> <p><em>An Arithmetic Interpretation of Intuitionistic Verification</em></p> <p>Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK …
-
Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics
… to the negation operators found in classical logic, quantum logic and some versions of three-valued logic--logics I refer to an 'valent' logics. In particular, each of these operators adheres to the following three constraints: (1) A proposition and its negation cannot intersect in a …
-
Qualitative Spatial Reasoning With Super-Intuitionistic Logics
… mereotopology, encodings based on non-classical logics are some of the possible answers that have emerged in connection with this problem. The present analysis is based on the well-known topological semantics of intuitionistic logic. That semantics is considered here from the point of view of the …
-
Coordination and concord in generalized categorial grammar
… (1958), in a formulation of the implicational intuitionistic logic using sequents developed by Gentzen (1935). Various extensions to the theory are explored, along with discussions of their necessity. The thesis is proposed and defended that much of the confusion over the interaction of …
-
Semantic and Mathematical Foundations for Intuitionism
… concerns the proper foundation for the intuitionistic mathematics whose development began with L.E.J. Brouwer's work in the first half of the 20th Century. It is taken for granted by most philosophers, logicians, and mathematicians interested in foundational questions that intuitionistic …
-
Frontiers of Conditional Logic
<p>Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the …
-
Truthmaker and negation: Investigations of nonbeing, negative events, and counterfactual conditionals
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2025-12-01
-
Second Order Logic and Logical Form
… several related issues surrounding second order logic. The central problem running throughout is whether second order logic should provide the underlying logic for formalizations of natural language. A prior problem is determining the significance of this choice. Such controversies over the …