First-Degree Entailment and Structural Reasoning

2019 ◽  
pp. 311-324
Author(s):  
Yaroslav Shramko
Keyword(s):  
First Degree Entailment ◽  
Structural Reasoning

scholarly journals Revisitando a Lógica de Dunn-Belnap

Manuscrito ◽  
2017 ◽  
Vol 40 (2) ◽  
pp. 99-126 ◽  
Author(s):  
Carolina Blasio
Keyword(s):  
First Degree Entailment

RESUMO O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment (E) de Dunn e Belnap. Diferente das situações epistêmicas originalmente usadas em E, as atitudes cognitivas não coincidem com valores-de-verdade e parecem mais adequadas para as lógicas que pretendem considerar o conteúdo informacional de proposições “ditas verdadeiras” tanto quanto as proposições “ditas falsas” como determinantes da noção de validade das inferências. Após analisar algumas lógicas associadas à semântica proposta, introduzimos a lógica E B cuja relação de consequência semântica subjacente - o B-entailment - é capaz de expressar diversos tipos de raciocínio em relação às atitudes cognitivas de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para E B .

Synthesis of novel pyrazole derivatives using organophosphorus, stibine, and arsine reagents and their antitumor activities

2016 ◽  
Vol 71 (7) ◽  
pp. 765-776 ◽  
Author(s):  
Naglaa F. El-Sayed ◽  
Ewies F. Ewies ◽  
Marwa El-Hussieny ◽  
Leila S. Boulos ◽  
ElSayed M. Shalaby
Keyword(s):  
Cell Line ◽  
Carcinoma Cell ◽  
New Products ◽  
Carcinoma Cell Line ◽  
Breast Carcinoma Cell Line ◽  
Human Breast ◽  
Antitumor Activities ◽  
Hepatocellular Carcinoma Cell Line ◽  
Human Hepatocellular Carcinoma Cell ◽  
Structural Reasoning

AbstractThe reactions of 5-azido-3-methyl-1-phenyl-1H-pyrazole-4-carbaldehyde (azidopyrazole) with several classes of organophosphorus reagents: phosphonium ylides, Wittig-Horner reagents, dialkylphosphonates, trialkylphosphites, tris(dialkylamino)phosphanes, triphenylstibane, triphenylarsane, and Lawesson’s reagent are reported. Structural reasoning for the new products was based on compatible analytical and spectral data. The cytotoxic activity of most of the new products was evaluated against human breast carcinoma cell line (MCF7) and human hepatocellular carcinoma cell line(HepG2). Certain tested compounds showed promising results.

Developing Structural Reasoning with Diagrams

2020 ◽  
Vol 113 (10) ◽  
pp. 812-820
Author(s):  
Hyung Sook Lee ◽  
Jaehoon Yim, ◽  
Jacqueline Coomes
Keyword(s):  
Structural Reasoning

Advance students' strategies by highlighting properties, diverting attention away from procedures and algebraic skills to see the structures in expressions.

scholarly journals Hybrid Deduction-Refutation Systems for FDE-Based Logics

2021 ◽  
Vol 18 (6) ◽  
pp. 599-615
Author(s):  
Eoin Moore
Keyword(s):  
Hybrid Systems ◽  
Hybrid System ◽  
Classical Logic ◽  
First Degree Entailment ◽  
Refutation Systems

Hybrid deduction-refuation systems are presented for four first-degree entailment based logics. The hybrid systems are shown to be deductively and refutationally sound with respect to their logics. The proofs of completeness are presented in a uniform way. The paper builds on work by Goranko, who presented a deductively and refutationally sound and complete hybrid system for classical logic.

Sign in / Sign up

Export Citation Format

Share Document