The following pages link to (Q5727650):
Displaying 4 items.
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness (Q2026740) (← links)
- Dummett Logic, Irreflexive Modality and Novikov Completeness (Q5214742) (← links)