Logic Colloquium '96
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9781316716816
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two-Dimensional Temporal Logic

2017 ◽  
pp. 219-236
Author(s):  
Mark Reynolds
Keyword(s):  
Temporal Logic ◽  
Two Dimensional

Arithmetizing proofs in analysis

2017 ◽  
pp. 115-158
Author(s):  
Ulrich Kohlenbach

Incompleteness theorems and Si2 versus Si2

2017 ◽  
pp. 247-261 ◽  
Author(s):  
Gaisi Takeuti
Keyword(s):  
Incompleteness Theorems

Free monoid completeness of the Lambek calculus allowing empty premises

2017 ◽  
pp. 171-210
Author(s):  
M. Pentus
Keyword(s):  
Free Monoid ◽  
Lambek Calculus

Complete Sets and Structure in Subrecursive Classes

2017 ◽  
pp. 45-78 ◽  
Author(s):  
Harry Buhrman ◽  
Leen Torenvliet
Keyword(s):  
Complete Sets

On “star” schemata of Kossak and Paris

2017 ◽  
pp. 101-114
Author(s):  
Vladimir Kanovei

Rather Classless, Highly Saturated Models of Peano Arithmetic

2017 ◽  
pp. 237-246
Author(s):  
James H. Schmerl
Keyword(s):  
Peano Arithmetic ◽  
Saturated Models

Preface

2017 ◽  
pp. v-vi

Kernels and cohomology groups for some finite covers

2017 ◽  
pp. 79-100
Author(s):  
David M. Evans ◽  
Darren G. D. Gray
Keyword(s):  
Cohomology Groups ◽  
Finite Covers

The Logical Foundations of Discourse Interpretation

2017 ◽  
pp. 1-44
Author(s):  
Nicholas Asher
Keyword(s):  
Logical Foundations ◽  
Discourse Interpretation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document