APAL 2004 | Sciweavers

Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...

James Cummings, Matthew Foreman, Menachem Magidor

claim paper

Read More »

25

click to vote

APAL
2004

52views more APAL 2004»

Lesniewski's early Liar, Tarski and natural language

13 years 9 months ago

Download dare.ubvu.vu.nl

Arianna Betti

claim paper

Read More »

23

click to vote

APAL
2004

56views more APAL 2004»

Krivine's intuitionistic proof of classical completeness (for countable languages)

13 years 9 months ago

Download www.di.unito.it

Stefano Berardi, Silvio Valentini

claim paper

Read More »

33

click to vote

APAL
2004

111views more APAL 2004»

Concept lattices and order in fuzzy logic

13 years 9 months ago

Download www.knu.edu.tw

The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...

Radim Belohlávek

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers