Reduced axioms for the propositional logics induced by basic algebras
type: Item
instance of: scholarly article
title: Reduced axioms for the propositional logics induced by basic algebras
zbMATH Open document ID: 1398.03214
author: Ivan Chajda
author: Miroslav Kolařík
published in: Soft Computing
publication date: 2018-10-22T00:00:00Z
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 06D35
zbMATH DE Number: 6960118
zbMATH Keywords: basic algebra
zbMATH Keywords: commutative basic algebra
zbMATH Keywords: orthomodular lattice
zbMATH Keywords: logic of quantum mechanics
zbMATH Keywords: axiom system
MaRDI profile type: Publication
full work available at URL: s00500-017-2628-1
OpenAlex ID: W2610226001
cites work: The logic of quantum mechanics
cites work: Algebraizable logics
cites work: Commutative basic algebras and non-associative fuzzy logics
cites work: Basic algebras, logics, trends and applications
cites work: The propositional logic induced by means of basic algebras
cites work: Many-valued quantum algebras
cites work: Independence of axiom system of basic algebras
cites work: The join of the variety of MV-algebras and the variety of orthomodular lattices
cites work: Q5767454
cites work: A short note on L_{CBA}---fuzzy logic with a non-associative conjunction
DOI: 10.1007/S00500-017-2628-1
description: scientific article; zbMATH DE number 6960118