ON THE SEMANTICS AND LOGIC OF COMPUTATIONAL PROBLEMS

被引：0

|

作者：

KANOVICH, MI

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1989年 / 305卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：778 / 782

页数：5

相关论文

共 50 条

[1] Kripke semantics for the logic of problems and propositions
Onoprienko, A. A.
SBORNIK MATHEMATICS, 2020, 211 (05) : 709 - 732
[2] Context Semantics, Linear Logic, and Computational Complexity
Dal Lago, Ugo
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009, 10 (04)
[3] Context semantics, linear logic and computational complexity
Lago, Ugo Dal
21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 169 - 178
[4] ON THE CONSTRUCTIVITY OF LOGIC OF THE COMPUTATIONAL PROBLEMS
KANOVICH, MI
DOKLADY AKADEMII NAUK SSSR, 1988, 302 (03): : 530 - 535
[5] Computational semantics for basic protocol logic - A stochastic approach
Bana, Gergei
Hasebe, Koji
Okada, Mitsuhiro
ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 86 - +
[6] A verification logic for security protocols based on computational semantics
Tang, Chao-Jing, 1600, Chinese Institute of Electronics (42):
[7] Problems of philosophy - Problem #2: Logic and semantics of quantifiers
不详
SYNTHESE, 1997, 112 (02) : 301 - 302
[8] Fixpoint Semantics and Completeness of the Computational Model for Fuzzy Linguistic Logic Programming
Le, Van Hung
Liu, Fei
Tran, Dinh Khang
ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE, 2008, 5227 : 420 - +
[9] Interval-valued statistics, fuzzy logic, and their use in computational semantics
Wu, B
Sun, CM
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2001, 11 (1-2) : 1 - 7
[10] Logic and semantics
Moretti, Alberto
REVISTA DE FILOSOFIA-MADRID, 2006, 31 (02): : 31 - 43

← 1 2 3 4 5 →