Almost structural completeness; an algebraic approach

3 pages•Published: July 28, 2014

Abstract

The notion of structural completeness has received considerable attention for many years. A translating to algebra gives: a quasivariety is structurally complete if it is generated by its free algebras. It appears that many deductive systems (quasivarieties), like S5 or MV<sub>n</sub> fails structural completeness for a rather immaterial reason. Therefore the adjusted notion was introduced: almost structural completeness. We investigate almost structural completeness from an algebraic perspective and obtain a characterization of this notion for quasivarieties.

Keyphrases: almost structural completeness, equationally definable principal relative congruences, finite model property, quasivarieties

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 61-63.

Links:	https://easychair.org/publications/paper/1cpT
	https://doi.org/10.29007/59qg

BibTeX entry

@inproceedings{TACL2013:Almost_structural_completeness;_algebraic,
  author    = {Wojciech Dzik and Michał Stronkowski},
  title     = {Almost structural completeness; an algebraic approach},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/1cpT},
  doi       = {10.29007/59qg},
  pages     = {61-63},
  year      = {2014}}

Download PDF Open PDF in browser