Kant enunciated twelve forms of judgment, and his table of judgments is the basis for the table of categories. The logic with which Kant was working was traditional Aristotelian logic, which he modified to suit his purposes.
Quantity
Universal: All A is B
Particular: Some A is B
Singular: a is B
Quality
Affirmative: A is B
Negative: A is not B
Infinite: A is a non-B
Relation:
Categorical: A is B
(Example: Bodies are divisible.)
Hypothetical: If A is B then C is D (similarly for 'is not' and 'is a non-)
(Example: If there is a perfect justice, the obstinately wicked are punished.)
Disjunctive: a is A or B or C
(Example: The world exists either through blind chance, or thorugh inner necessity, or through an external cause.)
Modality
Problematic: A may be B
Assertoric: A (really) is B
Apodeictic: A must be B