Negation introduced with the unary connective (Q3400792)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Negation introduced with the unary connective |
scientific article |
Statements
Negation introduced with the unary connective (English)
0 references
5 February 2010
0 references
implicative paradoxes
0 references
substructural logics
0 references
relevance logics
0 references
constructive negation
0 references
relational ternary semantics
0 references
definitional equivalence
0 references