Mortensen Logics

12 (Lynne Mortensen).pmd

Language impairment is a commonly occurring consequence of brain impairment following left cerebral hemisphere stroke and traumatic brain injury. While some recovery usually occurs, persistent communication impairment interferes significantly with a person’s social functioning. Language rehabilitation aims to restore optimum functional communication by enabling a person to recover impaired lang...

The Mortensen Rule and Efficient Coordination Unemployment

We study the implementation of constrained-efficient allocations in labour markets where a basic coordination problem leads to an equilibrium matching function. We argue that these allocations can be achieved in equilibrium if wages are determined by ex post bidding. This holds true even in finite sized markets where the equilibrium matching function has decreasing returns to scale – where the ...

Can the Mortensen-Pissarides Matching Model . . .

EQ-logics with delta connective

In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...

Justification logics and hybrid logics

Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, w...