Fibring Labelled Deduction Systems

DOI10.1093/LOGCOM/12.3.443MaRDI QIDQ4542941zbMATH OpenOpenAlexFDO

Authors Luca Viganò, João Rasga, Amílcar Sernadas, Cristina Sernadas

Publication date 29 May 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

category theorynatural deductionlabelled deductive systemsgeneral semanticsfibring of logics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Categorical logic, topoi (03G30)

Recommendations

• Fibring of logics as a categorial construction
• Fibring: Completeness preservation
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• scientific article; zbMATH DE number 1219632
• Analysis and synthesis of logics. How to cut and paste reasoning systems

Cited in

(7)

• Hybridizing a logical framework
• Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
• Deciding theoremhood in fibered logics without shared connectives
• Truth-values as labels: a general recipe for labelled deduction
• Fibring Modal First-Order Logics: Completeness Preservation
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 510780 (Why is no real title available?)

This page was built for publication: Fibring Labelled Deduction Systems

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