Vítáme Vás, můžete se přihlásit nebo vytvořit účet.

Cart

product (empty)

Košík je prázdný

Zboží celkem: 0 Kč

Termín obdržení zásilky
Česká pošta	Středa 15.04
PPL	Středa 15.04
Osobní odběr	Čtvrtek 16.04
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Interpretations and extensions of many-sorted Universal Horn theories

22 %

1875 Kč 2 409 Kč

Sleva až 70% u třetiny knih

Popis knihy

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 calculi 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.