Non-monotonic logic


تاربرگ‌های پیموده‌شده در این نشست: distributive lattice ⟩ Non-monotonic logic ⟩ deductive apparatus ⟩ Felix Hausdorff ⟩ Stewart Shapiro ⟩ C. S. Peirce