logics/__init__.py,sha256=iwhKnzeBJLKxpRVjvzwiRE63_zNpIBfaKLITauVph-0,24
logics/classes/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logics/classes/exceptions.py,sha256=pHOJ2586f4n_oRy3tCjIHbjWu6H2EjDVL7-1iWFGoYo,919
logics/classes/predicate/__init__.py,sha256=ZpDVc_Kj6zdPikJyR6wlSiEKr4ZOvVJmodXJfBXutbc,243
logics/classes/predicate/formula.py,sha256=0IpOvvi3xyaYEQGT6dssrIt0dllbysV5s1pu6m7z-U4,27797
logics/classes/predicate/language.py,sha256=PgXGXw7N60fAcJ8Yd1w4atpB4iORxGv5gZSuTVARLB8,19794
logics/classes/predicate/proof_theories/__init__.py,sha256=PWrCaYrFnmpdoW7r2glLLqDEWVx5IyocYuPM70w1qIo,246
logics/classes/predicate/proof_theories/derivation.py,sha256=ruIZhL_AwYKF-DFUxW0yvJZ6YsnxDujzxikxVL4VNSQ,418
logics/classes/predicate/proof_theories/natural_deduction.py,sha256=uuN1Mo7jIdNyEqA5rb0CxyT5guru4OuDtNYoj3eEUkk,11504
logics/classes/predicate/semantics/__init__.py,sha256=XIbNNC86HMyuZ-g9HyG95kPWZXg87R_IOM5wopwafcQ,72
logics/classes/predicate/semantics/models.py,sha256=1Lk_ZiEECk-oCvEK5FlPGnXdJD-A9kiemmltRjTQ5Vk,35944
logics/classes/propositional/__init__.py,sha256=j9vQnT-fBpmJ78wakS9RXxyaU9addeQDov_s3RgzjsY,195
logics/classes/propositional/formula.py,sha256=tdimhdNXvX6VJZKPsd6-KFAE_ORh6m19WhNj6WSAabI,19235
logics/classes/propositional/inference.py,sha256=byVihwbJJRF-xuZue8QZLRgLOFYpgaKkRtGkuMZ5pyI,22170
logics/classes/propositional/language.py,sha256=7hZ0lhMXoxWpxMV3uB411rO_8UfUX5wIjnUEhtGT2p8,10060
logics/classes/propositional/proof_theories/__init__.py,sha256=951PGUuUzeTt6_tkyHDpSiJ9Q3FC5t5hGOmneObDxT8,518
logics/classes/propositional/proof_theories/axiom_system.py,sha256=qS1aIw3UeuUPIlWR-qEy1DewWPNHSLnvumvhxpO-fxQ,8940
logics/classes/propositional/proof_theories/derivation.py,sha256=KIQCbSLXUEi28IKZMfbbbjkbowg9J5Kg1cMxRgRWjmY,6040
logics/classes/propositional/proof_theories/natural_deduction.py,sha256=Xq3zM96ofFWLF2COXRrdYY3TlRV4bXPXXI8FU2HXWqY,29346
logics/classes/propositional/proof_theories/sequents.py,sha256=aX31VinLqyfHwQ7caM5xzTTdWFRUtijkIRDijXPir4I,66141
logics/classes/propositional/proof_theories/tableaux.py,sha256=R4besc0R5vpz-CkITInH4xzistUafQ0yKRM8vg3RsWI,51802
logics/classes/propositional/semantics/__init__.py,sha256=bK9R2UfUxKO7OYoEGSg0nr-3DnkuAkVktOHkR3JVIfA,156
logics/classes/propositional/semantics/many_valued.py,sha256=JL1nrqlM5ZHUqumtezRQrxWq-uTlkIuogw_RpwRAb2c,45702
logics/classes/propositional/semantics/mapped_logic.py,sha256=wG9TOV3bFU8k2NDcoTtyySn5ZhFeVWsbR6Sr-QdAywA,24328
logics/instances/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logics/instances/predicate/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logics/instances/predicate/languages.py,sha256=1YLC8foWSWT89Wvi6Sh9ik97JxGSwS8XLpJg_KIJ1q0,7074
logics/instances/predicate/model_semantics.py,sha256=PMRhak0UkUPWYoHoNyRyByZA_XdOmWUlOWqy7bTO7dQ,5209
logics/instances/predicate/natural_deduction.py,sha256=hAbX8FS1O4115BLV3kXy5Upqy5WIXGH0Xwd0t8QYpeQ,2274
logics/instances/predicate/model_subclasses/__init__.py,sha256=Ze4DOdHo2B53pVOKReoKDOIdLnob3ZappNns-S8C0iY,109
logics/instances/predicate/model_subclasses/arithmetic.py,sha256=b4xhBgroTBm8H5J0xHfrY_801ZENDkJZDlJM4py0FAA,1606
logics/instances/propositional/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logics/instances/propositional/axiom_systems.py,sha256=Lfo9n1t6cYlFg8q_-ZFU-PIzTzZHB94t8n5Ptb0751M,1022
logics/instances/propositional/languages.py,sha256=0DEDHxTxZ3UrudQCtszdQeh1WyfnNGxgFBCsJ_HQ8Gs,4316
logics/instances/propositional/many_valued_semantics.py,sha256=_cWLuY7PhHGU3oaC_BpI_8nxHMam5dad40z-QbNlC5A,16665
logics/instances/propositional/mapped_logic_semantics.py,sha256=ub5AztE1fHzFAvbupj3P4xAzsOgAAwt0rIOXD8qJ0O0,12138
logics/instances/propositional/natural_deduction.py,sha256=1BxChoAIzkZ5z3z1H-u5f1CvAb6aAwa6r849GYKaTxg,5498
logics/instances/propositional/sequents.py,sha256=hV7pSSChPNo4-KlZKPZsgwRIBOLnwB6VZMxyA8RWuI4,17155
logics/instances/propositional/tableaux.py,sha256=dc4-3dAw9K4nSbHPGpvkKPzbKXTdj-s32v0Z7caQXaA,11768
logics/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logics/utils/formula_generators/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logics/utils/formula_generators/generators_biased.py,sha256=fN0av6nlKSL6U0ZLrMFT0FrvCrAq6y-4wKqp1HyRiE4,24268
logics/utils/formula_generators/generators_unbiased.py,sha256=BaNsUVwwO8seM7RKo1tFgAyrKWEe4XCKvferTyE9New,85
logics/utils/parsers/__init__.py,sha256=Mpke2jJIbaNQQq-8pu3Ak05EXUksXF6GOUcf3JKgHcU,92
logics/utils/parsers/parser_utils.py,sha256=XbN1fn6NWzjYRNkaTQlqSGKC0yLIPqftOhSignf5Ywc,16572
logics/utils/parsers/predicate_parser.py,sha256=4ZysP4mErywAtqGYFm91NpP4kAv8bB27b-57GLVWY1I,22080
logics/utils/parsers/standard_parser.py,sha256=WIFh4Z_vSwew0kWHy1o_10aJk4Y6xmS7ZwYCEB6z01M,28650
logics/utils/solvers/__init__.py,sha256=oLp1FWBO07xs8jGzSdYto4XutZCL0hGAf2wUEdXUlDg,196
logics/utils/solvers/first_order_natural_deduction.py,sha256=-sjYjc2igN5OMVsrNo3RLqQ9ojixxwEgnyNE6w2g3CM,17735
logics/utils/solvers/natural_deduction.py,sha256=htXck05WcEpvYbuAtUvhUDjCdf3vbR7FDRhZ8Ba7gsI,65608
logics/utils/solvers/sequents.py,sha256=uYBlKRS3dwGoq7ozXs1K0rQZPgHxk3h2N9qqV4rIeVE,15790
logics/utils/solvers/tableaux.py,sha256=9V_HdoC8XUxNVAWVeUy4-CaqZxIjDfvy0hVGuRdsjG8,9711
logics/utils/upgrade/__init__.py,sha256=SrifB7ul_2oC-rlLLpmyhcsPI0qN1EXc1Vn4f37PFbg,88
logics/utils/upgrade/upgrade.py,sha256=FfZSIyg7Vsf6upE9clsLhfbA2uem4Y5k0wmOEO2W5Mc,1916
logics-1.3.0.dist-info/LICENSE.txt,sha256=046PLbCrqATPOlgvHCjBlNG4dmeFmq092nLwmj_RIMI,1079
logics-1.3.0.dist-info/METADATA,sha256=vbXNWqPhflxf1bHOSIztIRtwEEldGGX_qSnuEtE5_zA,11739
logics-1.3.0.dist-info/WHEEL,sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo,92
logics-1.3.0.dist-info/top_level.txt,sha256=k4PbpunfAANVRYaepXPwZDw2AFgKSX1sq5YoimPJLN4,7
logics-1.3.0.dist-info/RECORD,,
