SLOGICA
2002
13 years 11 months ago
2002
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose -free fragment is th...
SLOGICA
2002
13 years 11 months ago
2002
SLOGICA
2002
13 years 11 months ago
2002
SLOGICA
2002
13 years 11 months ago
2002
SLOGICA
2002
13 years 11 months ago
2002
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...
SLOGICA
2002
13 years 11 months ago
2002
SLOGICA
2002
13 years 11 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...