Topological semantics for da costa paraconsistent logics C_ω and C^∗ _ω

Can Baskent

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Book chapter

1 Citation (SciVal)

1 results

Filter

Finished
ALPUIS
McCusker, G. (PI) & Ioannidis, C. (CoI)
Engineering and Physical Sciences Research Council
1/11/13 → 30/04/18
Project: Research council