Equivalent universal Horn theories
General Algebraic Logic
(Sprache: Englisch)
The aim of this monograph is to introduce and study a general concept of equivalence between universal Horn theories that would cover on an equal formal basis both Mal'cev's concept of rational equivalence between implicational classes of abstract algebras...
Leider schon ausverkauft
versandkostenfrei
Buch
41.10 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Equivalent universal Horn theories “
Klappentext zu „Equivalent universal Horn theories “
The aim of this monograph is to introduce and study a general concept of equivalence between universal Horn theories that would cover on an equal formal basis both Mal'cev's concept of rational equivalence between implicational classes of abstract algebras and our more recent concept of definitional equivalence between finitary universal Horn theories without equality proposed and explored in one of our previous works. Starting from a formal definition quite naturally generalizing our conception of definitional equivalence, we then advance our generalized notion towards a Mal'cev-style categorical characterization of equivalence justifying our generalization. We also apply our general study to the issues of equivalential and algebraizable universal Horn theories. We also supply our general results with appropriate counterexamples showing that the former can not be strengthened. At last, we provide an example of a finite finitary infinitely algebraizable universal Horn theory thatjustifies involving infinitary logic within the context of General Algebraic Logic.
Bibliographische Angaben
- Autor: Alexej P. Pynko
- 2018, 92 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 6137323412
- ISBN-13: 9786137323410
Sprache:
Englisch
Kommentar zu "Equivalent universal Horn theories"
Schreiben Sie einen Kommentar zu "Equivalent universal Horn theories".
Kommentar verfassen