Jump to ContentJump to Main Navigation

You are looking at 1-7 of 7 items

  • Keywords: Horn clauses x
Clear All Modify Search

View:

INTERPOLATION IN (INTUITIONISTIC) LOGIC PROGRAMMING

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.0015
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter provides interpolation results for the Horn clause fragment of classical or intuitionistic logic. A weak variant of interpolation for a fragment of the intuitionistic predicate logic ... More


Horn Clauses: Negative Inversion

Chris Collins and Paul M. Postal

in Classical NEG Raising: An Essay on the Syntax of Negation

Published in print:
2014
Published Online:
September 2015
ISBN:
9780262027311
eISBN:
9780262323840
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262027311.003.0014
Subject:
Linguistics, Syntax and Morphology

This chapter examines Horn clauses in relation to Negative Inversion. It first considers the properties of the Negative Inversion focus and the Negative Inversion Condition (first and second ... More


The Composed Quantifier Argument

Chris Collins and Paul M. Postal

in Classical NEG Raising: An Essay on the Syntax of Negation

Published in print:
2014
Published Online:
September 2015
ISBN:
9780262027311
eISBN:
9780262323840
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262027311.003.0016
Subject:
Linguistics, Syntax and Morphology

This chapter discusses the Composed Quantifier Argument, a widely accepted and apparently devastating argument against a syntactic view of Classical NEG Raising (NR), and argues that it is faulty and ... More


Classical NEG Raising: An Essay on the Syntax of Negation

Chris Collins and Paul M. Postal

Published in print:
2014
Published Online:
September 2015
ISBN:
9780262027311
eISBN:
9780262323840
Item type:
book
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262027311.001.0001
Subject:
Linguistics, Syntax and Morphology

This book considers examples such as the one below on the interpretation where Nancy thinks that this course is not interesting: Nancy doesn't think this course is interesting. It argues that such ... More


Horn Clauses: Preliminaries

Chris Collins and Paul M. Postal

in Classical NEG Raising: An Essay on the Syntax of Negation

Published in print:
2014
Published Online:
September 2015
ISBN:
9780262027311
eISBN:
9780262323840
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262027311.003.0013
Subject:
Linguistics, Syntax and Morphology

This chapter focuses on certain contexts, dubbed Horn clauses, that demand the syntactic presence of a negative constituent. It first considers fronted negative polarity items (NPIs) by giving ... More


Introduction

Chris Collins and Paul M. Postal

in Classical NEG Raising: An Essay on the Syntax of Negation

Published in print:
2014
Published Online:
September 2015
ISBN:
9780262027311
eISBN:
9780262323840
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262027311.003.0001
Subject:
Linguistics, Syntax and Morphology

This book deals with Classical NEG Raising (NR), a kind of syntactic raising wherein a negation (NEG) is raised from the embedded clause to the matrix clause. Part I of the book presents the general ... More


Conclusion

Chris Collins and Paul M. Postal

in Classical NEG Raising: An Essay on the Syntax of Negation

Published in print:
2014
Published Online:
September 2015
ISBN:
9780262027311
eISBN:
9780262323840
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262027311.003.0020
Subject:
Linguistics, Syntax and Morphology

This concluding chapter reviews some of the more general theoretical implications of the argument presented in this book with regard to Classical NEG Raising (NR). It first considers the two types of ... More


View: