gnarled
发表于 2025-3-28 15:12:57
On the modal logic K plus theories,proof search in K + . and discuss methods to improve the efficiency. An implementation of the resulting decision procedure is part of the Logics Workbench LWB..Then we show that — in contrast to K, KT, S4 — there are theories . and formulas . where a counter-model must have a superpolynomial diamete
贿赂
发表于 2025-3-28 20:17:55
Improved decision procedures for the modal logics K, T and S4, provide more efficient decision procedures than those hitherto known. In particular space requirements for our logics are lowered from the previously established bounds of the form .., .. and .. to . log . log ., and .. log . respectively.
cringe
发表于 2025-3-29 01:09:24
http://reply.papertrans.cn/24/2338/233766/233766_43.png
过分
发表于 2025-3-29 03:28:17
http://reply.papertrans.cn/24/2338/233766/233766_44.png
持续
发表于 2025-3-29 10:52:28
Jae-Hyeong Park MD, PhD,Jin-Ok Jeong MD, PhDThe system of formal parametric polymorphism has the same theory as second order Peano arithmetic with regard to the provable equality of numerical functions.
雕镂
发表于 2025-3-29 13:31:51
http://reply.papertrans.cn/24/2338/233766/233766_46.png
Terminal
发表于 2025-3-29 16:55:21
http://reply.papertrans.cn/24/2338/233766/233766_47.png
杠杆
发表于 2025-3-29 20:11:45
A logical aspect of parametric polymorphism,The system of formal parametric polymorphism has the same theory as second order Peano arithmetic with regard to the provable equality of numerical functions.
返老还童
发表于 2025-3-30 01:05:29
https://doi.org/10.1007/3-540-61377-3computer; formal language; logic; proof theory; proving; selection; theorem proving
gastritis
发表于 2025-3-30 04:10:15
http://reply.papertrans.cn/24/2338/233766/233766_50.png