Mathematical Logic through Python — API

Contents:

  • logic_utils module
  • prelim namespace
  • propositions namespace
    • propositions.axiomatic_systems module
    • propositions.deduction module
    • propositions.operators module
    • propositions.proofs module
    • propositions.reductions module
    • propositions.semantics module
    • propositions.some_proofs module
    • propositions.soundness module
    • propositions.syntax module
    • propositions.tautology module
  • predicates namespace
Mathematical Logic through Python — API
  • »
  • propositions namespace

propositions namespace¶

  • propositions.axiomatic_systems module
  • propositions.deduction module
  • propositions.operators module
  • propositions.proofs module
  • propositions.reductions module
  • propositions.semantics module
  • propositions.some_proofs module
  • propositions.soundness module
  • propositions.syntax module
  • propositions.tautology module
Next Previous

© Copyright 2017–2022, Yannai A. Gonczarowski and Noam Nisan