Fibring Labelled Deduction Systems

DOI10.1093/LOGCOM/12.3.443zbMATH Open1011.03002OpenAlexW2154319800MaRDI QIDQ4542941FDOQ4542941

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

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

zbMATH Keywords

category theorynatural deductionlabelled deductive systemsgeneral semanticsfibring of logics

Mathematics Subject Classification ID

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

Cited In (7)

• Truth-values as labels: a general recipe for labelled deduction
• Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
• Fibring Modal First-Order Logics: Completeness Preservation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybridizing a logical framework
• Deciding theoremhood in fibered logics without shared connectives

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)