Kento Takagi
YOU?
Author Swipe
View article: Rapid-onset Severe Cytokine Release Syndrome With Marked Interleukin-6 Increase and Acute Liver Injury After the First Tarlatamab Dose in SCLC: Case Report
Rapid-onset Severe Cytokine Release Syndrome With Marked Interleukin-6 Increase and Acute Liver Injury After the First Tarlatamab Dose in SCLC: Case Report Open
View article: Macitentan Administration for Pulmonary Hypertension Due to β-thalassemia with Multiple Organ Failure
Macitentan Administration for Pulmonary Hypertension Due to β-thalassemia with Multiple Organ Failure Open
A 51-year-old Thai woman diagnosed with β-thalassemia underwent regular blood transfusion and iron-chelating therapy. However, after voluntarily discontinuing treatment, the patient developed progressive dyspnea and was diagnosed with pulm…
View article: What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains?
What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains? Open
It is known that intuitionistic Kripke semantics can be generalized so that it can treat arbitrary propositional connectives characterized by truth functions. We extend this generalized Kripke semantics to first-order logic, and study how …
View article: Case of a Deep Neck Abscess During Treatment for COVID-19
Case of a Deep Neck Abscess During Treatment for COVID-19 Open
BACKGROUND COVID-19 is treated using antiviral and immunosuppressive drugs. Therefore, patients treated for COVID-19 may have an increased risk of secondary infection and a masked inflammatory response. We present a case of a deep neck abs…
View article: Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic
Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic Open
It is known that not only classical semantics but also intuitionistic Kripke semantics can be generalized so that it can treat arbitrary propositional connectives characterized by truth tables, or truth functions. In our previous work, it …
View article: On the completeness and the decidability of strictly monadic second‐order logic
On the completeness and the decidability of strictly monadic second‐order logic Open
Regarding strictly monadic second‐order logic (SMSOL), which is the fragment of monadic second‐order logic in which all predicate constants are unary and there are no function symbols, we show that a standard deductive system with full com…