Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.