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

paper
logic, ATP, proof theory
English
Theorem Proving with Analytic Tableaux and Related Methods
1998
Proceedings of the 7th International Conference on Theorem Proving with Analytic Tableaux and Related Methods
1998
1
18
none
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.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/340
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact