Boolean connexive logics: semantics and tableau approach (Q3387888)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7291234
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Boolean connexive logics: semantics and tableau approach |
scientific article; zbMATH DE number 7291234 |
Statements
Boolean Connexive Logics: Semantics and tableau approach (English)
0 references
8 January 2021
0 references
Boolean connexive logics
0 references
connexive logic
0 references
relating semantics
0 references
tableau approach
0 references
relatedness
0 references
0.9018952250480652
0 references
0.8036267757415771
0 references
0.7915830612182617
0 references
0.777940571308136
0 references
0.7733796238899231
0 references
