Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
From MaRDI portal
Publication:5460205
DOI10.1093/jigpal/jzm057zbMath1138.03011OpenAlexW2062673832MaRDI 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
Related Items (2)
This page was built for publication: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems