Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

DOI10.1093/JIGPAL/JZM057MaRDI QIDQ5460205zbMATH OpenOpenAlexFDO

Authors Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas

Publication date 5 May 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b56c67216a1c05029abf9a6b16eb6643e5eb6763

zbMATH Keywords

abstract proof systemcombination of logicsconsequence systemsheterogeneous fibringpreservation

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• Fibring of logics as a categorial construction
• Fibring Labelled Deduction Systems
• Fibring: Completeness preservation
• Preservation of Interpolation Features by Fibring
• On Graph-theoretic Fibring of Logics

Cited in

(3)

• Juxtaposition: a new way to combine logics
• Monosequent proof systems
• Conservative translations revisited

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5460205)