Pages that link to "Item:Q1982008"
From MaRDI portal
The following pages link to Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008):
Displaying 13 items.
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- (Q4412860) (← links)
- Sequent Calculi for Intuitionistic Linear Logic with Strong Negation (Q4796512) (← links)
- Hypersequent Calculi for Godel Logics -- a Survey (Q4812316) (← links)
- Gentzen sequent calculi for some intuitionistic modal logics (Q5014057) (← links)
- Sequent and hypersequent calculi for abelian and łukasiewicz logics (Q5277732) (← links)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
- Computer Science Logic (Q5292654) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
