Object oriented protoconcepts and logics for double and pure double Boolean algebras
type: Item
instance of: scholarly article
title: Object oriented protoconcepts and logics for double and pure double Boolean algebras
DOI: 10.1007/978-3-030-52705-1_23
author: Prosenjit Howlader
author: Mohua Banerjee
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03G05
zbMATH DE Number: 7614612
MaRDI profile type: Publication
full work available at URL: 978-3-030-52705-1 23
OpenAlex ID: W3041787763
Recommended article: Q5201291
Recommended article: Algebras of semiconcepts and double Boolean algebras
Recommended article: Concept Lattices
Recommended article: Verification: Theory and Practice
Recommended article: Q4808814
Recommended article: Q2754049
Recommended article: Algebraic reasoning for object-oriented programming
Recommended article: An algebraic approach to formalization of object-orientation*
description: scientific article; zbMATH DE number 7614612