Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter |
| |
Authors: | Rybakov Mikhail Shkatov Dmitry |
| |
Affiliation: | 1.Department of Mathematics, Tver State University, Tver, Russia ;2.School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, Johannesburg, South Africa ; |
| |
Abstract: | Studia Logica - We prove that the positive fragment of first-order intuitionistic logic in the language with two individual variables and a single monadic predicate letter, without functional... |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|