Geodesic

Volume _N_S_82 (2007) no. 96

Sommaire

Aleksandar Kron (1937—2000)
p. 1
Inference in Action
p. 3
Relevant Categories and Partial Functions
p. 17
Disjunction in Modal Description Logics
p. 25
Normal Form Theorem for Systems of Sequents
p. 37
Theorem Provers for Substructural Logics
p. 55
Some Questions Concerning Minimal Structures
p. 79
Intersection Types for lambda^{gtz}-calculus
p. 85
Analytic Tableaux and Interpolation
p. 93
A few Remarks on n-infinite Forcing Companions
p. 99
Forcing With Propositional Lindenbaum Algebras
p. 107
Contrapunctus of the Continuum Problem and the Measure Problem
p. 111
A Theorem on Anti-ordered Factor-semigroups
p. 119
An Enumerative Problem in Threshold Logic
p. 129
Boolean Algebras in Algebraic Topology
p. 135
A Logic With Higher Order Conditional Probabilities
p. 141
Fin-set: a Syntactical Definition of Finite Sets
p. 155