若干形式不一致逻辑的一阶交换结构语义
逻辑
2019-12-24 v1 计算机科学中的逻辑
摘要
形式不一致逻辑(简称LFIs)是一类次协调逻辑(即包含矛盾但非平凡理论的逻辑)，具有一个一致性联结词，允许以受控方式恢复 ex falso quodlibet 原则。本文旨在考虑一种基于定义在交换结构(一类特殊的多代数)上的Tarskian结构的一阶LFIs新语义方法。所提出的语义框架推广了文献中已有的量化LFIs方法。将详细分析QmbC(扩展经典逻辑的最简单量化LFI)的情形。还研究了对QmbC的一个公理化扩展QLFI1o，它等价于da Costa和D'Ottaviano的三值逻辑J3的量化版本。该逻辑的语义结构被证明是基于twist结构的Tarskian结构。还考虑了QmbC和QLFI1o用标准等号谓词进行的扩展。
引用
@article{arxiv.1912.10277,
title = {First-order swap structures semantics for some Logics of Formal Inconsistency},
author = {Marcelo E. Coniglio and Aldo Figallo-Orellano and Ana C. Golzio},
journal= {arXiv preprint arXiv:1912.10277},
year = {2019}
}