Discover open access scientific publications

Search, annotate, share and cite publications

Publications by ROY DYCKHOFF

Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction

Journal of Symbolic Logic
PhilosophyLogic
2018English

Geometrisation of First-Order Logic

Bulletin of Symbolic Logic
PhilosophyLogic
2015English

Related publications

Sequent Calculi for Beginners and Professionals

Logic and Logical Philosophy
Philosophy
2018English

Saturation Up to Redundancy for Tableau and Sequent Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Semantic Hierarchy for Intuitionistic Logic

Indagationes Mathematicae
Mathematics
2019English

Calculi for Disjunctive Logic Programming

1997English

Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Towards a Cut-Free Sequent Calculus for Boolean BI

English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy