Pages that link to "Item:Q5262474"
From MaRDI portal
The following pages link to Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (Q5262474):
Displayed 4 items.
- On the classification of first order Gödel logics (Q1616771) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)