Pages that link to "Item:Q1685926"
From MaRDI portal
The following pages link to Multi-type display calculus for semi De Morgan logic (Q1685926):
Displaying 11 items.
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
