Results 31 to 40 of about 108 (66)

SALAS DE RECURSO MULTIFUNCIONAL TIPO 1: ANÁLISE DAS DISSERTAÇÕES SOBRE O ENSINO DE MATEMÁTICA [PDF]

In the current Brazilian scenario, there has been an increase in discussions about the teaching of mathematics in Type 1 Multifunctional Resource Rooms ("MRS 1").
Alves, Denis Rogério Sanches, Nascimento, Josiane Cotrin Pierasso do, Speck, Raquel Angela   +2 more
core   +1 more source

Relation between dual S-algebras and BE-algebras [PDF]

, 2015
In this paper, we investigate the relationship between dual (Weak) Subtraction algebras, Heyting algebras and BE-algebras. In fact, the purpose of this paper is to show that BE-algebra is a generalization of Heyting algebra and dual (Weak) Subtraction ...
Borumand Saeid, Arsham, Rezaei, Akbar
core   +2 more sources

Non-perturbative topos and its application [PDF]

, 2023
Shojaei-Fard, A.
core   +2 more sources

Recyclable Cu/C₃N₄ composite catalyzed AHA/A³ coupling reactions for the synthesis of propargylamines. [PDF]

RSC Adv, 2018
Xu H, Wang J, Wang P, Niu X, Luo Y, Zhu L, Yao X.   +6 more
europepmc   +1 more source

Algebraic axiomatization of tense intuitionistic logic

Open Mathematics, 2011
Chajda Ivan
doaj   +1 more source

Small trypanosome RNA-binding proteins TbUBP1 and TbUBP2 influence expression of F-box protein mRNAs in bloodstream trypanosomes. [PDF]

Eukaryot Cell, 2007
Hartmann C, Benz C, Brems S, Ellis L, Luu VD, Stewart M, D'Orso I, Busold C, Fellenberg K, Frasch AC, Carrington M, Hoheisel J, Clayton CE.   +12 more
europepmc   +1 more source

SP62, a viable mutant of bacteriophage T4D defective in regulation of phage enzyme synthesis. [PDF]

J Virol, 1973
Wiberg JS, Mendelsohn S, Warner V, Hercules K, Aldrich C, Munro JL.   +5 more
europepmc   +1 more source

Implications in pseudocomplemented and Stone lattices

Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic implication based on Heyting algebras.
Chajda, Ivan, Länger, Helmut
core  

On Fidel Vakarelov construction for Monadic Godel algebras

A significant correlation between Nelson algebras and Heyting algebras has been explored by several scholars, including Cignoli, Fidel, Vakarelov, and Sendlewski. This connection is integral to the concept of twist structures, whose origins can be traced
Alonso, Maria Valentina, Pelaitay, Gustavo   +1 more
core  

The commutator in equivalential algebras and Fregean varieties [PDF]

, 2011
Idziak, Paweł, Słomczyńska, Katarzyna, Wroński, Andrzej   +2 more
core   +2 more sources