Pages that link to "Item:Q4812316"
From MaRDI portal
The following pages link to Hypersequent Calculi for Godel Logics -- a Survey (Q4812316):
Displaying 28 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Graph-based decision for Gödel-Dummett logics (Q877886) (← links)
- An analysis of Ruspini partitions in Gödel logic (Q962901) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- On the classification of first order Gödel logics (Q1616771) (← links)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- First-order Gödel logics (Q2370370) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- (Q5094116) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)