Pages that link to "Item:Q3117777"
From MaRDI portal
The following pages link to Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777):
Displaying 5 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
