… We start by defining defining the cryptofibring of deduction systems: the cryptofibring of D … We can finally define the notion of cryptofibring of logic systems. We assume given two logic …
… cryptofibring extends fibring in the sense that all fibred models are also cryptofibred models, but in general cryptofibring … logics that shows that their cryptofibring does not suffer from the …
G Voutsadakis - Advances and Applications in Mathematical …, 2014 - voutsadakis.com
… More specifically, on the former side, it is inspired by work of Caleiro and Ramos on cryptofibring… In the present work the method of cryptofibring is extended to cover these more …
… Cryptofibring was also analyzed in the context of parchments [CR04] and shown to overcome the difficulties found in model-theoretic parchments with respect to the logicallity condition …
C Caleiro, A Sernadas… - Universal Logic: An …, 2012 - sqig.math.tecnico.ulisboa.pt
… steps forward, like [44], but collapsing phenomena have highlighted defects that can only be circumvented by further developing the theory of modulated fibring and cryptofibring, where …
C Caleiro, J Ramos - International Workshop on Algebraic Development …, 2004 - Springer
… In [5], cryptofibring was proposed as an extension of fibring … However, cryptofibring presents a structurally simpler … Cryptofibring is characterized categorially as a special kind …
… Gabbay) and its recent extension, cryptofibring. We analyze relevant transference results and … show how it can be solved by adopting cryptofibring. Along the way, several open research …
… Gabbay) and its recent extension, cryptofibring. We analyze relevant transference results and … show how it can be solved by adopting cryptofibring. Along the way, several open research …
J Marcos - Proceedings of the Workshop on Combination of …, 2004 - math.tecnico.ulisboa.pt
This text aims at providing a bird’s eye view of possible-translations semantics ([10, 24]), defined, developed and illustrated as a very comprehensive formalism for obtaining or for …