Results 51 to 60 of about 168 (90)
Sobre o significado da função proposicional no Tractatus de Wittgenstein [PDF]
, 2016 The analysis of logical predication has long philosophical tradition in which one of the central subjects of study is the analysis of the logical form of the proposition.
Ferreira, Rafael dos Reis
core
Neutrosophy Revisited: Formalizing Core Concepts from Nidus idearum (Book Series) and Related Research [PDF]
Uncertainty permeates most real-world contexts, motivating mathematical frameworks that can faithfully represent vagueness, inconsistency, and incomplete information. Classical approaches include fuzzy sets and intuitionistic fuzzy sets.
Fujita, T., Smarandache, Florentin
core
Neutrosophic Sets and Systems, Vol.50, 2022 [PDF]
, 2022 Abdel-Basset, Mohamed +2 more
core +1 more source
Tarski's geometry modelled in Mizar computerized proof assistant [PDF]
, 2016 Adam Grabowski
core +2 more sources
Which data types have w-complete initial algebra specifications? [PDF]
, 1994 Bergstra, J.A. (Jan), Heering, J. (Jan)
core
The development of mathematical logic from Russell to Tarski, 1900-1935 [PDF]
, 2009 Badesa, Calixto +2 more
core
Fuzzy Ideals of Sheffer Stroke Hilbert Algebras
Proceedings of the National Academy of Sciences, India Section A: Physical Sciences, 2022 In this study, fuzzy subalgebras and ideals with t-conorms on Sheffer stroke Hilbert algebras are discussed. We state and prove relationships between the level-set of a fuzzy subalgebra with a t-conorm T (briefly, T-fuzzy subalgebra) and a subalgebra of a Sheffer stroke Hilbert algebra.
Tahsin Oner +2 more
openaire +2 more sources
Fuzzy filters of Sheffer stroke Hilbert algebras
Journal of Intelligent & Fuzzy Systems, 2021 The aim of this study is to introduce fuzzy filters of Sheffer stroke Hilbert algebra. After defining fuzzy filters of Sheffer stroke Hilbert algebra, it is shown that a quotient structure of this algebra is described by its fuzzy filter. In addition to this, the level filter of a Sheffer stroke Hilbert algebra is determined by its fuzzy filter.
Saeid, Arsham Borumand +2 more
openaire +3 more sources