From fibring to cryptofibring. A solution to the collapsing problem

DOI10.1007/S11787-006-0004-5zbMATH Open1116.03009OpenAlexW2063391155MaRDI QIDQ874748FDOQ874748

Jaime Ramos, Carlos Caleiro

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)

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
• Title not available (Why is that?)
• Deciding Theoremhood in Fibred Logics Without Shared Connectives
• Modulated fibring and the collapsing problem
• A survey on categories of logics and algebraizable logics
• Combining fragments of classical logic: when are interaction principles needed?
• JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS

   Recommendations

• Modulated fibring and the collapsing problem 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)