An Axiomatisation of the Conditionals of Post's Many Valued Logics (Q4844511)
From MaRDI portal
scientific article; zbMATH DE number 790841
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Axiomatisation of the Conditionals of Post's Many Valued Logics |
scientific article; zbMATH DE number 790841 |
Statements
An Axiomatisation of the Conditionals of Post's Many Valued Logics (English)
0 references
13 December 1995
0 references
Post conditionals
0 references
Post negation
0 references
Hilbert-style axiomatisation
0 references
