Interpretation versus equivalence of Universal Horn theories
Many-sorted infinitary Universal Horn Logic: uniform model theory for propositional calculi of Hilbert and Gentzen types
(Sprache: Englisch)
We elaborate a general theory of many-sorted algebraic structures as well as universal Horn theories both with and without equality on a uniform formal basis. We then study the issues of interpretability, equivalence, algebraic semantics, extensions,...
Leider schon ausverkauft
versandkostenfrei
Buch
87.90 €
43 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Interpretation versus equivalence of Universal Horn theories “
Klappentext zu „Interpretation versus equivalence of Universal Horn theories “
We elaborate a general theory of many-sorted algebraic structures as well as universal Horn theories both with and without equality on a uniform formal basis. We then study the issues of interpretability, equivalence, algebraic semantics, extensions, disjunctivity and deduction theorem within that general framework. We argue that not merely equivalence but equally interpretability properly retains extensions of Universal Horn theories. As a generic application, we develop a general theory of sequent calculi of various known kinds showing, among other things, existence of lattice-based algebraic semantics for any sequent calculus with basic structural rules (Enlargement, Permutation and Contraction). In addition, we apply our general elaboration to study many-valued paraconsistent logics (in particular, their maximal paraconsistency). Finally, we exemplify our general study by investigating certain propositional calculi of both Hilbert and Gentzen types.
Autoren-Porträt von Alexej P. Pynko
Pynko, Alexej P.Since 1984 to 1990 the author studied at a high school in Moscow graduated with honour.Since 1991 to 1993 he studied on postgraduate courses in Moscow.Since 1993 till now he has been working at the V.M. Glushkov Institute of Cybernetics in Kiev.In 2000 he got his PhD degree on Mathematical Logic at Taras Shevchenko Kiev National University.
Bibliographische Angaben
- Autor: Alexej P. Pynko
- 2018, 656 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 6139959918
- ISBN-13: 9786139959914
Sprache:
Englisch
Kommentar zu "Interpretation versus equivalence of Universal Horn theories"
0 Gebrauchte Artikel zu „Interpretation versus equivalence of Universal Horn theories“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Interpretation versus equivalence of Universal Horn theories".
Kommentar verfassen