Results 231 to 240 of about 2,818 (253)
Proof theory for locally finite many-valued logics: Semi-projective logics.
Theor Comput Sci, 2013 Ciabattoni A, Montagna F.
europepmc +1 more source
A calculus of multiary sequent terms
ACM Transactions on Computational Logic, 2011 Multiary sequent terms were originally introduced as a tool for proving termination of permutative conversions in cut-free sequent calculus. This work develops the language of multiary sequent terms into a term calculus for the computational (Curry ...
JOSÉ Espirito Santo, Luis Pinto
exaly +2 more sources
The Sequent Calculus of Skew Monoidal Categories [PDF]
Electronic Notes in Theoretical Computer Science, 2018 Szlachányi's skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural transformations in a particular direction.
Tarmo Uustalu +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Yet Another Bijection Between Sequent Calculus and Natural Deduction
Electronic Notes in Theoretical Computer Science, 2015Gilles Dowek, Edward Hermann Haeusler
exaly
A Simple Sequent Calculus for Angell’s Logic of Analytic Containment
Studia Logica, 2017Rohan French, French Rohan
exaly