Characterizing Belnap's Logic via De Morgan's Laws (Q4857857): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Note on a six-valued extension of three-valued logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4011715 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Theory of logical calculi. Basic theory of consequence operations / rank | |||
Normal rank | |||
Latest revision as of 08:46, 24 May 2024
scientific article; zbMATH DE number 824540
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizing Belnap's Logic via De Morgan's Laws |
scientific article; zbMATH DE number 824540 |
Statements
Characterizing Belnap's Logic via De Morgan's Laws (English)
0 references
13 May 1996
0 references
structural consequence operation
0 references
logical matrix
0 references
De Morgan lattice
0 references
Belnap's four-valued sentential logic
0 references
Gentzen-style axiomatization
0 references
closure operator
0 references
Hilbert-style axiomatization
0 references
Priest's logic of paradox
0 references
