Fibring of logics as a categorial construction

DOI10.1093/logcom/9.2.149zbMath0942.03064OpenAlexW2060709836MaRDI QIDQ4242584

Cristina Sernadas, Carlos Caleiro, Amílcar Sernadas

Publication date: 23 August 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

coproductpropositional modal logiccategory of signaturescombination of logicsfibred semanticscoCartesian liftingfibring of logicslogic morphismpreservation of soundness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (18)

Stratified institutions and elementary homomorphisms ⋮ Categorical abstract algebraic logic: meet-combination of logical systems ⋮ An unexpected Boolean connective ⋮ Coproduct and amalgamation of deductive systems by means of ordered algebras ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ An NP-complete fragment of fibring logic ⋮ Fibring: completeness preservation ⋮ Distributed Modal Logic ⋮ A survey on categories of logics and algebraizable logics ⋮ Probabilization of logics: completeness and decidability ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ An institution-independent proof of the Beth definability theorem ⋮ Behavioral algebraization of logics ⋮ Modulated fibring and the collapsing problem ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ 2005–06 Winter Meeting of the Association for Symbolic Logic ⋮ Homotopical Categories of Logics

This page was built for publication: Fibring of logics as a categorial construction