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 5 items.
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- \(L\)-fuzzy sets and isomorphic lattices: are all the ``new'' results really new? (Q1634480) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- First-order Gödel logics (Q2370370) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
