implicational

• “I already see the two implicational poles of this with the digital reproduction and distribution of music — old music ceases to gain an advantage from the imprimatur of age, but also ceases to suffer in comparison with music of greater chronological novelty.”

  We should be on by now

• “Prior's interest in economical bases for propositional and pure implicational logics, initially aroused by his study of Peirce, was stimulated by Łukasiewicz's article”

  Fictionaut: The Sun Is Not

• “This article discusses related contextual and implicational issues.”

  Canada, Kyoto, and the conservatives

• “M has no type, because an implicational formula is never identical to its own antecedent.”

  Combinatory Logic

• “(When implicational formulas are considered as types, the usual convention is to omit parentheses by association to the right.)”

  Combinatory Logic

• “First, a correspondence between formulas that are provable in the implicational fragment of intuitionistic logic and the typable combinatory terms was discovered.”

  Combinatory Logic

• “The correspondence between implicational theorems of intuitionistic logic (and their proofs) and typable closed λ-terms”

  Combinatory Logic

• “In other words, the implicational fragments of classical and intuitionistic logics, and the implicational fragments of the relevance logics R, E and T are all”

  Combinatory Logic

• “Then the isomorphism was generalized to other combinatory bases and implicational logics (such as the logic of relevant implication, exponential-free linear logic, affine logic, etc.).”

  Combinatory Logic

• “The theorem is the typed equivalent of the decidability of the implicational fragment of the logic of relevant implication.”

  Combinatory Logic

Show 10 more examples...