logics/__init__.py,sha256=iwhKnzeBJLKxpRVjvzwiRE63_zNpIBfaKLITauVph-0,24
logics/classes/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logics/classes/errors.py,sha256=1KKgO9BaYM8bK2di2f6vIzSvlLaBLNuWXmRtWXcRQnw,3109
logics/classes/exceptions.py,sha256=pHOJ2586f4n_oRy3tCjIHbjWu6H2EjDVL7-1iWFGoYo,919
logics/classes/predicate/__init__.py,sha256=ZpDVc_Kj6zdPikJyR6wlSiEKr4ZOvVJmodXJfBXutbc,243
logics/classes/predicate/formula.py,sha256=aqEYG-Wv6cbUtTtKPIFj11BgGNIfk03rhZuPVNbjhlc,28779
logics/classes/predicate/language.py,sha256=rpjCeTjSNSaA0q-Q4K5mN5i7ryJ1vgGb3587OtzK984,19934
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=ACKUMDGWuZgkz-EhCakXOf9lb5Yh9mri2d5Fy3HwSik,12369
logics/classes/predicate/semantics/__init__.py,sha256=XIbNNC86HMyuZ-g9HyG95kPWZXg87R_IOM5wopwafcQ,72
logics/classes/predicate/semantics/models.py,sha256=CVtBKBrTn9AyFghmS9h3ui1Zi0ffBkMZ4vr6WPDBSUQ,35887
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=JGR6VBXe32fJxAmfZjs1tpC7aEx6_Guz6MaGzGUNNj8,10897
logics/classes/propositional/proof_theories/derivation.py,sha256=KIQCbSLXUEi28IKZMfbbbjkbowg9J5Kg1cMxRgRWjmY,6040
logics/classes/propositional/proof_theories/metainferential_tableaux.py,sha256=S_Ccaksk-tYwRsrkpp9hUwpUgkQSQTAWbautsBIMgHc,17986
logics/classes/propositional/proof_theories/natural_deduction.py,sha256=qPpll4vMVL8MPhbchxDlle_LXCT9CLm0wrubjjb2sYU,37094
logics/classes/propositional/proof_theories/sequents.py,sha256=KNpLUNOfLWuypzViGWfoUrn2y8xsjzM05QN0FvmiOvs,67490
logics/classes/propositional/proof_theories/tableaux.py,sha256=6iw1gdhZDUgXocD0f4GABi7WtLSWSRknkCs-Fcv3U0w,65381
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/metainferential_tableaux.py,sha256=yk0nE3_fLuVVFe5gHmq0ELaJjTHEVVW0ZvApTCckxAo,16069
logics/instances/propositional/natural_deduction.py,sha256=WaV0HHuP-ZBmxJ9Xcqv6K72S6wVrxbXdZw4jt4Z-vng,8493
logics/instances/propositional/sequents.py,sha256=hV7pSSChPNo4-KlZKPZsgwRIBOLnwB6VZMxyA8RWuI4,17155
logics/instances/propositional/tableaux.py,sha256=R03BLfTtvPAiv3e1iVhoqSzjd-fPqYDH3Yw84LhJrFM,20855
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=TXV8ew5m37RyF3_wxWw6fy2tAb7B9PLH8z82ebS2uX4,31856
logics/utils/formula_generators/generators_unbiased.py,sha256=BaNsUVwwO8seM7RKo1tFgAyrKWEe4XCKvferTyE9New,85
logics/utils/parsers/__init__.py,sha256=76_AoQdyVHsC2dNoPtHP6pybJeTnxwYnWkxvDQXaY68,169
logics/utils/parsers/parser_utils.py,sha256=XbN1fn6NWzjYRNkaTQlqSGKC0yLIPqftOhSignf5Ywc,16572
logics/utils/parsers/predicate_parser.py,sha256=PZdN5S75aK7QhUviMnT08b9EEl61dHF3XBU-efE_tqA,21937
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/model_finder.py,sha256=jhmnrlViOY9j-uNX1FzaSmt-IHt1vedV37EvqrxKSOU,16248
logics/utils/solvers/natural_deduction.py,sha256=htXck05WcEpvYbuAtUvhUDjCdf3vbR7FDRhZ8Ba7gsI,65608
logics/utils/solvers/sequents.py,sha256=uYBlKRS3dwGoq7ozXs1K0rQZPgHxk3h2N9qqV4rIeVE,15790
logics/utils/solvers/tableaux.py,sha256=kInresaMFCgxHxml42v6e2gj5FzhNqbOPIF0WOwJdHs,21035
logics/utils/upgrade/__init__.py,sha256=SrifB7ul_2oC-rlLLpmyhcsPI0qN1EXc1Vn4f37PFbg,88
logics/utils/upgrade/upgrade.py,sha256=FfZSIyg7Vsf6upE9clsLhfbA2uem4Y5k0wmOEO2W5Mc,1916
logics-1.10.4.dist-info/licenses/LICENSE.txt,sha256=046PLbCrqATPOlgvHCjBlNG4dmeFmq092nLwmj_RIMI,1079
logics-1.10.4.dist-info/METADATA,sha256=QgeMe0-ImstydKq4dDal8Ab_gx6n7YyIZDd6DLGOyw4,12234
logics-1.10.4.dist-info/WHEEL,sha256=0CuiUZ_p9E4cD6NyLD6UG80LBXYyiSYZOKDm5lp32xk,91
logics-1.10.4.dist-info/top_level.txt,sha256=k4PbpunfAANVRYaepXPwZDw2AFgKSX1sq5YoimPJLN4,7
logics-1.10.4.dist-info/RECORD,,
