|
|||||
|
|
A relational formalisation of arbitrary finite valued logics |
|
| Authors: | Konikowska B; Morgan CG; Orlowska E |
| Institution: | Institute of Computer Science, Polish Academy of Sciences, Ordona 21, 01-237 Warsaw, Poland A1 Department of Philosophy, University of Victoria, Victoria, B.C., Canada V8W 3P4 A2 Institute of Telecommunications, Szachowa 1, 04-894 Warsaw, Poland e-mail: beatak@ipipan.waw.pl e-mail: morgan@uvphys.phys.uvic.ca e-mail: orlowska@itl.waw.pl |
| Abstract: | |
| Keywords: | many-valued logic relational calculus Kripke semantics relational semantics relational proof system Rasiowa-Sikorskiproof system |
| 本文献已被 Oxford 等数据库收录！ | |