Tableaux and Sequent Calculus for Minimal Entailment

Authors
N.Olivetti
Citation
N.olivetti, Tableaux and Sequent Calculus for Minimal Entailment, Journal of automated reasoning , 9(1), 1992, pp. 99-140
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
9
Issue
1
Year of publication
1992
Pages
99 - 140
Database
ACNP
SICI code