Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations |
scientific article |
Statements
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (English)
0 references
9 July 2009
0 references
conservative retraction
0 references
independence rule
0 references
Boolean derivatives
0 references
0 references
