Search results for: Sandra M López

Items from 1 to 6 out of 6 results

article

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

Sandra M. López

Bulletin of the Section of Logic > 2022 > 51 > 1 > 27-56

Six interesting variants of the logics BN4 and E4-which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively-were previously developed in the literature. All these systems are related to the family of relevant logics and contain Routley and Meyer's basic logic B, which is well-known to be specifically associated with the ternary relational semantics...

article

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio, more

Bulletin of the Section of Logic > 2016 > 45 > 2

The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.

article

Relational semantics for the 4-valued relevant logics BN4 and E4

Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela, more

Logic and Logical Philosophy > 2016 > 25 > 2 > 173-201

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.

article

Prevalence and molecular identification of Chlamydia abortus in commercial dairy goat farms in a hot region in Mexico

Eleuterio Campos-Hernández, Juan Carlos Vázquez-Chagoyán, Abdelfattah Z. M. Salem, Jorge Antonio Saltijeral-Oaxaca, more

Tropical Animal Health and Production > 2014 > 46 > 6 > 919-924

The aim of this study was to determine the seroprevalence and presence of Chlamydia abortus in Saanen breed female goats from commercial dairy goat farms under intensive production in the municipality of Guanajuato, Mexico. Sera were collected to determine the prevalence of anti-C. abortus IgG antibodies using recombinant enzyme-linked immunosorbent assay (rELISA) and cell culture. Polymerase chain...

article

Determinants of the tumor suppressor INPP4B protein and lipid phosphatase activities

Sandra M. Lopez, Myles C. Hodgson, Charles Packianathan, Ozlem Bingol-Ozakpinar, more

Biochemical and Biophysical Research Communications > 2013 > 440 > 2 > 277-282

The tumor suppressor INPP4B is an important regulator of phosphatidyl-inositol signaling in the cell. Reduced INPP4B expression is associated with poor outcomes for breast, prostate, and ovarian cancer patients. INPP4B contains a CX ₅ R catalytic motif characteristic of dual-specificity phosphatases, such as PTEN. Lipid phosphatase activity of INPP4B has previously been described. In this...

article

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Wydawnictwo Uniwersytetu Łódzkiego, Gemma Robles, Sandra M López, José M Blanco, more

Bulletin of the Section of Logic > Bulletin of the Section of Logic 45/2 (2016)

Filter options

Publication date

Last 3 years (1)

Close

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

From:

To:
Set your own date range

Keywords

4-VALUED LOGICS (4)
RELEVANT LOGICS (4)
MANY-VALUED LOGICS (3)
2-SET-UP ROUTLEY-MEYER SEMANTICS (2)
CHLAMYDIA ABORTUS (1)
4-VALUED QUASI-RELEVANT LOGICS (1)
AKT (1)
DUAL SPECIFICITY PHOSPHOPROTEIN PHOSPHATASE (1)
INPP4B (1)
ISOLATION (1)
LIPID METABOLISM (1)
PCR (1)
PHOSPHATIDYLINOSITOL PHOSPHATASE (1)
PREVALENCE (1)
ROUTLEY AND MEYER'S LOGIC B (1)
ROUTLEY-MEYER SEMANTICS (1)
TERNARY RELATIONAL SEMANTICS (1)
more

Data set

DML (2)
CEJSH (1)
Elsevier (1)
PSJD (1)
Springer (1)

INFONA - science communication portal

Search results for: Sandra M López

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Relational semantics for the 4-valued relevant logics BN4 and E4

Prevalence and molecular identification of Chlamydia abortus in commercial dairy goat farms in a hot region in Mexico

Determinants of the tumor suppressor INPP4B protein and lipid phosphatase activities

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Filter options

Publication date

Keywords

Data set

Journal

INFONA - science communication portal

Search results for: Sandra M López

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Relational semantics for the 4-valued relevant logics BN4 and E4

Prevalence and molecular identification of Chlamydia abortus in commercial dairy goat farms in a hot region in Mexico

Determinants of the tumor suppressor INPP4B protein and lipid phosphatase activities

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Keywords

Data set

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options