Publication | Closed Access

The many faces of counts-as: A formal analysis of constitutive rules

SyntaxEngineeringAutomated ReasoningRule LanguageFormal MethodsRule-based SystemFormal AnalysisFormal SystemLanguage StudiesSemanticsHigher-order LogicLogical FormalismFormal VerificationLinguisticsConstitutive Rules