Definition:Complete Logistic System

From ProofWiki
Jump to navigation Jump to search

Definition

A complete logistic system is a logistic system in which every valid WFF is a theorem.


Also see

  • Results about complete logistic systems can be found here.


Sources