Pages that link to "Item:Q776990"

The following pages link to On semiconic idempotent commutative residuated lattices (Q776990):

Displaying 2 items.

• Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
• Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)