Regioselective Synthesis of Para‐Bromo Aromatic Compounds

Reaction of substituted benzene rings with N‐bromophthalimide, under neutral conditions, gave the corresponding bromo derivatives with a preference for the formation of the para bromo isomer over the ortho isomer. The simple work‐up procedure minimizes loss of product and the yields are good.     

The Σ1-provability logic of HA

In this paper we introduce a modal theory ${\mathsf{iH}}_{\sigma }$ which is sound and complete for arithmetical ${\mathrm{\Sigma }}_1$-interpretations in $\mathsf{HA}$, in other words, we will show that ${\mathsf{iH}}_{\sigma }$ is the ${\mathrm{\Sigma }}_1$-provability logic of $\mathsf{HA}$. Moreover we will show that ${\mathsf{iH}}_{\sigma }$ is decidable. As a by-product of these results, we show that $\mathsf{HA}+\square \perp$ has de Jongh property.     

Introduction to the theory and applications of uncertainty

We introduce the special volume “The theory and applications of uncertainty”.     

Some physico-chemical characteristics of amino-acid derivatives containing rest of 1,2,4-triazole-3,4-di-substituted with potential antitumoral activity

Abstract

Dipeptide derivatives from p-aminobenzoyl-phenylglycine and p-aminobenzoyl-phenylalanine were grafted on 1,2,4-triazole heterocycle in order to get new substances with potential biological activity. The compounds synthetized and characterized in this paper have a structure that fits in the antimetabolites category, products used to treat malignant tumors. The presence of several bioactive groups in the same molecule permits us to study the chemical structure - biological activity correlation based on computational analyses using SPARTAN’14 software. Some correlations between the molecular parameters established with Spartan’14 software are evidenced in this paper.     

Resolvent analysis in unbounded flows: role of free-stream modes

Theoretical and Computational Fluid Dynamics - The problem of finding optimal forcing and response for unbounded base flows, exemplified by the Blasius boundary layer, is assessed by means of a...     

Amalgamation property for the class of basic algebras and some of its natural subclasses

We study Basic algebra, the algebraic structure associated with basic propositional calculus, and some of its natural extensions. Among other things, we prove the amalgamation property for the class of Basic algebras, faithful Basic algebras and linear faithful Basic algebras. We also show that a faithful theory has the interpolation property if and only if its correspondence class of algebras has the amalgamation property.     

Basic Propositional Calculus I

We present an axiomatization for Basic Propositional Calculus BPC and give a completeness theorem for the class of transitive Kripke structures. We present several refinements, including a completeness theorem for irreflexive trees. The class of intermediate logics includes two maximal nodes, one being Classical Propositional Calculus CPC, the other being E₁, a theory axiomatized by T → ⊥. The intersection CPC ∩ E₁ is axiomatizable by the Principle of the Excluded Middle A V ∨ ?A. If B is a formula such that (T → B) → B is not derivable, then the lattice of formulas built from one propositional variable p using only the binary connectives, is isomorphically preserved if B is substituted for p. A formula (T → B) → B is derivable exactly when B is provably equivalent to a formula of the form ((T → A) → A) → (T → A).     

On the linear Lindenbaum algebra of Basic Propositional Logic

We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)