Pages that link to "Item:Q4393167"
From MaRDI portal
The following pages link to The Semantic Completeness of a Global Intuitionistic Logic (Q4393167):
Displaying 5 items.
- The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics (Q1078165) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- Completeness of global intuitionistic set theory (Q4358052) (← links)
- (Q4731165) (← links)
- Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic (Q6058202) (← links)