Kleene algebra of partial predicates
type: Item
instance of: scholarly article
title: Kleene algebra of partial predicates
zbMATH Open document ID: 1401.03106
author: Artur Korniłowicz
author: Ievgen Ivanov
author: M. S. Nikitchenko
published in: Formalized Mathematics
publication date: 2018-10-17T00:00:00Z
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6957522
zbMATH Keywords: partial predicate
zbMATH Keywords: Kleene algebra
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2018-0002
OpenAlex ID: W2887573833
cites work: Q4083730
cites work: Q4308745
cites work: Caracterisation des algèbres de Nelson par des egalités, I
cites work: Injective de Morgan and Kleene Algebras
cites work: Q4003057
cites work: Q5639639
cites work: Q5584402
cites work: Robbins algebras vs. Boolean algebras
cites work: An axiomatic basis for computer programming
cites work: On Representations of Abstract Systems with Partial Inputs and Outputs
cites work: On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
cites work: Event-based proof of the mutual exclusion property of Peterson's algorithm
cites work: Proving properties of programs on hierarchical nominative data
cites work: Lattices With Involution
cites work: Q5812175
cites work: Simple-named complex-valued nominative data -- definition and basic operations
cites work: Implementation of the composition-nominative approach to program formalization in Mizar
cites work: Q3358736
cites work: Q4348820
cites work: Q3842697
cites work: Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
cites work: Q5365463
cites work: An algebraic approach to non-classical logics
Wikidata QID: Q129426036
DOI: 10.2478/FORMA-2018-0002
Recommended article: Algebraic Methodology and Software Technology
Recommended article: Kleene algebra with hypotheses
Recommended article: Relational and Kleene-Algebraic Methods in Computer Science
Recommended article: Kleene algebras with implication
Recommended article: Kleene algebra and modal logic
Recommended article: On Kleene algebras
Recommended article: Q5365463
Recommended article: Varieties of pseudocomplemented Kleene algebras
Recommended article: Kleene Algebra with Converse
Recommended article: Kleene algebra with domain
description: scientific article; zbMATH DE number 6957522