Pages that link to "Item:Q1132866"
From MaRDI portal
The following pages link to New operations in intuitionistic calculus (Q1132866):
Displayed 4 items.
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- Dummett Logic, Irreflexive Modality and Novikov Completeness (Q5214742) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)