Fibring Logics with Topos Semantics

DOI10.1093/LOGCOM/13.4.595zbMATH Open1034.03015OpenAlexW2016979877MaRDI QIDQ4434616FDOQ4434616

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

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

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)

Cited In (11)

• Fibring non-truth-functional logics: Completeness preservation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fibring: Completeness preservation
• Fibring Modal First-Order Logics: Completeness Preservation
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• A survey on categories of logics and algebraizable logics
• On Graph-theoretic Fibring of Logics

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)