An approach to Glivenko's theorem in algebraizable logics
type: Item
instance of: scholarly article
title: An approach to Glivenko's theorem in algebraizable logics
zbMATH Open document ID: 1147.03037
published in: Studia Logica
publication date: 2008-06-25T00:00:00Z
Mathematics Subject Classification ID: 03G99
Mathematics Subject Classification ID: 06F35
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 5292849
zbMATH Keywords: Glivenko's Theorem
zbMATH Keywords: quasivariety
zbMATH Keywords: algebraic semantics
zbMATH Keywords: equivalential deductive systems
zbMATH Keywords: algebraizable logic
zbMATH Keywords: compatible expansion
author: Antoni Torrens
MaRDI profile type: Publication
full work available at URL: s11225-008-9109-6
OpenAlex ID: W2078219202
cites work: Glivenko type theorems for intuitionistic modal logics
cites work: Q5532570
cites work: Algebraizable logics
cites work: Varieties of commutative residuated integral pomonoids and their residuation subreducts
cites work: Q3934450
cites work: Free algebras in varieties of BL-algebras with a Boolean retract.
cites work: Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
cites work: Glivenko like theorems in natural expansions of BCK-logic
cites work: Protoalgebraic logics
cites work: Q4715441
cites work: Pseudo-complements in semi-lattices
cites work: Glivenko theorems for substructural logics over FL
cites work: Q4200260
cites work: Q3268305
cites work: Theory of logical calculi. Basic theory of consequence operations
DOI: 10.1007/S11225-008-9109-6
description: scientific article; zbMATH DE number 5292849