Pages that link to "Item:Q1239314"
From MaRDI portal
The following pages link to Model theory for an extension of intuitionistic logic (Q1239314):
Displaying 5 items.
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Semantic characterization of certain sets of intuitionistic logical connectives (Q584240) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)