syllogistic-logic

There are 0 repository under syllogistic-logic topic.

• ais-climber / syllogistic-sizes

  🎊 Repo for code related to a syllogistic logic of 'all', 'at least', and 'more than'. Includes code for model construction and use of prover9 to explore the proof rules of the system.

  syllogistic-logicsyllogismmodel-buildingprover9cardinality-constraints
  Language:C 0