Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic

Venn diagram system has been extended by introducing names of individuals and their absence. Absence gives a kind of negation of singular propositions. We have offered here a non-classical interpretation of this negation. Soundness and completeness of the present diagram system have been established with respect to this interpretation.     

Two results in negation-free logic

Negation-free propositional logic (or first-order logic) is clearly less expressive than the corresponding full system with negation. However, we present two complexity results for logic without negation that are no different from those for the original system. First, the problem of determining logical implication between sentences composed solely of conjunctions and disjunctions is shown to be as difficult as that between arbitrary sentences. Second, we show that the problem of determining a minimum satisfying assignment for a propositional formula in negation-free conjunctive normal form, even with no more than two disjuncts per clause, is NP-complete. We also show that unless P = NP, no polynomial time approximation scheme can exist for this problem.     

Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed

Dialetheism is the view that some true sentences have a true negation as well. Defending dialetheism, Graham Priest argues that the correct account of negation should allow for true contradictions (sentences of the form \(\alpha \) and \(\lnot \alpha \)) without entailing triviality. A negation doing precisely that is said to have ‘surplus content’. Now, to defend that the correct account of negation does have surplus content, Priest advances arguments to hold that classical Boolean negation (which rules out surplus content) does not even make sense without begging the question against the dialetheist. We shall argue that Priest’s arguments may be turned upon themselves, and that he may also be accused of begging the question against the classical logician. We then advance an argument to the effect that Priest’s account of negation falls short of satisfying his own desiderata on a correct account of a negation: a theory of negation that attempts to represent contradictions cannot coherently allow surplus content, and vice-versa, a negation allowing for surplus content bans contradiction.     

Renormalization group study of the melting of a two-dimensional system of collapsing hard disks

We consider the melting of a two-dimensional system of collapsing hard disks (a system with a hard-disk potential to which a repulsive step is added) for different values of the repulsive-step width. We calculate the system phase diagram by the method of the density functional in crystallization theory using equations of the Berezinskii–Kosterlitz–Thouless–Halperin–Nelson–Young theory to determine the lines of stability with respect to the dissociation of dislocation pairs, which corresponds to the continuous transition from the solid to the hexatic phase. We show that the crystal phase can melt via a continuous transition at low densities (the transition to the hexatic phase) with a subsequent transition from the hexatic phase to the isotropic liquid and via a first-order transition. Using the solution of renormalization group equations with the presence of singular defects (dislocations) in the system taken into account, we consider the influence of the renormalization of the elastic moduli on the form of the phase diagram.     

Negation and Paraconsistent Logics

Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation (?{\neg}) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property.     

Curriculum traditions in Berlin and Hong Kong: a comparative case study of the implemented mathematics curriculum

Many studies (such as Pepin in Learners and pedagogy, Sage Publications, London, 1999; Kaiser in ZDM 34(6):241–257, 2002; Park and Leung in Mathematics education in different cultural traditions: a comparative study of East Asia and the West. The 13th ICMI Study, pp. 227–238, Springer, New York, 2006) have revealed that there is a strong dependence on cultural traditions in mathematics teaching in different countries. Education in Germany is influenced by the Central and North European Didaktik tradition (Westbury in Teaching as a reflective practice: the German Didaktik tradition, L. Erlbaum Associates, Mahwah, pp. 15–39, 2000), while that in East Asia is influenced by Confucian heritage culture. However, there have not been studies investigating the relationships between these two cultural traditions and their influences on teaching and learning. This study aims at filling this gap in knowledge. Some commonalities in the aims and beliefs in the underlying philosophies in education in traditional China and Germany were found and are presented in this paper. Specifically, the relationship between cultural traditions and the implemented mathematics curriculum was investigated, using Berlin and Hong Kong as examples. It was found that culture affects the implemented curriculum in a complicated way and that other factors such as the intended curriculum and textbooks may also influence the implemented curriculum.     

Bifurcation Diagram of the Two Vortices in a Bose–Einstein Condensate with Intensities of the Same Signs

Doklady Mathematics - This paper deals with the problem of motion of a system of two point vortices in a Bose–Einstein condensate enclosed in a cylindrical trap. Bifurcation diagram is...     

Computational complexity for bounded distributive lattices with negation

We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.     

Study of the passage from a dissipative to a conservative state in two-dimensional nonlinear systems of ordinary differential equations

We consider an approximate model of a space pendulum described by a system of two equations. We construct a two-dimensional diagram in the parameter space showing the passage from a dissipative to a conservative state in this system. We show that the Poincaré map of this system can be represented as the square of some other map; this fact is used to explain some specific features of the structure of the bifurcation diagram of the original map.     

Empirical Negation

An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation (‘It is unwarranted that. . . ’) and intuitionistic negation (‘It is refutable that. . . ’). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete.     

Diagrams in ancient Egyptian geometry: Survey and assessment

This article surveys and catalogs the geometric diagrams that survive from ancient Egypt. These diagrams are often overspecified and some contain inaccuracies in their construction. The diagrams accompany algorithmic texts and support the mathematical programme of their authors. The study concludes with a brief comparison with the diagram traditions of ancient Babylon, early India, and Greece.     

The stability of parametrically forced coupled oscillators in sum resonance

For a system of two damped parametrically forced oscillators in sum resonance the planar stability diagram of amplitude versus frequency of the forcing shows a discontinuity at damping zero. This is a well known phenomenon, for which we give a geometrical explanation. A linear stability analysis suffices. We show that a versal (i.e. a structurally stable) matrix unfolding for this problem needs four parameters, indicating that the stability diagram is actually four dimensional. The boundary of the stability region in parameter space is singular, this provides a geometric explanation of the discontinuity in the planar stability diagram.     

Modeling binary alloy solidification by a random projection method

This paper addresses the numerical modeling of the solidification of a binary alloy that obeys a liquidus–solidus phase diagram. In order to capture the moving melting front, we introduce a Lagrange projection scheme based on a random sampling projection. Using a finite volume formulation, we define accurate numerical fluxes for the temperature and concentration fields which guarantee the sharp treatment of the boundary conditions at the moving front, especially the jump of the concentration according to the liquidus–solidus diagram. We provide some numerical illustrations which assess the good behavior of the method: maximum principle, stability under CFL condition, numerical convergence toward self‐similar solutions, ability to handle two melting fronts.     

Cardinalities of Residue Fields of Noetherian Integral Domains

We determine the relationship between the cardinality of a Noetherian integral domain and the cardinality of a residue field. One consequence of the main result is that it is provable in Zermelo–Fraenkel Set Theory with Choice (ZFC) that there is a Noetherian domain of cardinality ?₁ with a finite residue field, but the statement “There is a Noetherian domain of cardinality ?₂ with a finite residue field” is equivalent to the negation of the Continuum Hypothesis.     

Phase portraits of the full symmetric Toda systems on rank-2 groups

We continue investigations begun in our previous works where we proved that the phase diagram of the Toda system on special linear groups can be identified with the Bruhat order on the symmetric group if all eigenvalues of the Lax matrix are distinct or with the Bruhat order on permutations of a multiset if there are multiple eigenvalues. We show that the phase portrait of the Toda system and the Hasse diagram of the Bruhat order coincide in the case of an arbitrary simple Lie group of rank 2. For this, we verify this property for the two remaining rank-2 groups, Sp(4,?) and the real form of G₂.     

Splice diagram determining singularity links and universal abelian covers

To a rational homology sphere graph manifold one can associate a weighted tree invariant called splice diagram. In this article we prove a sufficient numerical condition on the splice diagram for a graph manifold to be a singularity link. We also show that if two manifolds have the same splice diagram, then their universal abelian covers are homeomorphic. To prove the last theorem we have to generalize our notions to orbifolds.     

A Molecular Logic of Chords and Their Internal Harmony

Chords are not pure sets of tones or notes. They are mainly characterized by their matrices. A chord matrix is the pattern of all the lengths of intervals given without further context. Chords are well-structured invariants. They show their inner logical form. This opens up the possibility to develop a molecular logic of chords. Chords are our primitive, but, nevertheless, already interrelated expressions. The logical space of internal harmony is our well-known chromatic scale represented by an infinite line of integers. Internal harmony is nothing more than the pure interrelatedness of two or more chords. We consider three cases: (a) chords inferentially related to subchords, (b) pairs of chords in the space of major–minor tonality and (c) arbitrary chords as arguments of unary chord operators in relation to their outputs. One interesting result is that chord negation transforms any pure major chord into its pure minor chord and vice versa. Another one is the fact that the negation of chords with symmetric matrices does not change anything. A molecular logic of chords is mainly characterized by combining general rules for chord operators with the inner logical form of their arguments.     

Lotka–Volterra system and KCC theory: Differential geometric structure of competitions and predations

We consider the differential geometric structure of competitions and predations in the sense of the Lotka–Volterra system based on KCC theory. For this, we visualise the relationship between the Jacobi stability and the linear stability as a single diagram. We find the following. (I) Ecological interactions such as competition and predation can be described by the deviation curvature. In this case, the sign of the deviation curvature depends on the type of interaction, which reflects the equilibrium point type. (II) The geometric quantities in KCC theory can be expressed in terms of the mean and Gaussian curvatures of the potential surface. In this particular case, the deviation curvature can be interpreted as the Willmore energy density of the potential surface. (III) When the equations of the system have nonsymmetric structure for the species (e.g. a predation system), each species also has nonsymmetric geometric structure in the nonequilibrium region, but symmetric structure around the equilibrium point. These findings suggest that KCC theory is useful to establish the geometrisation of ecological interactions.     

Bifurcation Analysis of the Dynamics of Two Vortices in a Bose–Einstein Condensate. The Case of Intensities of Opposite Signs

This paper is concerned with a system two point vortices in a Bose–Einstein condensate enclosed in a trap. The Hamiltonian form of equations of motion is presented and its Liouville integrability is shown. A bifurcation diagram is constructed, analysis of bifurcations of Liouville tori is carried out for the case of opposite-signed vortices, and the types of critical motions are identified.     

The chaos and control of a food chain model supplying additional food to top-predator

The control and management of chaotic population is one of the main objectives for constructing mathematical model in ecology today. In this paper, we apply a technique of controlling chaotic predator–prey population dynamics by supplying additional food to top-predator. We formulate a three species predator–prey model supplying additional food to top-predator. Existence conditions and local stability criteria of equilibrium points are determined analytically. Persistence conditions for the system are derived. Global stability conditions of interior equilibrium point is calculated. Theoretical results are verified through numerical simulations. Phase diagram is presented for various quality and quantity of additional food. One parameter bifurcation analysis is done with respect to quality and quantity of additional food separately keeping one of them fixed. Using MATCONT package, we derive the bifurcation scenarios when both the parameters quality and quantity of additional food vary together. We predict the existence of Hopf point (H), limit point (LP) and branch point (BP) in the model for suitable supply of additional food. We have computed the regions of different dynamical behaviour in the quantity–quality parametric plane. From our study we conclude that chaotic population dynamics of predator prey system can be controlled to obtain regular population dynamics only by supplying additional food to top predator. This study is aimed to introduce a new non-chemical chaos control mechanism in a predator–prey system with the applications in fishery management and biological conservation of prey predator species.