原创力文档- 10
- 0
- 约2.37万字
- 约 11页
- 2019-01-10 发布于北京
- 举报
StudiesinLogic,Vol.8, No. 2 (2015): 2–12
PII:1674-3202(2015)-02-0002-11
TheDisjunctionProperty of Some Propositional
*
Logics
Minghui Ma
InstituteforLogic and Intelligence, Southwest University
mmh.thu@
Abstract. Normal propositional logics are introduced. A purely syntactical characterization
of the disjunction property in normal propositional logics is provided. For persistent n
您可能关注的文档
- 博弈论中重复可允许算法的认知分析.pdf
- 不可超越的无穷：关于直谓性和后继公理的关系.pdf
- 不确定条件下的推理——亚里士多德三种修辞学的证明.pdf
- 布尔模态的公理化.pdf
- 部分–整体转喻中语义冲突的形式化描写.pdf
- 层次图（混合Horn）公式的部分极大可满足性.pdf
- 超模态逻辑K[TnK]和K[TKn].pdf
- 从博弈规则到博弈过程：动态认知视角下的非完美信息博弈.pdf
- 从逻辑哲学观点看含混性问题.pdf
- 从批判性讨论的理想模型到具体情境中的论证性会话——语用论辩术论证理论的逐步发展.pdf
- 浙江省杭州市滨江区2024-2025学年五年级下学期数学学业质量监测（含答案）.docx
- 浙江省台州市临海市2024-2025学年五年级下学期期末质量抽测数学试题（含答案）.pdf
- 广东省湛江市2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
- 广西壮族自治区玉林市2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
- 贵州省黔南布依族苗族自治州龙里县2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
- 广西壮族自治区南宁市2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
- 贵州省安顺市西秀区2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
- 湖南省岳阳市临湘市2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
- 浙江省杭州市余杭区2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
- 浙江省宁波市奉化区2024-2025学年五年级下册期末测试数学试卷（解析版）.pdf
文档评论（0）