Zobrazeno 1 - 10
of 366
pro vyhledávání: '"03b50"'
The notion of a non-deterministic logical matrix (where connectives are interpreted as multi-functions) extends the traditional semantics for propositional logics based on logical matrices (where connectives are interpreted as functions). This extens
Externí odkaz:
http://arxiv.org/abs/2412.14057
Gautama algebras were introduced recently, as a common generalization of regular double Stone algebras and regular Kleene Stone algebras. Even more recently, Gautama algebras were further generalized to Almost Gautama algebras (AG for short). The mai
Externí odkaz:
http://arxiv.org/abs/2409.13124
Autor:
Huo, Shuquan
This paper is devoted to the construction of conditional logic system of {\L}ukasiewicz m-valued propositional logic. We construct conditional logic system {\L}CR based on {\L}ukasiewicz m-valued propositional logic. We construct world semantics for
Externí odkaz:
http://arxiv.org/abs/2407.19221
Autor:
Barto, Libor, Kapytka, Maryia
We describe the ordering of a class of clones by minion homomorphisms, also known as minor preserving maps or height 1 clone homomorphisms. The class consists of all clones on finite sets determined by binary relations whose projections to both coord
Externí odkaz:
http://arxiv.org/abs/2407.16513
Autor:
Zhuravlov, Volodymyr
The article explores the arithmetic of multiplication as a model of many valued projective logic. It is demonstrated that closed numerical intervals within this framework constitute Heyting algebras. The conditions for these algebras to be Boolean ar
Externí odkaz:
http://arxiv.org/abs/2406.00058
The present paper is devoted to study the effect of connected and disconnected rotations of G\"odel algebras with operators grounded on directly indecomposable structures. The structures resulting from this construction we will present are nilpotent
Externí odkaz:
http://arxiv.org/abs/2405.19354
Autor:
Middelburg, C. A.
Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with non-classica
Externí odkaz:
http://arxiv.org/abs/2403.04641
The paper considers the representation of k-valued logical functions in the class of disjunctive normal forms. Various classes of monotone functions of k-valued logic are investigated. Theorems are proved on the coincidence of reduced and shortest di
Externí odkaz:
http://arxiv.org/abs/2401.17413
Autor:
Blomet, Quentin, Égré, Paul
The set of $\mathsf{ST}$-valid inferences is neither the intersection, nor the union of the sets of $\mathsf{K}_3$- and $\mathsf{LP}$-valid inferences, but despite the proximity to both systems, an extensional characterization of $\mathsf{ST}$ in ter
Externí odkaz:
http://arxiv.org/abs/2401.03436
Autor:
Greati, Vitor, Greco, Giuseppe, Marcelino, Sérgio, Palmigiano, Alessandra, Rivieccio, Umberto
In general, providing an axiomatization for an arbitrary logic is a task that may require some ingenuity. In the case of logics defined by a finite logical matrix (three-valued logics being a particularly simple example), the generation of suitable f
Externí odkaz:
http://arxiv.org/abs/2401.03274