Sciweavers

16 search results - page 1 / 4
» apal 2004
Sort
View
72
Voted
APAL
2004
56views more  APAL 2004»
14 years 11 months ago
Krivine's intuitionistic proof of classical completeness (for countable languages)
Stefano Berardi, Silvio Valentini
63
Voted
APAL
2004
72views more  APAL 2004»
14 years 11 months ago
Fregean logics
Janusz Czelakowski, Don Pigozzi
61
Voted
APAL
2004
58views more  APAL 2004»
14 years 11 months ago
Boolean algebras arising from information systems
Ivo Düntsch, Ewa Orlowska
82
Voted
APAL
2004
67views more  APAL 2004»
14 years 11 months ago
Algorithmic uses of the Feferman-Vaught Theorem
The classical Feferman
Johann A. Makowsky