EntityQ843812· pop 7· linked from 41 articleslogical assertionSign in to savestatement that asserts that a certain premise is trueConnectionsaxiomEntitydigital object identifierEntityInternational Standard Serial NumberEntitymathematical logicEntitysequenceEntityOCLC, Inc.EntitypropositionEntityStanford Encyclopedia of PhilosophyEntitytautologyEntitymetalanguageEntityfirst-order logicEntityQ22908627Entityformal systemEntitymetatheoryEntitylogical consequenceEntitytype theoryEntityrule of inferenceEntityCiteSeerXEntitynatural deductionEntityCurry–Howard correspondenceEntityCategoriesConcepts in logicLogical calculiProof theory