Non-strict evaluation improves the expressive power of functional languages at the expense of an apparent loss of eeciency. In this paper we give examples of this expressive power, taking as an example an interactive functional program and describing the programming techniques depending on non-strict evaluation which improved its design. Implementation methods for non-strict languages have deli...

Real-valued functions of a real variable which are continuous with respect to the density topology on both the domain and the range are called density continuous. A typical continuous function is nowhere density continuous. The same is true of a typical homeomorphism of the real line. A subset of the real line is the set of points of discontinuity of a density continuous function if and only if...

We provide a necessary and sufficient condition for strict local minimisers of differences of convex (DC) functions, as well as related results pertaining to characterisation of (non-strict) local minimisers, and uniqueness of global minimisers.

In 1926, Ernst Mally proposed the first system of deontic logic. His system turned out to be unacceptable. How can it be repaired? We discuss several proposals to reformulate it in terms of strict implication, relevant implication and strict relevant implication.

The untilmodality of temporal logic “A until B” is called strict in its first argument when it does not constrain the value of the first argument A at the instant at which the formula is evaluated. In this paper, we show that linear metric temporal logics with bounded until modalities that are non-strict in the first argument are as expressive as those with strict modalities, when interpreted o...

1 Introduction 2 Defining conditionals 2.1 What is a conditional? 2.2 The marking of conditionals 3 Structural issues 3.1 The position of merger of the if-clause 3.1.1 If-clauses as adverbial clauses 3.1.2 Height of attachment 3.1.3 A source for sentence-initial if-clauses 3.2 Clause-internal syntax of the if-clause 3.2.1 The location of if 3.2.2 The conditional–interrogative link 3.2.3 The abs...

Theoretical codes (TC’s) are the abstract models that emerge during the sorting of mature memos in to a potential substantive theory. They conceptualize the integration of substantive codes into hypotheses of a substantive theory. The researcher is challenged to staying open to their emergence and earned relevance rather than their preconceived forcing, which is very strong. They not only bring...

We examine the notion of conditionals and the role of conditionals in inductive logics and arguments. We identify three mistakes commonly made in the study of, or motivation for, non-classical logics. A nonmonotonic consequence relation based on evidential probability is formulated. With respect to this acceptance relation some rules of inference of System P are unsound, and we propose refineme...

In de Clippel et al. (2019), it is shown that, perhaps surprisingly, the set of implementable social choice functions essentially same whether agents have bounded depth reasoning or rational expectations. The picture quite different when taking into account possibility small modeling mistakes. While continuous (strict) equilibrium implementation becomes very demanding (Oury and Tercieux (2012) ...