Pages that link to "Item:Q2987743"
From MaRDI portal
The following pages link to Neighborhood Semantics for Basic and Intuitionistic Logic (Q2987743):
Displaying 12 items.
- Algebraic neighbourhood logic (Q929966) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- (Q3177929) (← links)
- NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS (Q3395331) (← links)
- Completeness of neighbourhood logic (Q4487260) (← links)
- (Q4639912) (← links)
- (Q4903799) (← links)
- Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic (Q5126193) (← links)
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)
- Infinitary logic with infinite sequents: syntactic investigations (Q6561653) (← links)
- Subintuitionistic logics and their modal companions: a nested approach (Q6650729) (← links)