Publication | Closed Access

Kleene's Logic, Generalized

Non-classical LogicSyntaxAutomated ReasoningLanguage StudiesSemanticsHigher-order LogicLinguisticsLogical Formalism