From fibring to cryptofibring. A solution to the collapsing problem

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

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

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

Related Items (8)

JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ Title not available (Why is that?) ⋮ A survey on categories of logics and algebraizable logics ⋮ Another combination of classical and intuitionistic conditionals ⋮ Combining fragments of classical logic: when are interaction principles needed? ⋮ Breaking and Fixing Cryptophia’s Short Combiner

Recommendations

• Title not available (Why is that?) 👍 👎
• From cryptomania to obfustopia through secret-key functional encryption 👍 👎
• The End of Crypto 👍 👎
• From Cryptomania to Obfustopia Through Secret-Key Functional Encryption 👍 👎
• CHAOS IN CRYPTOGRAPHY: THE ESCAPE FROM THE STRANGE ATTRACTOR 👍 👎
• Modulated fibring and the collapsing problem 👍 👎
• FRACTAL MAGMAS AND PUBLIC-KEY CRYPTOGRAPHY 👍 👎
• Searching for Cryptology's Great Wreck 👍 👎
• Breaking and Fixing Cryptophia’s Short Combiner 👍 👎
• Recent Trends in Algebraic Development Techniques 👍 👎

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)