arXiv 1107.49322011-07-25math.LOcs.LO

经典和次协调模态逻辑中的同伦

Homotopies in Classical and Paraconsistent Modal Logics

Can Baskent

摘要：

模态逻辑的拓扑语义最近在逻辑的许多不同分支中获得了新的动力。在本文中，我们将考虑经典和次协调模态逻辑的拓扑语义。本文的工作是从几何和拓扑的角度研究次协调系统的一个新的进展。在这里，我们讨论了在次协调和经典模态情况下的函数变换：如何将一个经典或次协调拓扑模型变换为另一个模型，如何以保持有效性的方式将一个变换变换为另一个变换。此外，我们还建议采取措施来跟踪这种变化。

英文摘要：

Topological semantics for modal logics has recently gained new momentum in many different branches of logic. In this paper, we will consider the topological semantics of both classical and paraconsistent modal logics. This work is a new step in the research program that focuses on paraconsistent systems from geometric and topological point of view. Here, we discuss the functional transformations in paraconsistent and classical modal cases: how to transform one classical or paraconsistent topological model to another, how to transform one transformation to another in a validity preserving way. Furthermore, we also suggest a measure to keep track of such change.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

双关系框架上的次协调哥德尔模态逻辑

Paraconsistent Gödel modal logic on bi-relational frames

我们进一步发展了次协调哥德尔模态逻辑。在本文中，我们认为它的版本赋予Kripke语义的$[0,1]$值框架与两个模糊关系$R^+$和$R^-$（程度的信任断言和否认）和两个估值$v_1$和$v_2$（支持的真理和支持的虚假性）与德摩根否定$\neg$。我们证明了\emph{does not}是哥德尔模态逻辑的扩展，并且$\Box$和$\lozenge$是不可互定义的.我们还表明，几个重要的类的框架是$\birelKGsquare$可定义的（特别是，脆，单关系，和单分支）。对于多分支框架上的$\birelKGsquare$，我们建立了一个完备的约束表演算和一个基于该演算的判定过程，并利用该判定过程证明了$\birelKGsquare$在PSPACE中的可满足性和有效性.

2023-03-24cs.LOmath.LO

模糊双哥德尔模态逻辑及其弗协调相关逻辑

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

该研究提出含△的模糊双哥德尔模态逻辑公理化并证其PSpace完备性，同时研究其弗协调相关逻辑，通过嵌入证明后者的PSpace完备性并刻画可定义框架。

2024-03-07math.LO

次协调哥德尔模态逻辑

Paraconsistent Gödel modal logic

我们引入了一个~次协调的模态逻辑$\mathbf{K}\mathsf{G}^2$，它基于带余蕴涵的哥德尔逻辑（双哥德尔逻辑），用德摩根否定扩展了$\neg$。我们使用的逻辑形式化推理分级，不完整和不一致的信息。$\mathbf{K}\mathsf{G}^2$的语义是二维的：我们解释$\mathbf{K}\mathsf{G}^2$上的清晰框架与两个估值$v_1$和$v_2$，通过$\neg$连接，分配给每个公式的两个值从实值区间$[0,1]$。第一个（分别），第二）估值对正（分别，否定的）信息，国家给一个~语句。我们得到的$\mathbf{K}\mathsf{G}^2$是严格的表达比经典的模态逻辑$\mathbf{K}$通过证明的分支框架是可定义的，并通过建立一个忠实的嵌入$\mathbf{K}$到$\mathbf{K}\mathsf{G}^2$。我们还构造了多分支框架上的$\mathbf{K}\mathsf{G}^2$的一个约束表演算，建立了它的可判定性，并给出了一个复杂性估计.

2022-05-30math.LO

弗协调哥德尔逻辑中的非标准模态

Non-standard modalities in paraconsistent Gödel logic

本文提出一种带德摩根否定和双模态的弗协调哥德尔逻辑，给出基于正负信任关系与正负支持的克里普克语义，证明其语义性质并建立表列系统及复杂度结果。

2023-03-24math.LO

一个次协调纳尔逊条件句逻辑的基础系统

A basic system of paraconsistent Nelsonian logic of conditionals

该研究为基于次协调纳尔逊强否定逻辑变体$\u27a2N4$的条件句逻辑定义Kripke语义，公理化极小系统$\u27a2N4CK$，并通过嵌入关系揭示其与已有直觉主义条件句逻辑、$\u27a2N4$基模态逻辑的紧密关联。

2023-11-04math.LO

Crisp bi-Gödel 模态逻辑及其亚相容扩张

Crisp bi-Gödel modal logic and its paraconsistent expansion

本文为 crisp bi-Gödel 模态逻辑及其亚相容扩张提供希尔伯特式公理化，证明完备性、PSPACE-完全性，并研究语义性质及框架类对应。

2023-09-04math.LO

更多相关论文收起更多论文

基于k-循环模态伪补De Morgan代数的句子逻辑

Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras

模伪补De Morgan代数上算子理论的研究始于文[15]和[16]。本文引入并研究了一类被自同构k-周期（或称Ck-代数）充实的模态伪补De Morgan代数，其中k是正整数;当k = 2时，这类代数与文[15]中所研究的自同构k-周期（或称Ck-代数）是一个新的一元算子的情形相一致.首先证明了Ck-代数类是半单簇，并确定了生成代数。然后计算了生成元为n的自由Ck-代数的基数。在代数研究之后，我们建立了两个代数逻辑，它们的代数对应物是Ck-代数类，我们记为L<k和Lk，对于每一个k。Lk是一个1-断言逻辑，L<k是与Ck-代数类相关的保度逻辑。通过对这些逻辑的研究，我们证明了L<k是次协调的，它是原代数的，是代数等价的，但不能代数化。相反，我们证明了Lk是可代数化的，与L<k共享相同的定理，但不是次协调的。

2021-07-08math.LO

次协调框架下的非必然性

Non-contingecy in a paraconsistent setting

研究扩展一阶蕴含（FDE）的逻辑 $\mathbf{K}^\blacktriangle_\mathbf{FDE}$，引入非必然性算子 $\blacktriangle$ 建模信息不一致性搜索，构建分析切割系统证明其可靠性和完备性，并探讨其与经典非必然性逻辑在框架可定义性上的差异。

2024-02-17math.LO

形式不一致逻辑的代数和模态解释

Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account

人们习惯于期望一个逻辑系统是可代数化的，在这个意义上，演绎机器的代数伴侣总是可以找到的。自从da Costa的次协调演算$C_n$诞生以来，人们一直在寻找这种系统的代数等价物。然而，已知这些系统不是自延伸的（即，它们不满足替换属性）。更重要的是，它们在Blok-Pigozzi意义上是不可代数化的。同样的否定结果也适用于几个称为形式不一致逻辑（Logics of Formal Inconsistency，LFI）的次协调逻辑层次系统。正因为如此，属于这类逻辑的几个系统只能由非确定性性质的语义来表征。本文解决了次协调域中的两个公开问题，特别是与LFI的代数化有关的问题，通过对几个弱于$C_1$的LFI进行规则扩展，从而得到了置换性质（即这种LFI是自扩展的）.此外，这些逻辑成为代数化的标准Lindenbaum-Tarski的意义上的适当品种的布尔代数扩展与额外的操作。这里给出的满足替换的最弱LFI称为RmbC，它是从称为mbC的基本LFI获得的。本文还研究了RmbC的一些公理化扩展。此外，一个邻居的语义定义这样的系统。证明了RmbC可以定义在非正规模态逻辑E与其自身融合所定义的最小双模非正规逻辑E+E中。最后，该框架被扩展到一阶语言。RQmbC是RmbC的量化扩展，它是可靠的和完整的w.r.t.提出的代数语义。

2021-05-20math.LO