Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Brünnler, Kai"'
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model
Externí odkaz:
http://arxiv.org/abs/1707.01766
Autor:
Brünnler, Kai
In this thesis we see deductive systems for classical propositional and predicate logic which use deep inference, i.e. inference rules apply arbitrarily deep inside formulas, and a certain symmetry, which provides an involution on derivations. Like s
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A24265
https://tud.qucosa.de/api/qucosa%3A24265/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A24265/attachment/ATT-0/
Autor:
Brünnler, Kai
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, such as the display calculus and labelled sequents, nested sequents stay
Externí odkaz:
http://arxiv.org/abs/1004.1845
Autor:
Bruennler, Kai
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 admissible. In addition, they enjoy a top-down symmetry and some normal for
Externí odkaz:
http://arxiv.org/abs/math/0301317
Autor:
Bruennler, Kai, Guglielmi, Alessio
In this note we will show how to get consistency for first order classical logic, in a purely syntactic way, without going through cut elimination. The procedure is very simple and it uses the calculus of structures in an essential way. It also shows
Externí odkaz:
http://arxiv.org/abs/math/0210387
Autor:
Brünnler, Kai, Studer, Thomas ⁎
Publikováno v:
In Annals of Pure and Applied Logic December 2012 163(12):1838-1853
Autor:
Brünnler, Kai
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2006 Feb 01. 82(1), 51-71.
Externí odkaz:
https://www.jstor.org/stable/20016767
Autor:
Brünnler, Kai, Studer, Thomas
Publikováno v:
In Electronic Notes in Theoretical Computer Science 25 March 2009 231:227-240
Autor:
Brünnler, Kai a, ⁎, Lange, Martin b
Publikováno v:
In Journal of Logic and Algebraic Programming 2008 76(2):216-225