The following pages link to (Q4890395):
Displaying 7 items.
- Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms'' (Q418158) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Correction to: ``\(Log_A \mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions'' (Q2029710) (← links)
- Correction to: ``A formalization of the Smith normal form in higher-order logic'' (Q2102951) (← links)
- Corrigendum and addendum to: ``\(L\)-algebras and three main non-classical logics'' (Q2111110) (← links)
- (Q3352995) (← links)
- Polyadic algebras with terms: A signature-free approach (Q5239106) (← links)
