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 1 of 1 for “"Knotted axioms"”.
-
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL
… by <strong>����</strong>�� � the varieties of knotted residuated lattices. Examples of these knotted rules include integrality and contraction. The extension of �� by the rules corresponding to these two equations is equivalent to Gentzen’s original system �� for intuitionism. Apart from …