The design and the implementation of variable-free deduc tive frameworks (ultimately based on Tarski’s arithmetic of dyadic relations) for aggregate theories, strongly rely on the availability of suitable pairing notions. Thanks to a set-theoretical treatment of modalities, we show that even in the case of modal propositional logics, an appropriate pairing notion can be introduced and exploited in order to devise an alternative approach to modal deduction.
Uniform relational frameworks for modal inferences
FORMISANO, Andrea;
2004
Abstract
The design and the implementation of variable-free deduc tive frameworks (ultimately based on Tarski’s arithmetic of dyadic relations) for aggregate theories, strongly rely on the availability of suitable pairing notions. Thanks to a set-theoretical treatment of modalities, we show that even in the case of modal propositional logics, an appropriate pairing notion can be introduced and exploited in order to devise an alternative approach to modal deduction.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.