Pages that link to "Item:Q3934366"
From MaRDI portal
The following pages link to PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS (Q3934366):
Displaying 9 items.
- Paths to triviality (Q300832) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Soft linear set theory (Q941435) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- Light linear logic (Q1271560) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
