Routes to triviality (Q1771203)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Routes to triviality |
scientific article |
Statements
Routes to triviality (English)
0 references
7 April 2005
0 references
Abelian logic
0 references
contraction
0 references
Curry's paradox
0 references
naïve comprehension
0 references
nonclassical implicational logics
0 references
Peirce's law
0 references