Sentence examples for algebraic fibring from inspiring English sources

The relationship between fusion and algebraic fibring deserves some comments.

Algebraic fibring, to be described in Subsection 4.3, is a good example of this approach.

The collapse only happens when considering the algebraic fibring at the semantical level: in Caleiro and Ramos 2007 was shown that the collapse does not occur when computing the algebraic fibring of the respective Hilbert calculi.

For general accounts of algebraic fibring see, for instance, Caleiro et al. 2005 and Carnielli et al. 2008.

As we shall see below, this is not the case for algebraic fibring, unless a stronger notion of morphism between logics is adopted.

The fact that algebraic fibring generalizes (at least at the propositional level) the fusion of modal logics makes the former method become very natural and useful.

This is a remarkable advantage of the categorial perspective for fibring.

With respect to axiomatics, the logics obtained by fibring (or by a variant of fibring called dovetailing) can, in some cases, be axiomatized by the union of the (schema) axioms of the given logics.

As in the case of fusion and products, the mechanism of fibring also applies to modal logics only.

In order to overcome the limitations of the original method of fibring as exposed in the last subsection, A. Sernadas and collaborators propose, in Sernadas et al. 1999, a general definition of fibring using the conceptual tools of category theory.

Algebras transform via homomorphisms, leaving the algebraic structure invariant.