<div class="csl-bib-body">
<div class="csl-entry">Kuznets, R. (2024, January 17). <i>What Proof Theory Can Do for You</i> [Presentation]. Seminar on Applied Mathematical Logic 2024, Prague, Czechia.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/193705
-
dc.description.abstract
Although the prime object of study for structural proof theory is proof calculi (especially analytic ones), it has many applications to important logical properties, such as conservativity, consistency, decidability, complexity, interpolation, etc. In my talk, I will present some recent successes in solving long-time open problems by proof-theoretic means, including the Lyndon interpolation property for Gödel logic (intermediate logic of linear frames) and the decidability of (bimodal) intuitionistic S4.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.subject
structural proof theory
en
dc.subject
decidability
en
dc.subject
complexity
en
dc.subject
interpolation
en
dc.title
What Proof Theory Can Do for You
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
P 33600-N
-
dc.type.category
Presentation
-
tuw.project.title
Reasoning about Knowledge in Byzantine Distributed Systems
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
tuw.author.orcid
0000-0001-5894-8724
-
tuw.event.name
Seminar on Applied Mathematical Logic 2024
en
tuw.event.startdate
17-01-2024
-
tuw.event.enddate
17-01-2024
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Prague
-
tuw.event.country
CZ
-
tuw.event.institution
Institute of Computer Science, Czech Academy of Sciences
-
tuw.event.presenter
Kuznets, Roman
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.fulltext
no Fulltext
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
item.openairetype
conference presentation
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
P 33600-N
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems