Results 1 to 10 of about 3,431 (233)
Some Results of Fermatean Fuzzy Set on Subalgebras and Ideals of Bn-Algebras [version 2; peer review: 2 approved] [PDF]
F1000ResearchBackground Classical fuzzy sets have been generalized to better model uncertainty, leading to developments such as intuitionistic, Pythagorean, and Fermatean fuzzy sets.
Derebew Derso +2 more
doaj +2 more sources
Conversion between Logic and Algebraic Expressions of Boolean Control Networks
Applied Sciences, 2020 The conversion between logic and algebraic expressions of Boolean control networks plays a worthy role in the analysis and design of digital circuits. In this paper, for a single Boolean function, a direct conversion between the minterm canonical form ...
Cailu Wang, Yuegang Tao
doaj +3 more sources
A basic epistemic logic and its algebraic model
Intermaths, 2023 In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the existence of algebraic models for modal logics, considering that there are so many different modal logics, so it is not usual to give an algebraic model ...
Hércules de Araujo Feitosa +2 more
doaj +3 more sources
ALGEBRAIC EXPANSIONS OF LOGICS
The Journal of Symbolic Logic, 2022 AbstractAn algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists ! \mathop{\boldsymbol {\bigwedge }}\limits p = q$ . For a logic L algebraized by a quasivariety $\mathcal {Q}$ we show that the AE-subclasses of $\mathcal {Q}$ correspond to certain natural expansions of L ...
Campercholi, Miguel +3 more
openaire +4 more sources
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
On the mathematical synthesis of equational logics [PDF]
Logical Methods in Computer Science, 2011 We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational ...
Marcelo Fiore, Chung-Kil Hur
doaj +1 more source
Bulletin of the Section of Logic, 2021 Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras.
Tarek Sayed Ahmed
doaj +1 more source
Quantitative Characterization of Reconfigurable Transistor Logic Gates
IEEE Access, 2020 We present a new approach for early analysis of logic gates that is based on formal methods. As device technology research takes years and is very expensive, it is desirable to evaluate a technology's potential as early as possible, which is hard to do ...
Michael Raitza +6 more
doaj +1 more source
Algebraic Neighbourhood Logic [PDF]
The Journal of Logic and Algebraic Programming, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Höfner, Peter, Möller, Bernhard
openaire +2 more sources
Behavioral Algebraization of Logics [PDF]
Studia Logica, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carlos Caleiro +2 more
openaire +3 more sources