• Publications
  • Influence
Foundations of the Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics
TLDR
Input/output logic seeks to extract the essential mathematical structure behind recent attempts to reconstruct deontic logic that avoid treating norms as if they had truth-values. Expand
  • 21
  • 1
  • PDF
A new condensation principle
TLDR
We generalize ∇(A), which was introduced in [Sch∞] that can hold in a set-generic extension of L. Expand
  • 9
  • 1
  • PDF
Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001
TLDR
This book is one of the literary work in this world in suitable to be reading material. Expand
  • 9
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference Foundations of the Formal Sciences III (Trends in Logic)
TLDR
Sacks forcing and the Sacks property of algebras of minimal rank . Expand
  • 4
Features in Phonological Theory
Features are central in phonological theory. They come in different varieties. Using the methods of [263] we shall analyse a few conditions on phonological structures. This will elucidate theExpand
  • 2
  • PDF
Extendibility of embeddings
TLDR
Lifting given embeddings is an important tool in core model theory. Expand
  • 2
  • PDF
...
1
2
...