Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Work
Year: 1999
Type: article
Abstract: We get cut-free sequent calculi for the interpolable propositional intermediate logics by translating suitable duplication-free tableau calculi developed within a semantical framework. From this point... more
Source: Logic Journal of IGPL
Author Alessandro Avellone
Institution University of Milan
Cites:
Cited by: 55
Related to: 10
FWCI: 6.044
Citation percentile (by year/subfield): 91.59
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze