Results 241 to 250 of about 2,818 (253)

A formal framework for specifying sequent calculus proof systems

Theoretical Computer Science, 2013
Dale Miller, Elaine Pimentel
exaly  

Approaches to Polymorphism in Classical Sequent Calculus

Lecture Notes in Computer Science, 2006
Alexander J Summers, Steffen Van Bakel, Van Bakel Steffen   +2 more
exaly  

Absorbing the structural rules in the sequent calculus with additional atomic rules

Archive for Mathematical Logic, 2019
Franco Parlamento
exaly  

Sequent calculus as a compiler intermediate language

ACM SIGPLAN Notices, 2016
Paul Downen, Zena M Ariola, Simon Peyton Jones   +2 more
exaly  

Herzberger’s Limit Rule with Labelled Sequent Calculus

Studia Logica, 2019
Andreas Fjellstad
exaly  

A sequent calculus for a logic of contingencies

Journal of Applied Logic, 2013
exaly  

Translations from natural deduction to sequent calculus

Mathematical Logic Quarterly, 2003
Jan Von Plato
exaly  

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus

Journal of Philosophical Logic, 2010
Peter Schroeder-Heister, Schroeder-Heister Peter   +1 more
exaly  

A coding method for a sequent calculus of propositional logic

Lithuanian Mathematical Journal, 2008
exaly  

A sequent calculus for circumscription

Lecture Notes in Computer Science, 2005
exaly