On the characterization of fibred logics, with applications to conservativity and finite-valuedness

DOI10.1093/LOGCOM/EXW023MaRDI QIDQ3133188zbMATH OpenOpenAlexFDO

Authors Sérgio Marcelino, Carlos Caleiro

Publication date 13 February 2018

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

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

Mathematics Subject Classification ID

Combined logics (03B62)

Recommendations

• Decidability and complexity of fibred logics without shared connectives
• Fibring: Completeness preservation
• scientific article; zbMATH DE number 1140670
• Fibring of logics as a categorial construction
• Preservation of Interpolation Features by Fibring

Cited in

(9)

• Computational properties of partial non-deterministic matrices and their logics
• Proof search on bilateralist judgments over non-deterministic semantics
• Decidability and complexity of fibred logics without shared connectives
• scientific article; zbMATH DE number 1341541 (Why is no real title available?)
• Plug and Play Negations
• Locally tabular locally finite
• Disjoint fibring of non-deterministic matrices
• Deciding theoremhood in fibered logics without shared connectives
• Combining fragments of classical logic: when are interaction principles needed?

This page was built for publication: On the characterization of fibred logics, with applications to conservativity and finite-valuedness

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