Zobrazeno 1 - 10
of 243 064
pro vyhledávání: '"Sequent"'
Autor:
Lyon, Tim S.
We demonstrate the inter-translatability of proofs between the most prominent sequent-based formalisms for G\"odel-L\"ob provability logic. In particular, we consider Sambin and Valentini's sequent system GLseq, Shamkanov's non-wellfounded and cyclic
Externí odkaz:
http://arxiv.org/abs/2410.24053
This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility of the cu
Externí odkaz:
http://arxiv.org/abs/2410.20425
Autor:
Accattoli, Beniamino
Existing Curry-Howard interpretations of call-by-value evaluation for the $\lambda$-calculus are either based on ad-hoc modifications of intuitionistic proof systems or involve additional logical concepts such as classical logic or linear logic, desp
Externí odkaz:
http://arxiv.org/abs/2409.19722
Autor:
Lyon, Tim S.
We define and study translations between the maximal class of analytic display calculi for tense logics and labeled sequent calculi, thus solving an open problem about the translatability of proofs between the two formalisms. In particular, we provid
Externí odkaz:
http://arxiv.org/abs/2406.19882
The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The {\lambda}{\mu}{\mu}-calculus is a term assignment system for the sequent calculus and a great foundation for compiler intermediate lan
Externí odkaz:
http://arxiv.org/abs/2406.14719
Group polarization, the phenomenon where individuals become more extreme after interacting, has been gaining attention, especially with the rise of social media shaping people's opinions. Recent interest has emerged in formal reasoning about group po
Externí odkaz:
http://arxiv.org/abs/2405.01322
Autor:
Parlamento, Franco, Previale, Flavio
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi with rules fo
Externí odkaz:
http://arxiv.org/abs/2403.06887
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Płaczek, Paweł1 pawel.placzek@poznan.merito.pl
Publikováno v:
Bulletin of the Section of Logic. Jun2024, Vol. 53 Issue 2, p245-274. 30p.
Autor:
Kooi, Barteld1 (AUTHOR) b.p.kooi@rug.nl, Tamminga, Allard2 (AUTHOR)
Publikováno v:
Journal of Philosophical Logic. Apr2023, Vol. 52 Issue 2, p495-518. 24p.