Sökning: "Tarmo Uustalu"

Hittade 2 avhandlingar innehållade orden Tarmo Uustalu.

1. 1. Natural deduction for intuitionistic least and greatest fixedpoint logics : with an application to program construction

   Författare :Tarmo Uustalu; KTH; []
   Nyckelord :;

   Sammanfattning : 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. LÄS MER

3. 2. General Metarules for Interactive Modular Construction of Natural Deduction Proofs

   Författare :Agneta Eriksson-Granskog; Tarmo Uustalu; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer and Systems Sciences; data- och systemvetenskap;

   Sammanfattning : 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. LÄS MER