asertoryczno dedukcyjny
Encyklopedia PWN
log. system zdań składający się z założeń oraz twierdzeń (zdań) pochodnych, które wywodzi się z tych założeń na podstawie wyraźnie sformułowanych, dedukcyjnych reguł wynikania logicznego.