Common Logic of 2‐Valued Semigroup Connectives (Q3982865)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Common Logic of 2‐Valued Semigroup Connectives |
scientific article |
Statements
Common Logic of 2‐Valued Semigroup Connectives (English)
0 references
26 June 1992
0 references
binary propositional connectives
0 references
sequential rules
0 references
strengthening
0 references
conservative extension
0 references
