Fibring Logics with Topos Semantics

DOI10.1093/LOGCOM/13.4.595MaRDI QIDQ4434616zbMATHOpenAlexFDO

Authors Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

Publication date 10 November 2003

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

Full work available at URL https://doi.org/10.1093/logcom/13.4.595

zbMATH Keywords

categorical logiccompletenessconservative extensioncombination of logicshigher-order modal logicfibring

Mathematics Subject Classification ID

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

Recommendations

• Fibring: Completeness preservation
• Fibring Modal First-Order Logics: Completeness Preservation
• Fibring of logics as a categorial construction
• Categorial fibring of logics with terms and binding operators
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics

Cited in

(11)

• scientific article; zbMATH DE number 500952 (Why is no real title available?)
• scientific article; zbMATH DE number 1931660 (Why is no real title available?)
• Fibring: Completeness preservation
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• Recovering a logic from its fragments by meta-fibring
• scientific article; zbMATH DE number 1341541 (Why is no real title available?)
• scientific article; zbMATH DE number 868086 (Why is no real title available?)
• On Graph-theoretic Fibring of Logics
• Fibring non-truth-functional logics: Completeness preservation
• A survey on categories of logics and algebraizable logics
• Fibring Modal First-Order Logics: Completeness Preservation

This page was built for publication: Fibring Logics with Topos Semantics

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