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 “"Relevance logic"”.
-
Modal and Relevance Logics for Qualitative Spatial Reasoning
… mereology. (b) the second aspect focuses on topological nature, i.e., whether they are in ”contact” without having a common part. Mereotopology is a mathematical theory that covers these two aspects. The theoretical aspect of this thesis is to use classical propositional logic with non-classical …
-
Categories of Residuated Lattices
… of Dunn's binary Kripke-style semantics for the relevance logic R-mingle.</p>