Constructing denumerable matrices strongly adequate for pre-finite logics |
| |
Authors: | Ewa Graczyńska Andrzej Wroński |
| |
Affiliation: | (1) The Section of Logic, Polish Academy of Sciences, Wrocaw;(2) Department of Logic, The Jagiellonian University, Cracow |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|