From fibring to cryptofibring. A solution to the collapsing problem

DOI10.1007/S11787-006-0004-5MaRDI QIDQ874748zbMATH OpenOpenAlexFDO

Authors Carlos Caleiro, Jaime Ramos

Publication date 10 April 2007

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-006-0004-5

zbMATH Keywords

conservative extensioncombining logicscryptofibred semanticsfibringsemantic collapse

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Categorical logic, topoi (03G30)

Recommendations

• Modulated fibring and the collapsing problem
• scientific article; zbMATH DE number 5828491
• The End of Crypto
• Fractal magmas and public-key cryptography
• From cryptomania to obfustopia through secret-key functional encryption
• From cryptomania to obfustopia through secret-key functional encryption
• Searching for Cryptology's Great Wreck
• Recent Trends in Algebraic Development Techniques
• Breaking and Fixing Cryptophia’s Short Combiner
• CHAOS IN CRYPTOGRAPHY: THE ESCAPE FROM THE STRANGE ATTRACTOR

Cited in

(9)

• Another combination of classical and intuitionistic conditionals
• Cardinality reduction theorem for logics QHC and QH4
• Breaking and Fixing Cryptophia’s Short Combiner
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• Modulated fibring and the collapsing problem
• Juxtaposition: a new way to combine logics
• Deciding theoremhood in fibered logics without shared connectives
• A survey on categories of logics and algebraizable logics
• Combining fragments of classical logic: when are interaction principles needed?

This page was built for publication: From fibring to cryptofibring. A solution to the collapsing problem

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