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 +2 more sources
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 +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
G. Th. Guilbaud et la théorie du choix social
, 2011 URL des Documents de travail : http://centredeconomiesorbonne.univ-paris1.fr/bandeau-haut/documents-de-travail/ Classification AMS : 03B05, 91B14.Documents de travail du Centre d'Economie de la Sorbonne 2011.47 - ISSN : 1955-611XOne year after the ...
Monjardet, Bernard
core +1 more source
Lower Bounds for the Polynomial Calculus and the Gröbner Basis Algorithm
, 1997 . Razborov (1996) recently proved that polynomial calculus proofs of the pigeonhole principle PHP m n must have degree at least dn=2e+1 over any field. We present a simplified proof of the same result.
Jirí Sgall +3 more
core
A short Note on Linear Autarkies, q-Horn Formulas and the Complexity Index
, 1999 It is shown that the tractable class of CNF formulas solvable by Linear Autarkies properly contains the class of q-Horn formulas and that it is incomparable with SLUR. Keywords: Satisfiability, Autarkies, Horn, Complexity.
H. Van Maaren
core
Whole-genome sequencing of SARS-CoV-2 isolates from symptomatic and asymptomatic individuals in Tanzania. [PDF]
Front Med (Lausanne), 2022 Mziray SR +12 more
europepmc +1 more source
Septins tune lipid kinase activity and PI(4,5)P2 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