We show that Smullyan's analytic tableaux cannot p-simulate the truth-tables. We identify the cause of this computational breakdown and relate it to an underlying semantic diiculty which is common to the whole tradition originating in Gentzen's sequent calculus, namely the dissonance between cut-free proofs and the Principle of Bivalence. Finally we discuss some ways in which this principle can...

BACKGROUND Data-sharing is encouraged to fulfill the ethical responsibility to transform research data into public health knowledge, but data sharing carries risks of improper disclosure and potential harm from release of individually identifiable data. METHODS The study objective was to develop and implement a novel method for scientific collaboration and data sharing which distributes the a...

This paper proposes a new method to address a three-dimensional concurrent engineering (3D-CE) approach. It uses a Multi-Objective Linear Programming (MOLP) model integrated to the TOPSIS method in order to determine the best configuration product design, assembly process and suppliers of components. This method is able to involve various supply chain strategies by considering qualitative and q...

this study presents a mixed model (qualitative- quantitative) to create future scenarios of the statistical center of iran. in this study, using the combination of analytic hierarchy process (ahp) and the delphi method based on schwartz model, which is one of the most commonly used methods in the field of scenario planning and futures study, identify and prioritize the most important drivers th...

Autoethnography – a qualitative research method that combines characteristics of ethnography and autobiography – is gaining momentum within the creative and performing arts as a research tool, partly because of the opportunity it provides for writers, artists, performers and others to reflect critically upon their personal and professional creative experiences. In recent years, ‘analytic autoet...

We describe a general operational method that can be used in the analysis of fractional initial and boundary value problems with additional analytic conditions. As an example, we derive analytic solutions of some fractional generalisation of differential equations of mathematical physics. Fractionality is obtained by substituting the ordinary integer-order derivative with the Caputo fractional ...

In an editorial in a previous issue of this journal Rapport et al introduced the metaphor of the edgelands, arguing that the area between urban and rural landscapes serves to illustrate some of the difficulties of interdisciplinarity experienced by those who work in the medical humanities. In this paper the authors explore some specific issues of qualitative research methodology in health care ...