We investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method.
Fibred Tableaux for multi-implication logics
D'AGOSTINO, Marcello;
1996
Abstract
We investigate the notion of fibred tableaux which naturally arises from the idea of fibred semantics. Different implication operators peacefully cohabit and co-operate within the same labelled tableau method.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
