Material implications in lattice effect algebras
type: Item
instance of: scholarly article
title: Material implications in lattice effect algebras
zbMATH Open document ID: 1437.06009
author: R. A. Borzooei
author: Anatolij Dvurečenskij
author: Amir Hossein Sharafi
published in: Information Sciences
publication date: 2020-07-20T00:00:00Z
Mathematics Subject Classification ID: 06C15
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 81P10
zbMATH DE Number: 7222668
zbMATH Keywords: lattice effect algebra
zbMATH Keywords: pt-implication
zbMATH Keywords: Sasaki arrow
zbMATH Keywords: fuzzy implication
zbMATH Keywords: partial t-norm
MaRDI profile type: Publication
full work available at URL: j.ins.2017.12.049
OpenAlex ID: W2777785099
cites work: (S,N)-Implications on Bounded Lattices
cites work: Q3222894
cites work: Commutative basic algebras and non-associative fuzzy logics
cites work: Every effect algebra can be made into a total algebra
cites work: Effect algebras are conditionally residuated structures
cites work: Basic algebras, logics, trends and applications
cites work: A note on residuated po-groupoids and lattices with antitone involutions
cites work: Residuation in orthomodular lattices
cites work: Reasoning in quantum theory. Sharp and unsharp quantum logics.
cites work: Q2762622
cites work: Atomic effect algebras with the Riesz decomposition property
cites work: Effect algebras and unsharp quantum logics.
cites work: Filters and supports in orthoalgebras
cites work: Logical connectives on lattice effect algebras
cites work: Q4404861
cites work: Stalnaker conditionals and quantum logic
cites work: An axiom system for orthomodular quantum logic
cites work: Material implications in orthomodular (and Boolean) lattices
cites work: Implication connectives in orthomodular lattices
cites work: Q5537293
cites work: Residuated lattices and lattice effect algebras
DOI: 10.1016/J.INS.2017.12.049
description: scientific article; zbMATH DE number 7222668