Pages that link to "Item:Q2784584"
From MaRDI portal
The following pages link to A natural deduction system for intuitionistic fuzzy logic (Q2784584):
Displaying 4 items.
- Another proof of the strong completeness of the intuitionistic fuzzy logic (Q1099155) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
- Fuzzy natural deduction (Q3822147) (← links)