4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 4 cited
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Stéphane Jean Eric Lengrand, Roy Dyckhoff, James McKinna
Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies gene…
cs.LO2009
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Mehrnoosh Sadrzadeh, Roy Dyckhoff
We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure oper…