Secrecy logic: \(\mathcal S\)-secrecy structures (Q2892191)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Secrecy logic: \(\mathcal S\)-secrecy structures |
scientific article; zbMATH DE number 6047307
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Secrecy logic: \(\mathcal S\)-secrecy structures |
scientific article; zbMATH DE number 6047307 |
Statements
18 June 2012
0 references
secrecy-preserving reasoning
0 references
abstract algebraic logic
0 references
logical matrices
0 references
protoalgebraic logics
0 references
first-order structures
0 references
homomorphism theorems
0 references
regular categories
0 references
subdirect products
0 references
subdirectly irreducible structures
0 references
Secrecy logic: \(\mathcal S\)-secrecy structures (English)
0 references
0.8322333097457886
0 references
0.7311344742774963
0 references
0.700369119644165
0 references
0.6959835886955261
0 references
