The system Bp\(_+\): a minimal positive logic for minimal negation (Q3533295)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The system Bp_+: a minimal positive logic for minimal negation |
scientific article; zbMATH DE number 5356140
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The system Bp\(_+\): a minimal positive logic for minimal negation |
scientific article; zbMATH DE number 5356140 |
Statements
23 October 2008
0 references
constructive negation
0 references
minimal negation
0 references
ternary relational semantics
0 references
relevance logics
0 references
0.8130813837051392
0 references
0.789364755153656
0 references
0.7869498133659363
0 references
0.7813779711723328
0 references
