In this paper we focus on proof methods for conditional logics. We present US’, a goal-directed calculus for the basic normal conditional logic CK and its standard extensions ID, MP, and ID+MP. US’ is derived from some labelled sequent calculi, called SeqS’, and it is based on the notion of uniform proofs. We also introduce GoalDUCK, a simple implementation of US’ written in SICStus Prolog.
A Goal-Directed Calculus for Standard Conditional Logics
POZZATO, GIAN LUCA
2007-01-01
Abstract
In this paper we focus on proof methods for conditional logics. We present US’, a goal-directed calculus for the basic normal conditional logic CK and its standard extensions ID, MP, and ID+MP. US’ is derived from some labelled sequent calculi, called SeqS’, and it is based on the notion of uniform proofs. We also introduce GoalDUCK, a simple implementation of US’ written in SICStus Prolog.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
