✍ Scribed by Branislav R. Boričić; B. R. Boričić
No coin nor oath required. For personal study only.
In distinction from the well‐known double‐negation embeddings of the classical logic we consider some variants of single‐negation embeddings and describe some classes of superintuitionistic first‐order predicate logics in which the classical first‐order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.
📜 SIMILAR VOLUMES
It fully formulates an interpretation of the Dempster-Shafer theory in terms of the standard semantics of modal logic. It is shown how to represent the basic probability assignment function as well as the commonality function of the Dempster-Shafer theory by modal logic and that this representation
## Abstract In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disj
In a recent article, Chandra and Singpunvalla have pointed out the close relationship between the Lorenz curve, which is frequently used when illustrating income distributions in economics, and the total-time-on-test transform (TTT transform), which has proved to be a very useful tool in reliability
ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)