LICENSE.txt
README.rst
pyproject.toml
setup.cfg
logics/__init__.py
logics.egg-info/PKG-INFO
logics.egg-info/SOURCES.txt
logics.egg-info/dependency_links.txt
logics.egg-info/requires.txt
logics.egg-info/top_level.txt
logics/classes/__init__.py
logics/classes/errors.py
logics/classes/exceptions.py
logics/classes/predicate/__init__.py
logics/classes/predicate/formula.py
logics/classes/predicate/language.py
logics/classes/predicate/proof_theories/__init__.py
logics/classes/predicate/proof_theories/derivation.py
logics/classes/predicate/proof_theories/natural_deduction.py
logics/classes/predicate/semantics/__init__.py
logics/classes/predicate/semantics/models.py
logics/classes/propositional/__init__.py
logics/classes/propositional/formula.py
logics/classes/propositional/inference.py
logics/classes/propositional/language.py
logics/classes/propositional/proof_theories/__init__.py
logics/classes/propositional/proof_theories/axiom_system.py
logics/classes/propositional/proof_theories/derivation.py
logics/classes/propositional/proof_theories/natural_deduction.py
logics/classes/propositional/proof_theories/sequents.py
logics/classes/propositional/proof_theories/tableaux.py
logics/classes/propositional/semantics/__init__.py
logics/classes/propositional/semantics/many_valued.py
logics/classes/propositional/semantics/mapped_logic.py
logics/instances/__init__.py
logics/instances/predicate/__init__.py
logics/instances/predicate/languages.py
logics/instances/predicate/model_semantics.py
logics/instances/predicate/natural_deduction.py
logics/instances/predicate/model_subclasses/__init__.py
logics/instances/predicate/model_subclasses/arithmetic.py
logics/instances/propositional/__init__.py
logics/instances/propositional/axiom_systems.py
logics/instances/propositional/languages.py
logics/instances/propositional/many_valued_semantics.py
logics/instances/propositional/mapped_logic_semantics.py
logics/instances/propositional/natural_deduction.py
logics/instances/propositional/sequents.py
logics/instances/propositional/tableaux.py
logics/utils/__init__.py
logics/utils/formula_generators/__init__.py
logics/utils/formula_generators/generators_biased.py
logics/utils/formula_generators/generators_unbiased.py
logics/utils/parsers/__init__.py
logics/utils/parsers/parser_utils.py
logics/utils/parsers/predicate_parser.py
logics/utils/parsers/standard_parser.py
logics/utils/solvers/__init__.py
logics/utils/solvers/first_order_natural_deduction.py
logics/utils/solvers/natural_deduction.py
logics/utils/solvers/sequents.py
logics/utils/solvers/tableaux.py
logics/utils/upgrade/__init__.py
logics/utils/upgrade/upgrade.py