Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings von Dyckhoff, Roy

Volltext

Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings von Dyckhoff, Roy

Volltext

Proof-theoretic semantics for a natural language fragment von Francez, Nissim, Dyckhoff, Roy

Volltext

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings von Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter

Volltext

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS von DYCKHOFF, ROY

Volltext

CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION von DYCKHOFF, ROY

Volltext

GEOMETRISATION OF FIRST-ORDER LOGIC von DYCKHOFF, ROY, NEGRI, SARA

Volltext

Proof-Theoretic Semantics for Subsentential Phrases von Francez, Nissim, Dyckhoff, Roy, Ben-Avi, Gilad

Volltext

Analyticity, Balance and Non-admissibility of "Cut" in Stoic Logic von Bobzien, Susanne, Dyckhoff, Roy

Volltext

Analyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic von Bobzien, Susanne, Dyckhoff, Roy

Volltext

A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding von Dyckhoff, Roy, Negri, Sara

Volltext

Proof analysis in intermediate logics von Dyckhoff, Roy, Negri, Sara

Volltext

A Note on Harmony von Francez, Nissim, Dyckhoff, Roy

Volltext

Proof-Theoretic Semantics for a Natural Language Fragment von Francez, Nissim, Dyckhoff, Roy

Volltext

Invited Talk: Coherentisation of First-Order Logic von Dyckhoff, Roy

Volltext

Decision methods for linearly ordered Heyting algebras von Dyckhoff, Roy, Negri, Sara

Volltext

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems von Lengrand, Stéphane Jean Eric, Dyckhoff, Roy, McKinna, James

Volltext

Some Remarks on Proof-Theoretic Semantics

Volltext

Dual Intuitionistic Logic Revisited von GORE, R

Volltext

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators von Dyckhoff, Roy, Sadrzadeh, Mehrnoosh, Truffaut, Julien

Volltext