|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.htmlProofLine
|
A proof line of a mathematical proof. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.latexProofLine
|
A proof line of a mathematical proof. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.logic.paragraphParagraphCheck
|
Every main Paragraph entry must implement this interface.ProofLineList
|
List of proof lines. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.logic.ruleProofLineList
|
List of proof lines. RuleDeclaration
|
Declares a logical rule. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.moduleAbbreviation
|
Abbreviation. Axiom
|
Logical Axiom. ProofLine
|
A proof line of a mathematical proof. Proposition
|
Logical Sentence. RuleDeclaration
|
Declares a logical rule. Sentence
|
Logical Sentence. |
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |