Results 261 to 270 of about 136,655 (280)
Some of the next articles are maybe not open access.
Yet Another Bijection Between Sequent Calculus and Natural Deduction
Electronic Notes in Theoretical Computer Science, 2015Gilles Dowek +2 more
exaly
A Simple Sequent Calculus for Angell’s Logic of Analytic Containment
Studia Logica, 2017Rohan French
exaly
A formal framework for specifying sequent calculus proof systems
Theoretical Computer Science, 2013Elaine Pimentel, Dale Allen Miller
exaly
The sequent calculus for the modal logic \(D\)
1993The modal propositional logic \(D\) is formalized in the Gentzen style sequent calculus and the cut-elimination theorem is proved. Several fundamental properties, such as interpolation lemma, finite model property, and decidability, are obtained. It seems likely, however, that this formalization and these applications have already been pretty well ...
openaire +2 more sources
Absorbing the structural rules in the sequent calculus with additional atomic rules
Archive for Mathematical Logic, 2019Franco PARLAMENTO
exaly
The Sequent Calculus of Skew Monoidal Categories
Electronic Notes in Theoretical Computer Science, 2018Tarmo Uustalu +2 more
exaly
Sequent calculus as a compiler intermediate language
ACM SIGPLAN Notices, 2016Simon Peyton Jones +2 more
exaly