Logic Colloquium ’99
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

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

Logical topologies and semantic completeness

2017 ◽  
pp. 68-79
Author(s):  
Valentin Goranko
Keyword(s):  
Semantic Completeness

scholarly journals Linear logic as a framework for specifying sequent calculus

2017 ◽  
pp. 111-135 ◽  
Author(s):  
Dale Miller ◽  
Elaine Pimentel
Keyword(s):  
Sequent Calculus ◽  
Linear Logic

The intuitionistic arithmetical hierarchy

2017 ◽  
pp. 51-59 ◽  
Author(s):  
Wolfgang Burr
Keyword(s):  
Arithmetical Hierarchy

Kripke models of certain subtheories of Heyting Arithmetic

2017 ◽  
pp. 136-142
Author(s):  
Tomasz Połacik
Keyword(s):  
Kripke Models ◽  
Heyting Arithmetic

Preface

2017 ◽  
pp. v-vi
Author(s):  
Jan Van Eijck ◽  
Vincent Van Oostrom ◽  
Albert Visser

Valued fields and elimination of imaginaries

2017 ◽  
pp. 80-88
Author(s):  
Deirdre Haskell
Keyword(s):  
Valued Fields

A very slow growing hierarchy for

2017 ◽  
pp. 182-199 ◽  
Author(s):  
Andreas Weiermann
Keyword(s):  
Slow Growing

Simple sets and ideals under m-reducibility

2017 ◽  
pp. 89-99
Author(s):  
Kejia Ho ◽  
Frank Stephan
Keyword(s):  
Simple Sets

Borel irreducibility between two large families of Borel equivalence relations

2017 ◽  
pp. 100-110
Author(s):  
Vladimir Kanovei ◽  
Michael Reeken
Keyword(s):  
Equivalence Relations ◽  
Borel Equivalence Relations ◽  
Large Families
Load More ...
Sign in / Sign up

Export Citation Format

Share Document