Package com.meyling.principia.logic.paragraph

Interface Summary

ParagraphCheck	Every main Paragraph entry must implement this interface.
ParagraphConstants	This interface provides constants of this package.

Class Summary

Abbreviation	Abbreviation.
Axiom	Logical Axiom.
LinkLabel	A reference label.
Paragraph	A paragraph is an axiom, an abbreviation or a proposition of a mathematical theory.
ParagraphCreator	This class provides static methods for reading and writing an Argument.
ProofLine	A proof line of a mathematical proof.
ProofLineList	List of proof lines.
Proposition	Logical Sentence.
RuleDeclaration	Declares a logical rule.
Sentence	Logical Sentence.