Avellone, A., Ferrari, M., Miglioli, P., Moscato, U. (1998). A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic. In Proceedings of the 7th International Conference on Theorem Proving with Analytic Tableaux and Related Methods (pp.1-18). Tiburg : University of Tilburg.
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic
AVELLONE, ALESSANDRO;MOSCATO, UGO EMANUELE
1998
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.