Name: Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic (en Inglés)
SKU: 60061271
Price: 480274.00 COP
Availability: InStock
Author: Pynko, Alexej P.
ISBN: 9781794595545

portada Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic (en Inglés)

Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic (en Inglés)

Formato

Libro Físico

Autor

Alexej P. Pynko

Editorial

Independently Published

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.2x0.4 cm

Peso

0.12 kg.

ISBN13

9781794595545

Categorías

Álgebra

Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic (en Inglés)

Alexej P. Pynko (Autor) · Independently Published · Tapa Blanda

Libro Nuevo Importado

Envío: 18 a 24 días háb.

$ 960.549$ 480.274

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 480.274

¡Envío Gratis! Llega entre el 08 Oct y el 20 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic (en Inglés)"

Here, we introduce and study the concept of abstract sequent axiomatization of generalized logics based upon the concept of abstract derivation from absolutely free algebras to arbitrary ones. As a general result, we prove thatany logic having a deduction theorem has an equivalent abstract sequent axiomatization.Conversely, we prove that any algebraizable logic having an algebraizableabstract sequent axiomatization has a deduction theorem. As for sentential logics, we prove that any conjunctive self-extensional logic has an algebraizable abstract sequent axiomatization equivalent to the intrinsic variety of the logic.As a consequence, we prove that any algebraizable self-extensional conjunctivelogic has a deduction theorem. Finally, we explore several non-protoalgebraicsentential logics, each being proved to have an algebraizable abstract sequentaxiomatization equivalent to the intrinsic variety of the logic