Publication | Closed Access

Nominal logic, a first order theory of names and binding

Formal SemanticsSyntaxAutomated ReasoningPhilosophy Of LogicNominal LogicFirst-order LogicGrammarLanguage StudiesSemanticsHigher-order LogicLinguisticsLogical Formalism