Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

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

zbMATH Keywords

preservationcombination of logicsconsequence systemsabstract proof systemheterogeneous fibring

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (2)

JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Conservative translations revisited

This page was built for publication: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems