Glivenko like theorems in natural expansions of BCK-logic

The classical Glivenko theorem asserts that a prepositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK-logic with negation we understand an algebraizable logic whose language is an expansion of the language of...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cignoli, R., Torrell, A.T.
Formato: JOUR
Materias:
Algebraic semantics
Bounded BCK-algebra
Bounded BCK-logic
Bounded pocrim
Glivenko's theorem
Involutive BCK-algebra
Natural expansion of a logic
Natural expansion of a quasivariety
Regular element
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09425616_v50_n2_p111_Cignoli
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares