Sciweavers

65
Voted
APAL
2004
58views more  APAL 2004»
15 years 16 days ago
Boolean algebras arising from information systems
Ivo Düntsch, Ewa Orlowska
68
Voted
APAL
2004
72views more  APAL 2004»
15 years 16 days ago
Fregean logics
Janusz Czelakowski, Don Pigozzi
APAL
2004
132views more  APAL 2004»
15 years 16 days ago
Canonical structure in the universe of set theory: part one
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
68
Voted
APAL
2004
52views more  APAL 2004»
15 years 16 days ago
Lesniewski's early Liar, Tarski and natural language
Arianna Betti
76
Voted
APAL
2004
56views more  APAL 2004»
15 years 16 days ago
Krivine's intuitionistic proof of classical completeness (for countable languages)
Stefano Berardi, Silvio Valentini
97
Voted
APAL
2004
111views more  APAL 2004»
15 years 16 days ago
Concept lattices and order in fuzzy logic
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