Formal systems
No articlesA dhy yAlternative semanticsAttributional calculusBurr distributionCopulaDiscourse representation theoryDouble extension set theoryDynamic semanticsFirst principleFormal ethicsHorn logicImplicational propositional calculusIndependence friendly logicKripke platek set theoryKripke platek set theory with urelementsLogics for computabilityMetalog distributionMixture distributionMorse kelley set theoryNear setsOn numbers and gamesPearson distributionPhysical symbol systemPredicate calculus+ 9 more
No questions in this category yet — they're coming.