3 papers
cs.LO2017
A Logic of Blockchain Updates
Kai Brünnler, Dandolo Flumini, Thomas Studer
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchai…
cs.LO2010
Nested Sequents
Kai Brünnler
We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, suc…
math.LO2003
Locality for Classical Logic
Kai Bruennler
In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admis…