Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## 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 contains 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.