title
Intuitsionistliku lauseloogika tõestuste otsingu ja kontramudelite ehitamise formaalne verifitseerimine
Formal Verification of Proof Search and Countermodel Construction for Intuitionistic Propositional Logic
author
Nõojärv, Liisi
keywords
intuitsionistlik loogika
tõestusotsing
sekventsiarvutus
tõestusassistendid
magistritööd
intuitionistic logic
proof search
sequent calculus
proof assistants
masters theses
supervisor
Uustalu, Tarmo
study program
Informaatika
Computer Science
defence date
05.06.2026
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
infotehnoloogia teaduskond
School of Information Technologies
department / college
tarkvarateaduse instituut
Department of Software Science