This paper develops and compares two tableaux-style proof systems for Peirce algebras. One is a tableau refutation proof system, the other is a proof system in the style of Rasiowa-Sikorski.

An k-noncrossing RNA structure can be identified with an k-noncrossing diagram over [n], which in turn corresponds to a vacillating tableaux having at most (k − 1) rows. In this paper we derive the limit distribution of irreducible substructures via studying their corresponding vacillating tableaux. Our main result proves, that the limit distribution of the numbers of irreducible substructures ...

This paper considers the problem of measuring and analysing the frequency and phase angle variations which occur in a power system after a fault or disturbance. This is an important problem because the results of the analysis are used in implementing control strategies to avert generat,or cutout. Commonly, the frequency is not measured directly, but is inferred from the instantaneous power at t...

Gauge fields of mixed symmetry, corresponding to arbitrary representations of the local Lorentz group of the background spacetime, arise as massive modes in compactifications of superstring theories. We describe bosonic gauge field theories on constant curvature spaces whose fields are in irreducible representations of the general linear group corresponding to Young tableaux with two columns. T...

Services now play a remarkably prominent role in modern economies. Not surprisingly, economists and marketing researchers have begun to turn their attention to the analysis of activities in the so-called tertiary sector. In this chapter we attempt to contribute to the effort of systematizing the analysis of service institutions by integrating perspectives from the economic analysis of instituti...

Smullyan wrote his famous book of puzzles before the boom in automated theorem proving. Hence it is interesting, that all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.

The first step towards a wide-coverage tableau prover for natural logic is presented. We describe an automatized method for obtaining Lambda Logical Forms from surface forms and use this method with an implemented prover to hunt for new tableau rules in textual entailment data sets. The collected tableau rules are presented and their usage is also exemplified in several tableau proofs. The perf...

The concept of green chemistry is widely recognized in chemical laboratories. To properly measure an environmental impact of chemical processes, dedicated assessment tools are required. This paper summarizes the current state of knowledge in the field of development of green chemistry and green analytical chemistry metrics. The diverse methods used for evaluation of the greenness of organic syn...

In this paper, we consider a natural extension of several results related to Krall-type polynomials introducing a modification of a q-classical linear functional via the addition of one or two mass points. The limit relations between the q-Krall type modification of big q-Jacobi, little q-Jacobi, big q-Laguerre, and other families of the q-Hahn tableau are established.