Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings > Syllogistic Logic with “Most”
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings |
Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss; Daniel Leivant; Anjolina G. de Oliveira
Springer Berlin Heidelberg
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Syllogistic Logic with “Most”
Authors

Jörg Endrullis; Lawrence S. Moss

ARI Id

1664696972252_2771914

Access

Not Available Free

Pages

124-139

DOI

10.1007/978-3-662-47709-0_10

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-662-47709-0_10

Table of Contents of Book
Showing 1 to 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XX
The Word Problem for Finitely Presented Quandles is Undecidable
James Belk; Robert W. McGrail
1-13
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
Liron Cohen; Robert L. Constable
14-26
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
Bernhard Heinemann
27-37
An Equation-Based Classical Logic
Andreia Mordido; Carlos Caleiro
38-52
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
Vito Michele Abrusci; Roberto Maieli
53-68
A Dichotomy Result for Ramsey Quantifiers
Ronald de Haan; Jakub Szymanik
69-80
Parametric Polymorphism — Universally
Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo
81-92
On the Weak Index Problem for Game Automata
Alessandro Facchini; Filip Murlak; Michał Skrzypczak
93-108
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
Philippe de Groote
109-123
Syllogistic Logic with “Most”
Jörg Endrullis; Lawrence S. Moss
124-139
Characterizing Frame Definability in Team Semantics via the Universal Modality
Katsuhiko Sano; Jonni Virtema
140-155
An Epistemic Separation Logic
Jean-René Courtault; Hans van Ditmarsch; Didier Galmiche
156-173
Equational Properties of Stratified Least Fixed Points (Extended Abstract)
Zoltán Ésik
174-188
The p-adic Integers as Final Coalgebra
Prasit Bhattacharya
189-199
Back Matter
201-201
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings