The following pages link to A family of Gödel hybrid logics (Q631082):
Displaying 4 items.
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)