Pages that link to "Item:Q1982008"
From MaRDI portal
The following pages link to Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008):
Displayed 4 items.
- 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)