We present a comprehensive programme analysing the decomposition of proof systems for
non-classical logics into proof systems for other logics, especially classical logic, using an …

Logic is the study of reasoning. Typically, it proceeds in terms of inferring a conclusion from
established premises. The systematic use of symbolic and mathematical techniques to …

We propose a setting in which the search for a proof of B or a refutation of B (a proof of not B)
can be carried out simultaneously. In contrast with the usual approach in automated …

We describe an ongoing project in which we attempt to describe a neutral approach to proof
and refutation. In particular, we present a language of neutral expressions which contains …

Girard [1] introduced Ludics as an interactive theory aiming at overcoming the distinction
between syntax and semantics in logic. In this paper, we investigate how ludics could serve …

Denotational semantics of logic programming and its extensions (by allowing negation,
disjunctions, or both) have been studied thoroughly for many years. In 1998, a game …

Abstract The Curry-Howard correspondence connects Natural Deduction derivation with the
lambda-calculus. Predicates are types, derivations are terms. This supports reasoning from …

In this article an abstract framework for logic programming semantics is defined and various
known semantic approaches are placed within this framework. This way, semantics become …

In this thesis, we study denotational semantics (model-theoretic and game-theoretic) of four
logic programming languages:-LP which is the most restrictive one;-DLP which extends LP …

Proof theory and Computation are research areas which have very strong relationships: new
concepts in logic and proof theory often apply to the theory of programming languages. The …