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 “"Finite embeddability property"”.
-
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL
… nature.</p> <p>Results in [17] establish the <em>finite model property</em> (FMP) for the implicational fragment of ��<sub>�</sub> extended by some knotted rules. The<em> finite embeddability property</em> (FEP) is known to hold for commutative ��^�_� (�� = ��); the <em>strong finite model …
-
Unilinear Residuated Lattices
… residuated lattices are studied and amalgamation property and strong amalgamation properties are proved or disproved, depending on if there are extra constants in the language. We give two general constructions of ⊤-unital unilinear residuated lattices, provide an axiomatization and a …