SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
公理
公理系统
计算机科学
数学
域代数上的
离散数学
理论计算机科学
纯数学
几何学
作者
Petr Cintula,
Petr Hájek
出处
期刊：
Journal of Logic and Computation
[Oxford University Press]
日期：2008-08-14
卷期号：19 (2): 245-260
被引量：10
标识
DOI：10.1093/logcom/exn052
摘要
In this article, the computational complexity of all axiomatic extensions of Łukasiewicz propositional logic Ł and the arithmetical complexity of both the general and standard semantics of their corresponding predicate logics is determined.
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
zzf
完成签到
，获得积分
10
1秒前
科研通AI6.2
上传了
应助文件
1秒前
su
发布了新的
文献求助
10
2秒前
异色格兰种子
完成签到
，获得积分
10
3秒前
小新小新
完成签到
，获得积分
10
3秒前
醒醒
完成签到，获得积分
10
3秒前
Beacon
完成签到
，获得积分
10
5秒前
HMYX
完成签到
，获得积分
10
8秒前
edge
完成签到，获得积分
10
8秒前
Ye
完成签到，获得积分
10
9秒前
EternalStrider
发布了新的
文献求助
10
9秒前
爱笑的笑旋
完成签到，获得积分
10
11秒前
可用的阿尔拉
完成签到，获得积分
10
11秒前
科研通AI6.2
上传了
应助文件
11秒前
Hellochem
完成签到，获得积分
10
12秒前
luobin
完成签到，获得积分
10
14秒前
su
完成签到，获得积分
10
17秒前
共享精神
上传了
应助文件
17秒前
嘻嘻哈哈
上传了
应助文件
21秒前
Rain
发布了新的
文献求助
10
21秒前
无花果
上传了
应助文件
22秒前
王京
发布了新的
文献求助
10
22秒前
dandelion
完成签到
，获得积分
10
23秒前
嘟嘟嘟
完成签到，获得积分
10
24秒前
在水一方
上传了
应助文件
25秒前
安详苠
发布了新的
文献求助
10
26秒前
谦让的砖头
发布了新的
文献求助
10
26秒前
ABC
完成签到
，获得积分
10
27秒前
十字水瓶
完成签到
，获得积分
10
28秒前
Owen
的
应助
被
青山
采纳，获得
10
29秒前
我将如闪电般归来
发布了新的
文献求助
10
31秒前
从容的绿蝶
完成签到，获得积分
10
32秒前
英俊的铭
的
应助
被
安详苠
采纳，获得
10
33秒前
陈一
的
应助
被
谦让的砖头
采纳，获得
10
35秒前
科研通AI6.4
的
应助
被
谦让的砖头
采纳，获得
10
35秒前
zz
完成签到
，获得积分
10
36秒前
科研通AI6.4
的
应助
被
PhH
采纳，获得
10
36秒前
cc
完成签到，获得积分
10
38秒前
zhangweny
完成签到，获得积分
10
38秒前
陈一
的
应助
被
EternalStrider
采纳，获得
10
39秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Aspects of Post-SPE Phonology
2000
Performance standards for antimicrobial disk and dilution susceptibility tests for bacteria isolated from animals
888
Rosenblum, Global Change Biology
800
Holistic Discourse Analysis, Second Edition by Robert E. Longacre (2012-09-10)
666
Final Report for the 2-D Test of Model 901 Rotor and Wing Airfoils (BSWT 592)
528
Berberine regulates the TLR4 signaling pathway to suppress hypoxia-induced proliferation and migration of pulmonary arterial smooth muscle cells
520
热门求助领域
（近24小时）
化学
材料科学
医学
生物
计算机科学
工程类
纳米技术
物理
有机化学
化学工程
内科学
生物化学
复合材料
催化作用
心理学
细胞生物学
无机化学
电极
光电子学
人工智能
热门帖子
关注
科研通微信公众号，转发送积分
7886990
求助须知：如何正确求助？哪些是违规求助？
9399132
关于积分的说明
20831086
捐赠科研通
7489223
什么是DOI，文献DOI怎么找？
3356749
关于科研通互助平台的介绍
2495351
邀请新用户注册赠送积分活动
2384838
今日热心研友
OK
2
600
嘻嘻哈哈
34
60
璐璐
5
260
七听
1
250
GingerF
8
150
木子
12
80
兔兔美
200
陈一
8
110
渡人舟
13
林狗
8
40
v0id
4
70
AN
8
30
YifanWang
100
Spark_1
100
斯文的白玉
6
30
yinyinyin
3
60
O_O
4
40
学霸业
6
Wu
50
花痴的青筠
40
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
OK
嘻嘻哈哈
璐璐
七听
GingerF
木子
兔兔美
陈一
渡人舟
林狗
v0id
AN
YifanWang
Spark_1
斯文的白玉
yinyinyin
O_O
学霸业
Wu
花痴的青筠
皖公网安备34019202002308
