Results 41 to 50 of about 74,540 (198)
Weighted automata and multi-valued logics over arbitrary bounded lattices [PDF]
, 2012 We show that L-weighted automata, L-rational series, and L-valued monadic second order logic have the same expressive power, for any bounded lattice L and for finite and infinite words.
Droste, Manfred, Vogler, Heiko
core +1 more source
Orthomodular-Valued Models for Quantum Set Theory
, 2017 In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed ...
Araki +11 more
core +1 more source
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics [PDF]
, 2002 We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L ...
Gabbay, D., Metcalfe, G., Olivetti, N.
core
On the number of two-dimensional threshold functions
, 2009 A two-dimensional threshold function of k-valued logic can be viewed as coloring of the points of a k x k square lattice into two colors such that there exists a straight line separating points of different colors.
Max A. Alekseyev +4 more
core +3 more sources
On Some Maximal Partial Ultraclones on a Two-Element Set
Известия Иркутского государственного университета: Серия "Математика", 2017 Multifunctions on a two-element set are considered in this paper. Functions from finite set to set of all subsets of this set are called multifunctions.
S.A. Badmaev
doaj +1 more source
On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic
, 2023 The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for them.
Coniglio, Marcelo E., Rodrigues, Abilio
core
Implication functions in interval-valued fuzzy set theory [PDF]
, 2013 Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees.
Deschrijver, Glad
core +1 more source
The Modal Logic of Provability and Forcing [PDF]
arXiv, 2023 Solovay's arithmetical completeness theorem states that the modal logic of provability coincides with the modal logic $\mathbf{GL}$. Hamkins and L\"owe studied the modal logical aspects of set theoretic multiverse and proved that the modal logic of forcing is exactly the modal logic $\mathbf{S4.2}$.
arxiv
arXiv, 2023 A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss
arxiv
Bulletin of the Section of LogicA many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj +1 more source