Jump to ContentJump to Main Navigation

You are looking at 1-10 of 45 items

  • Keywords: amalgamation x
Clear All Modify Search

View:

Interpolation and Definability: Modal and Intuitionistic Logics

Dov M. Gabbay and Larisa Maksimova

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book focuses on interpolation and definability. This notion is not only central in pure logic, but has significant meaning and applicability in all areas where logic itself is applied, ... More


Amalgamation Negotiations

Roger Undy

in Trade Union Merger Strategies: Purpose, Process, and Performance

Published in print:
2008
Published Online:
September 2008
ISBN:
9780199544943
eISBN:
9780191719936
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199544943.003.0007
Subject:
Business and Management, HRM / IR

Amalgamating partners' negotiating powers are taken to be a function of their interdependence. On this basis, the amalgamations studied are divided into three groups: dominant partner unions' ... More


Amalgamations: Post‐Merger Performance

Roger Undy

in Trade Union Merger Strategies: Purpose, Process, and Performance

Published in print:
2008
Published Online:
September 2008
ISBN:
9780199544943
eISBN:
9780191719936
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199544943.003.0008
Subject:
Business and Management, HRM / IR

Dominant‐partner amalgamations are briefly discussed before focusing on balanced‐partner amalgamations. The outcomes of dominant‐partner amalgamations are similar to those generated by transfers. In ... More


Mergers: Good or Bad for Unions?

Roger Undy

in Trade Union Merger Strategies: Purpose, Process, and Performance

Published in print:
2008
Published Online:
September 2008
ISBN:
9780199544943
eISBN:
9780191719936
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199544943.003.0009
Subject:
Business and Management, HRM / IR

The effect of mergers on the partner unions' post‐merger performance is addressed before assessing the implications of union mergers for the wider trade union movements' revitalization. It is ... More


Amalgamation Strategies

Roger Undy

in Trade Union Merger Strategies: Purpose, Process, and Performance

Published in print:
2008
Published Online:
September 2008
ISBN:
9780199544943
eISBN:
9780191719936
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199544943.003.0006
Subject:
Business and Management, HRM / IR

The potential for amalgamations to transform union organization is discussed before outlining the main characteristics of the ten amalgamated and two aborted amalgamations at the heart of the study. ... More


INTRODUCTION AND DISCUSSION

D.M. Gabbay and L. Maksimova

in Interpolation and Definability: Modal and Intuitionistic Logics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.003.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This introductory chapter explains various options and aspects of interpolation. It gives some case study examples and presents an overview of the book's contents.


CRAIG'S THEOREM IN SUPERINTUITIONISTIC LOGICS AND AMALGAMABLE VARIETIES OF PSEUDOBOOLEAN ALGEBRAS

D.M. Gabbay and L. Maksimova

in Interpolation and Definability: Modal and Intuitionistic Logics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.003.0006
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter contains a full description of superintuitionistic logics with Craig's interpolation property CIP. It turns out that in the continuum of intermediate logics, only seven have Craig's ... More


EXTENSIONS OF THE PROVABILITY LOGIC

D.M. Gabbay and L. Maksimova

in Interpolation and Definability: Modal and Intuitionistic Logics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.003.0012
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter shows that actions of interpolation in extensions of the provability logic G differs from that over S4. A logic Gγ is constructed, which possesses Craig's interpolation property but is ... More


FURTHER RESULTS AND DISCUSSION

D.M. Gabbay and L. Maksimova

in Interpolation and Definability: Modal and Intuitionistic Logics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.003.0017
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter discusses further directions of research. A brief review of the results obtained on interpolation and definability, which were not included in this volume, is presented.


EXTENSIONS

Roman Kossak and James H. Schmerl

in The Structure of Models of Peano Arithmetic

Published in print:
2006
Published Online:
September 2007
ISBN:
9780198568278
eISBN:
9780191718199
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198568278.003.0002
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter introduces some techniques for constructing elementary simple extensions. In particular, it includes proof of the existence of superminimal elementary end extensions of countable models ... More


View: