This book, written by one of philosophy's pre-eminent logicians, argues that many of the
basic assumptions common to logic, philosophy of mathematics and metaphysics are in …

We describe a logic which is the same as first-order logic except that it allows control over
the information that passes down from formulas to subformulas. For example the logic is …

The idea for this book was suggested by Bill Cobern. We would like to thank him for his
encouragement and support. A number of people assisted in the preparation of this book …

Bringing together over twenty years of research, this book gives a complete overview of
independence-friendly logic. It emphasizes the game-theoretical approach to logic …

The central claim of this dissertation is that there is more variation than previously
recognized in the types of plural events that verbal predicates can denote. To make this …

The paper proposes a novel solution to the problem of scope posed by natural language
indefinites that captures both the difference in scopal freedom between indefinites and bona …

This paper presents an analysis of a new scope puzzle that arises through the interaction of
two lesser-studied constructions, dependent indefinites and verbal pluractionality. The result …

Triangular norm based predicate fuzzy logics - ScienceDirect Skip to main contentSkip to article
Elsevier logo Journals & Books Search RegisterSign in View PDF Download full issue Search …

Background. At the center of logic, computation theory, and game theory is an interest in
information and in the ways information can be processed correctly, mechanically, and …

Independence friendly logic (IF logic, IF first-order logic) is an extension of first-order logic. In
it, more quantifier dependencies and independencies can be expressed than in first-order …