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

Logic Colloquium ’99 ◽

10.1017/9781316755921.006 ◽

2017 ◽

pp. 68-79

Author(s):

Valentin Goranko

Keyword(s):

Semantic Completeness

Download Full-text

Linear logic as a framework for specifying sequent calculus

Logic Colloquium ’99 ◽

10.1017/9781316755921.010 ◽

2017 ◽

pp. 111-135 ◽

Cited By ~ 2

Author(s):

Dale Miller ◽

Elaine Pimentel

Keyword(s):

Sequent Calculus ◽

Linear Logic

Download Full-text

The intuitionistic arithmetical hierarchy

Logic Colloquium ’99 ◽

10.1017/9781316755921.004 ◽

2017 ◽

pp. 51-59 ◽

Cited By ~ 1

Author(s):

Wolfgang Burr

Keyword(s):

Arithmetical Hierarchy

Download Full-text

Kripke models of certain subtheories of Heyting Arithmetic

Logic Colloquium ’99 ◽

10.1017/9781316755921.011 ◽

2017 ◽

pp. 136-142

Author(s):

Tomasz Połacik

Keyword(s):

Kripke Models ◽

Heyting Arithmetic

Download Full-text

Preface

Logic Colloquium ’99 ◽

10.1017/9781316755921.001 ◽

2017 ◽

pp. v-vi

Author(s):

Jan Van Eijck ◽

Vincent Van Oostrom ◽

Albert Visser

Download Full-text

Valued fields and elimination of imaginaries

Logic Colloquium ’99 ◽

10.1017/9781316755921.007 ◽

2017 ◽

pp. 80-88

Author(s):

Deirdre Haskell

Keyword(s):

Valued Fields

Download Full-text

A very slow growing hierarchy for

Logic Colloquium ’99 ◽

10.1017/9781316755921.014 ◽

2017 ◽

pp. 182-199 ◽

Cited By ~ 1

Author(s):

Andreas Weiermann

Keyword(s):

Slow Growing

Download Full-text

A description of the non-sequential execution of Petri nets in partially commutative linear logic

Logic Colloquium ’99 ◽

10.1017/9781316755921.013 ◽

2017 ◽

pp. 152-181 ◽

Cited By ~ 1

Author(s):

Christian Retoré

Keyword(s):

Petri Nets ◽

Linear Logic ◽

Sequential Execution

Download Full-text

Simple sets and ideals under m-reducibility

Logic Colloquium ’99 ◽

10.1017/9781316755921.008 ◽

2017 ◽

pp. 89-99

Author(s):

Kejia Ho ◽

Frank Stephan

Keyword(s):

Simple Sets

Download Full-text

Borel irreducibility between two large families of Borel equivalence relations

Logic Colloquium ’99 ◽

10.1017/9781316755921.009 ◽

2017 ◽

pp. 100-110

Author(s):

Vladimir Kanovei ◽

Michael Reeken

Keyword(s):

Equivalence Relations ◽

Borel Equivalence Relations ◽

Large Families

Download Full-text