Axiom Systems
=============

Base Classes
------------

.. _derivation-step:
.. autoclass:: logics.classes.propositional.proof_theories.DerivationStep

.. _derivation:
.. autoclass:: logics.classes.propositional.proof_theories.Derivation
   :members:


Axiom System
------------

.. autoclass:: logics.classes.propositional.proof_theories.AxiomSystem
   :members:


Instances
---------

.. data:: logics.instances.propositional.axiom_systems.classical_logic_axiom_system

    Classical logic with only negation and conditional. See above for the axioms and rules.