رده‌ها بَوَندَگی

بَوَندَگی ساختاری

همچنین شناخته شده با: تمامیت ساختاری
برابر انگلیک (انگلیسی): Structural completeness

ویمند [=تعریف]

یک گویایی را ساختارانه بوندگ [=تمام] می‌گویند اگر هر رزن پذیرفتنی [=قاعده قابل قبول] یک رزن واخنش‌پذیر [=قابل استنتاج] باشد.



تاربرگ‌های پیموده‌شده در این نشست: PL.FL.03 چندی‌گر سان مایکروسیستمز زیرهنگرد درباره‌ی نماردن