Results 31 to 40 of about 145 (89)
Investigating Length and Mean-Fuzzy Subalgebras in Sheffer Stroke Hilbert Algebras
European Journal of Pure and Applied MathematicsThe aim of this paper is to introduce the notions of the length and the mean of an interval-valued fuzzy structure in Sheffer stroke Hilbert algebras. The notions of length-fuzzy subalgebras and mean-fuzzy subalgebras of Sheffer stroke Hilbert algebras are introduced, and related properties are investigated.
Neelamegarajan Rajesh +3 more
openaire +1 more source
Boundary Algebra: A Simple Notation for Boolean Algebra and the Truth Functors [PDF]
Boundary algebra [BA] is a simpler notation for Spencer-Brown’s (1969) primary algebra [pa], the Boolean algebra 2, and the truth functors. The primary arithmetic [PA] consists of the atoms ‘()’ and the blank page, concatenation, and enclosure between ‘(‘
Philip Meguire
core
Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]
Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core
The foundations of inference and its application to fundamental physics [PDF]
, 2021 This thesis concerns the foundations of inference – probability theory,entropic inference, information geometry, etc. – and its application to the Entropic Dynamics (ED) approach to Quantum Mechanics (QM) [21, 22, 41, 53, 56–61, 150–153, 165, 195, 196 ...
Carrara, Nicholas Matthew
core +1 more source
On Length and Mean Fuzzy Ideals of Sheffer Stroke Hilbert Algebras
European Journal of Pure and Applied MathematicsThis paper presents a detailed exploration of Sheffer stroke Hilbert algebras, introducing the innovative concepts of length fuzzy ideals and mean fuzzy ideals within an interval-valued fuzzy framework. These new constructs extend classical ideal theory by incorporating fuzzy logic, providing precise mathematical tools to analyze and measure membership
Neelamegarajan Rajesh +3 more
openaire +1 more source
On Interval-Valued Intuitionistic Fuzzy Subalgebras of Sheffer Stroke Hilbert Algebras
European Journal of Pure and Applied MathematicsThis paper explores the structure of interval-valued intuitionistic fuzzy (IVIF) subsets within the framework of Sheffer stroke Hilbert algebras (SSHAs). After establishing the foundational definitions of interval-valued intuitionistic fuzzy Sheffer stroke subalgebras (IVIFSS-subalgebras), we investigate their algebraic properties, closure under ...
Aiyared Iampan +5 more
openaire +1 more source
Sets, Logic, Computation: An Open Introduction to Metalogic [PDF]
, 2021 An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and
Zach, Richard
core
Weak Filters of Sheffer Stroke Hilbert Algebras Based on Intuitionistic Fuzzy Set
European Journal of Pure and Applied MathematicsUsing the concept of intuitionistic fuzzy points, the weak filter in Sheffer stroke Hilbert algebras is addressed. The notion of intuitionistic fuzzy weak filters in Sheffer stroke Hilbert algebras is introduced, and their properties are investigated.
Sun Shin Ahn +2 more
openaire +1 more source
Soft Subalgebras and Ideals of Sheffer Stroke Hilbert Algebras based on $\mathcal{N}$-Structures
European Journal of Pure and Applied MathematicsIn this study, we introduce the concepts of $\mathcal{N}$-ideals of types $(\in, \in)$ and $(\in, \in \vee \kq)$, along with soft $\mathcal{N}_\in$-sets, soft $\mathcal{N}_\kq$-sets, and soft $\mathcal{N}_{\in \vee \kq}$-sets. Additionally, we define soft $\mathcal{N}$-subalgebras and $\mathcal{N}$-ideals within the context of Sheffer stroke Hilbert ...
Tahsin Oner +3 more
openaire +1 more source
Univocity of Intuitionistic and Classical Connectives [PDF]
In this paper, we show (among other things) that the conditional in Frege's Begriffsschrift is ...
Ertola-Biraben, Rodolfo C. +1 more
core