logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
R

REVIEW OF SYMBOLIC LOGIC

IF0.9
论文数19
被引数
期刊论文 19
发表时间
delete
THE MODAL LOGIC OF EXACT EQUIVALENCE精确等价的模态逻辑
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-05-01
delete0
PREAI
deleteBerardi Gili, Pietro
delete分享
delete收藏
REVISION THEORY WITHOUT $\omega $-INCONSISTENCY不包含$\omega$-不一致性的修正理论
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-04-01
delete0
PREAI
deleteSchindler, John
delete分享
delete收藏
SUPERABELIAN LOGICS超阿贝尔逻辑
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-03-01
delete0
PREAI
deleteCintula, Petr; Jankovec, Filip; Noguera, Carles
delete分享
delete收藏
ITERATING REFLECTION OVER INTUITIONISTIC ARITHMETIC迭代直觉主义算术中的反射
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-03-01
delete0
PREAI
deleteFrittaion, Emanuele
delete分享
delete收藏
MODAL DEFINABILITY IN KRIPKE'S THEORY OF TRUTH克里普克真理论中的模态可定义性
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-02-01
delete0
PREAI
deleteWalsh, James
delete分享
delete收藏
PARADOXICAL CONNECTIVES: PROOF-THEORETIC SEMANTICS, RECURSION, AND FIXED-POINT OPERATORS悖论连接词：证明论语义学、递归和不动点算子
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-02-01
delete0
PREAI
deleteNaibo, Alberto; Takahashi, Yuta
delete分享
delete收藏
THE ALGEBRA OF LOGICAL ATOMISM逻辑原子主义的代数
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-01-01
delete0
PREAI
deleteFritz, Peter; Bacon, Andrew
delete分享
delete收藏
CONTRADICTIONS WITHOUT NEGATION AND A PROOF-THEORETIC, BILATERALIST ACCOUNT OF CONNEXIVE LOGICS无否定矛盾及连接性逻辑的证明论、双方面解释
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2026-01-01
delete0
PREAI
deleteAyhan, Sara
delete分享
delete收藏
TO MAKE IT WHOLE: PARTS, FUSIONS, AND LOCATIONS使其完整：部分、融合与位置
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-12-01
delete0
PREAI
deleteCalosi, Claudio
delete分享
delete收藏
THE ALGEBRAS OF LEWIS'S COUNTERFACTUALS: DUALITY THEORY刘易斯反事实条件句的代数：对偶理论
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-12-01
delete0
PREAI
deleteRosella, Giuliano; Ugolini, Sara
delete分享
delete收藏
THE EXTERNAL VERSION OF A SUBCLASSICAL LOGIC子类逻辑的外部版本
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-11-01
delete0
PREAI
deleteCarrara, Massimiliano; Pra Baldi, Michele
delete分享
delete收藏
A VARIANT OF THE LINDENBAUM LEMMA FOR INFINITARY CLOSURE SYSTEMS林登鲍姆引理的一个变种：关于无穷闭包系统
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-11-01
delete0
PREAI
deleteCintula, Petr
delete分享
delete收藏
A UNIFORM APPROACH TO AXIOMATIZING BUNDLED OPERATORS
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-11-01
delete0
PREAI
deleteFan, Jie
delete分享
delete收藏
HIGHER-ORDER ESSENCES: LOGIC AND SEMANTICS高阶本质：逻辑与语义学
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-11-01
delete0
PREAI
deleteDitter, Andreas
delete分享
delete收藏
CONSTRUCTIVE ARITHMETICAL IMPOSSIBILITIES AND THEIR RELATION TO PARADOXES构造性算术不可能性及其与悖论的关系
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-10-01
delete0
PREAI
deleteTennant, Neil
delete分享
delete收藏
ON CLASSICAL DETERMINATE TRUTH论古典确定性真理
deleteREVIEW OF SYMBOLIC LOGIC
IF0.9
delete2025-10-01
delete0
PREAI
deleteCastaldo, Luca; Nicolai, Carlo
delete分享
delete收藏
REVISIONISM REVISITED修正主义再探
deleteREVIEW OF SYMBOLIC LOGIC
IF0
delete2025-09-01
delete0
deleteOAAI
deleteField, Hartry
delete分享
delete收藏
WHY SHOULD IDENTITY BE LOGICAL?为什么身份应该具有逻辑性？
deleteREVIEW OF SYMBOLIC LOGIC
IF0
delete2025-09-01
delete0
PREAI
deleteMitsch, Chris
delete分享
delete收藏
SATISFACTION IS NOT ABSOLUTE满意度并非绝对的
deleteREVIEW OF SYMBOLIC LOGIC
IF0
delete2025-09-01
delete0
PREAI
deleteHamkins, Joel David; Yang, Ruizhi
delete分享
delete收藏