Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Nested sequent calculus (view)

searching for Sequent calculus 4 found (377 total)

Roger Maddux (182 words) [view diff] exact match in snippet view article find links to article

algebra connections". Retrieved 2007-03-03. Maddux, Roger (1983). "A sequent calculus for relation algebras". Annals of Pure and Applied Logic. 25: 73–101

Kleene Award (126 words) [view diff] exact match in snippet view article find links to article

completeness for the linear-time mu-calculus" 2018 Étienne Miquey "A sequent calculus with dependent types for classical arithmetic" 2019 Renaud Vilmart

Andrzej Grzegorczyk (2,886 words) [view diff] case mismatch in snippet view article find links to article

111–117 Fiorentini, Camillo; Miglioli, Pierangelo (1999): A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications

Refocusing (semantics) (2,786 words) [view diff] exact match in snippet view article

type checking via evaluation, for deriving a classical call-by-need sequent calculus, for deriving interpretations of the gradually-typed lambda calculus