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=LmO6dChWa0klEPdQJsnRSMV0bxZJU_CCt1Pugbp1nBg,153
logics/classes/predicate/formula.py,sha256=FpnSHr5LZgHiFQ51i1u4DtyBmjJ0sctk90dv_s_mg3k,14436
logics/classes/predicate/language.py,sha256=PvdCMXDfuxMVnbdX_4SxHl0oqWI1e-TOMwlm-eWq8Io,17772
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=QQsjPd1VssF7zh6cSiWHj-dMh7zMCcyf0VRhz1tw19o,19077
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=fmGVurz4CfeBl4vE0KNKCJlWgCvt74_QuQnmG9-1rOE,27412
logics/classes/propositional/proof_theories/sequents.py,sha256=aX31VinLqyfHwQ7caM5xzTTdWFRUtijkIRDijXPir4I,66141
logics/classes/propositional/proof_theories/tableaux.py,sha256=yPjGHrZZihqsInmsMXyHTiX-EXsPWKZVxOI2FfjUAOI,45578
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=9SWV54LDg2QBFTgFcHD8r08dRh374tlTHYiOzrSAXtE,5006
logics/instances/predicate/model_semantics.py,sha256=PMRhak0UkUPWYoHoNyRyByZA_XdOmWUlOWqy7bTO7dQ,5209
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=LmzdvtPjt0MzgEsf5PG0h-MjDvCEpItuW-jwZCdbwWA,3929
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=ys0mGuEMTGU3dpXs-_W0hDkZai7H7yC4ARox3ZscMa4,21648
logics/utils/parsers/standard_parser.py,sha256=WIFh4Z_vSwew0kWHy1o_10aJk4Y6xmS7ZwYCEB6z01M,28650
logics/utils/solvers/__init__.py,sha256=IItmAeVZGu-nlujPZzXwJlJwZRIBwTnCH5YZbnp46fc,153
logics/utils/solvers/natural_deduction.py,sha256=ssaAE7CGO4gtA31f0yeYIaI9TH2T3wn7Y_A3be4ORlI,61773
logics/utils/solvers/sequents.py,sha256=uYBlKRS3dwGoq7ozXs1K0rQZPgHxk3h2N9qqV4rIeVE,15790
logics/utils/solvers/tableaux.py,sha256=9V_HdoC8XUxNVAWVeUy4-CaqZxIjDfvy0hVGuRdsjG8,9711
logics-1.1.3.dist-info/LICENSE.txt,sha256=046PLbCrqATPOlgvHCjBlNG4dmeFmq092nLwmj_RIMI,1079
logics-1.1.3.dist-info/METADATA,sha256=rol7Zd--fzx4PHtIb-M12Wjc8klzsyn0u4WztXvZbJs,11755
logics-1.1.3.dist-info/WHEEL,sha256=00yskusixUoUt5ob_CiUp6LsnN5lqzTJpoqOFg_FVIc,92
logics-1.1.3.dist-info/top_level.txt,sha256=k4PbpunfAANVRYaepXPwZDw2AFgKSX1sq5YoimPJLN4,7
logics-1.1.3.dist-info/RECORD,,
