Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
From MaRDI portal
Publication:5460205
DOI10.1093/jigpal/jzm057zbMath1138.03011MaRDI QIDQ5460205
Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas
Publication date: 5 May 2008
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/b56c67216a1c05029abf9a6b16eb6643e5eb6763
preservation; combination of logics; consequence systems; abstract proof system; heterogeneous fibring
03B22: Abstract deductive systems
Related Items