Recovering a logic from its fragments by meta-fibring

DOI10.1007/s11787-007-0019-6zbMath1131.03005OpenAlexW1963888125MaRDI QIDQ2470765

Marcelo E. Coniglio

Publication date: 15 February 2008

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-007-0019-6

zbMATH Keywords

sequent calculifibringcombinations of logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22)

Related Items (4)

New dimensions on translations between logics ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Combining fragments of classical logic: when are interaction principles needed? ⋮ Homotopical Categories of Logics

This page was built for publication: Recovering a logic from its fragments by meta-fibring