Automated Generation of Analytic Calculi for Logics with Linearity.

Agata Ciabattoni

Published in: CSL (2004)

Keyphrases

sequent calculi
fully automated
semi automated
expressive power
genetic algorithm
modal logic
data sets
artificial intelligence
social networks
website
data driven
computer aided
generation process