论文标题
多旋风和非确定语义应用于paracissistent逻辑
Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics
论文作者
论文摘要
这项工作分为两个主要领域：在多阶数理论中，我们主要关注一个新的定义，即自由生成的对象在其类别中应该是什么，以及该类别如何等同于另一个以部分订购的代数为对象的另一个类别；然后，我们使用非确定语义，特别是我们命名为受限制的Nmatrices的语义，以及一些涉及自然概念不兼容的新介绍的系统，这些系统概括了不一致。
This work is divided between two main areas: in the theory of multialgebras, we focus mostly on a new definition of what a freely generated object should be in their category, and on how this category is equivalent to another with partially ordered algebras as objects; we then use nondeterministic semantics, specially those we have named restricted Nmatrices, on paraconsistent logics and some systems dealing with a new presentation of the natural concept of incompatibility, which generalizes inconsistency.
