|
Abstract
|
|
|---|---|
| HyperVenn is a heterogeneous logic resulting from combining the individual homogeneous logics for Euler/Venn diagrams and blocks world diagrams. We provide an example proof from the system along with a brief discussion of some of its inference rules. | |
|
International
|
Si |
|
JCR
|
Si |
|
Title
|
Lecture Notes in Computer Science |
|
ISBN
|
0302-9743 |
|
Impact factor JCR
|
0,402 |
|
Impact info
|
|
|
Volume
|
8578 |
|
|
10.1007/978-3-662-44043-8_8 |
|
Journal number
|
|
|
From page
|
51 |
|
To page
|
53 |
|
Month
|
AGOSTO |
|
Ranking
|
|