Pages that link to "Item:Q1778065"
From MaRDI portal
The following pages link to A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065):
Displaying 11 items.
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- A fuzzy proof theory (Q805267) (← links)
- \(L\)-fuzzy sets and isomorphic lattices: are all the ``new'' results really new? (Q1634480) (← links)
- Global intuitionistic analysis (Q1820781) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Proof of theorems in fuzzy logic based on structural resolution (Q2320255) (← links)
- First-order Gödel logics (Q2370370) (← links)
- Fuzzy Horn logic. I. Proof theory. (Q2580956) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- (Q4218100) (← links)
- The Semantic Completeness of a Global Intuitionistic Logic (Q4393167) (← links)