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 20 of 31 for “"intuitionistic"”.
-
Three Essays in Intuitionistic Epistemology
… 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 semantics of …
-
Qualitative Spatial Reasoning With Super-Intuitionistic Logics
… based on the well-known topological semantics of intuitionistic logic. That semantics is considered here from the point of view of the representation of spatial knowledge, and accordingly extended, in order to allow more naturally the expression of simple topological descriptions. Special …
-
Intuitionistic fuzzy XML query matching and rewriting
… matching, the proposed approach makes use of Intuitionistic Fuzzy Trees to achieve approximate (soft) query matching. Through this new approach, not only the exact answer of a query, but also approximate answers are retrieved. Furthermore, partial results can be obtained from multiple data …
-
Independence and conservativity results for intuitionistic set theory
… here is to extend Lifschitz' realizability to intuitionistic Zermelo-Fraenkel set theory with two sorts, IZFN. In addition to separating Church's thesis with uniqueness condition from its general form in intuitionistic set theory, I also obtain several interesting corollaries. The …
-
Modal Connectives and Intuitionistic Modal Logic With Respect to the Kripke Model
Made available in DSpace on 2014-12-09T22:17:56Z (GMT). No. of bitstreams: 1 7021015.pdf: 1596014 bytes, checksum: 4c98f745e4e5d3a3eea82e30e7652473 (MD5) Previous issue date: 1970
-
Contributions for Handling Big Data Heterogeneity. Using Intuitionistic Fuzzy Set Theory and Similarity Measures for Classifying Heterogeneous Data
… Furthermore, a new similarity measure based on intuitionistic fuzzy set theory is proposed. The proposed measure is used to handle the heterogeneity and ambiguity within crisp and linguistic data. In addition, new combine similarity models are proposed which allow for a comparison between the …
-
Proof search issues in some non-classical logics
… In Chapter 2, permutation of inference rules for Intuitionistic Linear Logic is studied. A focusing calculus, ILLF, in the style of Andreoli ([And92]) is developed.This calculus allows only one proof in each equivalence class of proofs equivalent up to permutations of inferences. The issue here is …
-
Intuicionistinis kontinuumas /
… from many different perspectives. One of them is intuitionistic. The world's leading mathematicians and philosophers have developed and interpreted the concept of the intuitionistic continuum in order to prove their conjectures. This often philosophical activity is still carried out today because …
-
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 …
-
HOMOTOPY SETOIDS AND GENERALIZED QUOTIENT COMPLETION
… structures arising from the Martin-Löf Intuitionistic Type Theory. In the first part, we introduce the homotopy setoids, considering ideas from the homotopy type theory, and we study their categorical properties. In order to do that, we use the categorical framework of the elementary …
-
Algebraic aspects of propositional logic
… of Heyting algebras Heyt which corresponds to intuitionistic logic, and certain subvarieties of Heyt which correspond to intermediate logics. We then describe several algebraic varieties which correspond to theories of normal modal logic. Moreover, by considering free algebras and completeness …
-
Subexponentials in Nonassociative Lambek Calculus
… these results, we present two sets of rules, one intuitionistic and one classical, with the intention of capturing a broad subset of existing logics as fragments. We also prove equivalences of these systems in natural settings.
-
Frontiers of Conditional Logic
… studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and …
-
Logical representations for automated reasoning about spatial relationships
… relations into both the modal logic S4 and the intuitionistic propositional calculus are given. The complexity of reasoning using the intuitionistic representation is examined and a procedure is presented with is shown to be of O(n3) complexity in the number of relations involved. In order to …
-
The Grammar of Obligation: An Investigation of the Views of Four British Moralists
… naturalistic accounts of obligation and two give intuitionistic accounts; I argue that in all four cases the view in question is marred by confusion over the logic of moral terms (i.e. a misunderstanding of the nature of our moral language-games).
-
Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics
… operator, is decidable. Finally, I argue that intuitionistic logic does not contain an operator which meets the constraints outlined above, but that it does contain an operator which provides a different form of negation.
-
Second Order Logic and Logical Form
… The failure of the Law of the Excluded Middle in intuitionistic systems is the most common example. The other alternatives to first order logic accept it as a part of the truth, but extend it by adding new logical constants. Some modal systems of logic are formed by adding to first order logic a …
-
Quality in crowdsourced experience-based evaluations : handling subjective responses
… appraisal degrees and augmented (Atanassov) intuitionistic fuzzy sets are deemed to be the most important contributions of this dissertation.
-
A Possible and Necessary Consistency Proof
… proofs. The solution to this problem for an intuitionistic calculus is based on a normalization proof by Howard. The proof is performed in the manner of Gentzen, by giving a reduction procedure for derivations of falsity. In contrast to Gentzen's proof, the procedure contains a vector …
-
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 …
Page 1 of 2