Results 21 to 30 of about 168 (130)
On Neutrosophic Vague Binary BZMZ^dM Sub-algebra of BZMZ^dM-algebra in Neutrosophic Vague Binary Sets [PDF]
Neutrosophic Sets and Systems, 2021 In Model theory, common algebraic structures found are Lattices and Boolean Algebras. In the broad field of research, various algebraic structures can be introduced for a set. BCK, BCI, BCH, BH etc. are some of them.
P. B. Remya, A. Francina Shalini
doaj +1 more source
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source
International Journal of Computational Intelligence Systems, 2017 Histograms are an intuitively understandable tool for graphically presenting frequency data that is available for and useful in modern data-analysis, this also makes comparing histograms an interesting field of research.
Pasi Luukka, Mikael Collan
doaj +1 more source
The Calculus of Names—The Legacy of Jan Łukasiewicz
AxiomsWith his research on Aristotle’s syllogistic, Jan Łukasiewicz initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., that branch of logic that ...
Andrzej Pietruszczak
doaj +1 more source
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
Philosophia Scientiæ, 2011 Łukasiewicz’s Aristotle’s Syllogistic was written from the standpoint of modern formal log ic as a correction of the traditional interpretations of Aristotle’s syllogistic.
Jean-Baptiste Gourinat
doaj +1 more source
Aristotle’s Syllogistic as a Deductive System
Axioms, 2020 Aristotle’s syllogistic is the first ever deductive system. After centuries, Aristotle’s ideas are still interesting for logicians who develop Aristotle’s work and draw inspiration from his results and even more from his methods.
Piotr Kulicki
doaj +1 more source
Development of POLON—A Green Microsatellite Propulsion Module Utilizing 98% Hydrogen Peroxide
Aerospace, 2022 The following paper presents the key design and test activities associated with the development of POLON—a green microsatellite propulsion module using 98% Hydrogen Peroxide (HTP).
Jakub Gramatyka +7 more
doaj +1 more source
Understanding Water System Manager's Motivations for and Their Perceived Benefits of Consolidation
JAWRA Journal of the American Water Resources Association, Volume 61, Issue 6, December 2025.ABSTRACT Across the United States, policymakers are busy developing incentive programs and mandatory policies to speed up adoption of consolidations and reduce the number of regulated water systems. Little attention, however, has been paid to why water system managers themselves, whose cooperation, if not leadership, is often required, pursue ...
Kristin Babson Dobbin +3 more
wiley +1 more source
Logiques dialogiques ‘multivalentes’
Philosophia Scientiæ, 2004 Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source