Logic and Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Netherlands

9789048152018, 9789401721097

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Applicative Theories

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_6 ◽

1999 ◽

pp. 83-92 ◽

Author(s):

Gerhard Jäger ◽

Reinhard Kahle ◽

Thomas Strahm

Download Full-text

The Use of a Logical Principle of Uniform Boundedness in Analysis

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_7 ◽

1999 ◽

pp. 93-106 ◽

Author(s):

Ulrich Kohlenbach

Keyword(s):

Uniform Boundedness ◽

Logical Principle

Download Full-text

The Abstract Compactness Theorem Revisited

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_9 ◽

1999 ◽

pp. 131-141 ◽

Author(s):

Xavier Caicedo

Keyword(s):

Compactness Theorem

Download Full-text

Resolution and the Decision Problem

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_19 ◽

1999 ◽

pp. 249-269

Author(s):

Alexander Leitsch

Keyword(s):

Decision Problem

Download Full-text

On Sets Enclosed Between a Set and Its Double Complement

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_10 ◽

1999 ◽

pp. 143-154 ◽

Author(s):

Wim Veldman

Download Full-text

Intuitionistic Modal Logic

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_17 ◽

1999 ◽

pp. 227-238 ◽

Author(s):

Frank Wolter ◽

Michael Zakharyaschev

Keyword(s):

Modal Logic ◽

Intuitionistic Modal Logic

Download Full-text

Binary Relations in the Social and Mathematical Sciences

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_11 ◽

1999 ◽

pp. 155-163

Author(s):

J. Lambek

Keyword(s):

Binary Relations ◽

Mathematical Sciences

Download Full-text

Carnap’s Remarks on Impredicative Definitions and the Genericity Theorem

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_3 ◽

1999 ◽

pp. 41-55

Author(s):

Thomas Fruchart ◽

Giuseppe Longo

Download Full-text

Some Ins and Outs of Indispensability: A Modal-Structural Perspective

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_2 ◽

1999 ◽

pp. 25-39 ◽

Author(s):

Geoffrey Hellman

Keyword(s):

Structural Perspective

Download Full-text

Some Observations on Noncommutative Substructural Logics

Logic and Foundations of Mathematics ◽

10.1007/978-94-017-2109-7_13 ◽

1999 ◽

pp. 187-194

Author(s):

Hiroakira Ono

Keyword(s):

Substructural Logics

Download Full-text