Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
Work
Year: 2007
Type: article
Abstract: Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in ... more
Source: Logic Journal of IGPL
Cites: 20
Cited by: 5
Related to: 10
FWCI: 0.847
Citation percentile (by year/subfield): 80.19
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green