Pages that link to "Item:Q2695352"
From MaRDI portal
The following pages link to Some modal and temporal translations of generalized basic logic (Q2695352):
Displaying 5 items.
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
- Some modal and temporal translations of generalized basic logic (Q6369949) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)