Superabelian logics

P Cintula, F Jankovec, C Noguera - arXiv preprint arXiv:2409.20170, 2024 - arxiv.org
… of classical logic (the failure of the reverse inclusion is witnessed, for example, by the law of
… finer analysis of reasoning with vagueness and graded predicates. The syntax ouf this logic …

L-fuzzy relational mathematical morphology based on adjoint triples

N Madrid, M Ojeda-Aciego, J Medina, I Perfilieva - Information Sciences, 2019 - Elsevier
… Recall that in the original approach of mathematical morphology, erosions and dilations …
, inclusion and intersection of certain sets, called structuring elements. Our approach in this …

Design and simulation of image nonlinear processing relational preprocessor based on iterational sorting node

VG Krasilenko, AA Lazarev… - Optical Sensors …, 2019 - spiedigitallibrary.org
… In many neural-network models for recognition of images, especially a lot of graded, it is
desirable … The inclusion of an iterative node for sorting signals into a modified nonlinear image …

[HTML][HTML] symmetry SS

WEE is Quasi-Maximal - Discrete Mathematics and Symmetry, 2020 - books.google.com
… In fact, there are many other non-classical logic algebraic systems related to BCK-and BCI-…
Abstract: From the perspective of the degrees of classification error, we proposed graded

A semantics and a logic for Fuzzy Arden Syntax

L Gomes, A Madeira, LS Barbosa - Soft Computing, 2021 - Springer
Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe
behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a …

Grothendieck's theory of schemes and the algebra–geometry duality

G Catren, F Cukierman - Synthese, 2022 - Springer
We shall address from a conceptual perspective the duality between algebra and geometry
in the framework of the refoundation of algebraic geometry associated to Grothendieck’s …

Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.

LM Augusto, F Badie - 2022 - philpapers.org
… Last but not least, (vi) our objective is not to offer a new method of diagnosis of FTD. We are
well aware that the adoption of new diagnostic measures typically involves the replacement …

[PDF][PDF] Foundations of reversible computation

B Aman, G Ciobanu, R Glück… - … Extending Horizons of …, 2020 - library.oapen.org
… It is possible to settle all inclusion relations between these families of transductions even
with injective witness transductions. Furthermore, the standard closure properties and …

From Logic to Mathematical Logic: On the History of Logic in the 19th Century

M Martínez Sellarès - 2019 - studenttheses.uu.nl
We give an overview of the historiography of mathematical logic and point some weak points
of the standard narrative. We present an alternative interpretation of the history of logic in …

Particular quantitative analysis of accesses to mathematical study sources

R Krpec, T Barot - International Journal of Didactical Studies, 2020 - ijods.com
… In the presented statistical analysis, 22 students of the mathematics for future teachers of the
second grade of elementary schools are considered with 10466 records of the approaching …