Search for dissertations about: "Tarmo Uustalu"
Found 2 swedish dissertations containing the words Tarmo Uustalu.
-
1. Natural deduction for intuitionistic least and greatest fixedpoint logics : with an application to program construction
Abstract : This thesis discusses intuitionistic least and greatest fixedpoint logics, i.e., intuitionistic systems of logic with primitive predicate-valued operators on predicate transformers that send monotone predicate transformers to their least and greatest fixedpoints, predicates being quasiordered by inclusion. READ MORE
-
2. General Metarules for Interactive Modular Construction of Natural Deduction Proofs
Abstract : This thesis proposes a set of general metarules for interactive modular construction of natural deduction proofs.Interactive proof support systems are used for the construction of formal proofs in formal program development. READ MORE