Results 31 to 40 of about 617,541 (299)

Admissible rules in the implication-negation fragment of intuitionistic logic [PDF]

, 2010
Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic IPC and its consistent axiomatic extensions (intermediate logics).
Metcalfe, George, Cintula, Petr, Petr Cintula, George Metcalfe   +3 more
core   +1 more source

On Implicative and Positive Implicative GE Algebras

Bulletin of the Section of Logic, 2023
GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these algebras are investigated.
openaire   +3 more sources

Lexical Strings in EFL Textbooks: SFL Analysis and Teaching Implications

Journal of Applied Linguistics and Literature
Textbooks play a crucial role in the teaching-learning process by offering students a well-organized and thorough source of information. They function as an essential educational resource, motivating pupils to attain fluency in the desired language ...
Hieronimus Canggung Darong, Indra Susanto, Ely Heldy Diana Selamat, Yulian Juita Ekalia, Maria Olga Jelimun   +4 more
doaj   +1 more source

Special Section on Michael Rothberg’s The Implicated Subject: Introduction

Journal of Perpetrator Research, 2020
For this issue of JPR we have assembled a special section on The Implicated Subject in order to begin exploring the implications of Rothberg’s intervention for the field of perpetrator studies. The special section opens with an interview with Rothberg in
Susanne Knittel, Sofía Forchieri
doaj   +1 more source

Quasi-implication algebras [PDF]

, 2002
A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic).
Chajda, Ivan, Dušek, Kamil
core   +1 more source

Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan, Michael Abele, Calogero Virgone, Michaela Kuhlen, Ricardo Lopez‐Almarez, Tal Ben‐Ami, Ewa Bien, Maja Cesen, Malgorzata A. Krawczyk, Andrea Ferrari, Gianni Bisogno, Yves Reguerre, Dominik T. Schneider, Louise Galmiche, Jorg Fuchs, Sarah Braungart, Bilgehan Yalcin, Ines B. Brecht, Daniel Orbach   +18 more
wiley   +1 more source

Le circuit entre modulations et modalisations

Signata, 2022
This contribution aims to explore a new general theoretical framework of the modal, trying to position it as an index of the heterogeneous implicative tensions that occupy the discursive instances and that require local resolutions in order to ensure a ...
Pierluigi Basso Fossali
doaj   +1 more source

Ovarian Sex Cord Stromal Tumors in Children and Adolescents—The European Standard Clinical Practice Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT As part of the European Cooperative Study Group for Paediatric Rare Tumours initiative, we developed standard clinical practice guidelines for ovarian sex cord stromal tumors, based on comprehensive national and international cohort analyses, literature review, and a final expert consensus conference.
Dominik T. Schneider, Kris‐Ann Schultz, Nora Schnitzler, Michael Abele, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Ines B. Brecht, Maja Cesen, Andrea Ferrari, Michaela Kuhlen, Malgorzata A. Krawczyk, Ricardo Lopez‐Almaraz, Yves Reguerre, Calogero Virgone, Daniel Orbach   +15 more
wiley   +1 more source

Penetapan Status Tersangka Dan Terdakwa Calon Kepala Daerah Dan Implikasi Yuridisnya Dalam Pemilihan Kepala Daerah (Kajian Yuridis Normatif) [PDF]

SASI, 2018
Political contestation in the election of regional heads simultaneously in the third stage of 2017 became popular in particular the election of regional heads in Jakarta Special Capital Region (DKI).
Imam Ropii
doaj   +2 more sources

Necessary and sufficient conditions in theorems

Lietuvos Matematikos Rinkinys
When students and professional mathematicians are asked what the difference between necessary and sufficient conditions is, they often have difficulty answering the question.
Edmundas Mazėtis, Grigorijus Melničenko   +1 more
doaj   +1 more source