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

DOI10.1093/LOGCOM/EXW023zbMATH Open1444.03106OpenAlexW2479565181MaRDI QIDQ3133188FDOQ3133188

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

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

Mathematics Subject Classification ID

Combined logics (03B62)

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
• Title not available (Why is that?)
• Plug and Play Negations
• Locally tabular \(\neq \) 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)