Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics

Anupam Das, Iris van der Giessen, Sonia Marin

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

74 Downloads (Pure)

1 results

Filter

Active
Structure vs. Invariants in Proofs (StrIP)
Das, A.
Medical Research Council
1/05/20 → 31/07/24
Project: Research Councils