Results 1 to 10 of about 10 (10)

DRAT and Propagation Redundancy Proofs Without New Variables [PDF]

Logical Methods in Computer Science, 2021
We study the complexity of a range of propositional proof systems which allow inference rules of the form: from a set of clauses $\Gamma$ derive the set of clauses $\Gamma \cup \{ C \}$ where, due to some syntactic condition, $\Gamma \cup \{ C \}$ is ...
Sam Buss, Neil Thapen
doaj   +1 more source

A New Interpretation of Multi-Polarity Fuzziness Subalgebras of BCK/BCI-Algebras

Fuzzy Information and Engineering, 2022
In this paper, as a further generalization of m-polar fuzziness subalgebras, we present the conception of an m-polar [Formula: see text]-fuzzy subalgebra in BCK/BCI-algebras and discuss some interesting properties of it.
Anas Al-Masarwah, Abd Ghafur Ahmad
doaj   +1 more source

Fuzzy Weak Filters of Sheffer Stroke Hilbert Algebras

Annales Mathematicae Silesianae, 2023
The (fuzzy) filter of the Sheffer stroke Hilbert algebra was addressed by Oner, Katican and Borumand Saeid. The weak version of the filter was discussed by Jun and Oner. In this manuscipt, with the fuzzy version of the weak filter in mind, the notions of
Borzooei Rajab Ali, Rezaei Gholam Reza, Jun Young Bae   +2 more
doaj   +1 more source

Some properties of n-dimensional (∈γ, ∈γ, ∨qδ)-fuzzy subalgebra in BRK-algebras

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016
The purpose of this paper is to initiate the concept of n-dimensional (∈γ, ∈γ, ∨qδ)-fuzzy subalgebra in BRK-algebra and investigate some of their related properties.
Zulfiqar Muhammad
doaj   +1 more source

Sistemas multi–modales de profundidad restringida

Ingeniería y Ciencia, 2008
Se presentan como extensiones del cálculo proposicional clásico, la jerarquíade sistemas deductivos SMM–n con n > 1. SMM–n es el sistema multi–modalde profundidad–n. El sistema SMM–1 es el cálculo proposicional clásico.
Manuel Sierra A.
doaj  

Whole-genome sequencing of SARS-CoV-2 isolates from symptomatic and asymptomatic individuals in Tanzania. [PDF]

Front Med (Lausanne), 2022
Mziray SR, van Zwetselaar M, Kayuki CC, Mbelele PM, Makubi AN, Magesa AS, Kisonga RM, Sonda TB, Kibiki GS, Githinji G, Heysell SK, Chilongola JO, Mpagama SG.   +12 more
europepmc   +1 more source

Septins tune lipid kinase activity and PI(4,5)P₂ turnover during G-protein-coupled PLC signalling in vivo. [PDF]

Life Sci Alliance, 2022
Kumari A, Ghosh A, Kolay S, Raghu P.
europepmc   +1 more source

Assessing Chronotypes by Ambulatory Circadian Monitoring. [PDF]

Front Physiol, 2019
Martinez-Nicolas A, Martinez-Madrid MJ, Almaida-Pagan PF, Bonmati-Carrion MA, Madrid JA, Rol MA.   +5 more
europepmc   +1 more source

A dPIP5K dependent pool of phosphatidylinositol 4,5 bisphosphate (PIP2) is required for G-protein coupled signal transduction in Drosophila photoreceptors. [PDF]

PLoS Genet, 2015
Chakrabarti P, Kolay S, Yadav S, Kumari K, Nair A, Trivedi D, Raghu P.   +6 more
europepmc   +1 more source

Genetic snapshots of the Rhizobium species NGR234 genome. [PDF]

Genome Biol, 2000
Viprey V, Rosenthal A, Broughton WJ, Perret X.   +3 more
europepmc   +1 more source