Almost structural completeness; an algebraic approach

Wojciech Dzik; Michał Stronkowski

doi:10.29007/59qg

Download PDF Open PDF in browser

Almost structural completeness; an algebraic approach

3 pages•Published: July 28, 2014

Wojciech Dzik and Michal Stronkowski

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_an,
  author    = {Wojciech Dzik and Micha\{\textbackslash{}l\} 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},
  pages     = {61--63},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1cpT},
  doi       = {10.29007/59qg}}

Download PDF Open PDF in browser