Definitions

from the GNU version of the Collaborative International Dictionary of English.

  • adjective arousing a mental association; evocative.

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • adjective Of or pertaining to logical implication

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

  • adjective relating to or concerned with logical implication

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word implicational.

Examples

  • 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 Matthew Guerrieri 2009

  • 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.

    Archive 2009-03-01 Matthew Guerrieri 2009

  • 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

    The Sun Is Not 2009

  • 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 Bimbó, Katalin 2008

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

    Combinatory Logic Bimbó, Katalin 2008

  • This article discusses related contextual and implicational issues.

    Canada, Kyoto, and the conservatives 2008

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

    Combinatory Logic Bimbó, Katalin 2008

  • 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 Bimbó, Katalin 2008

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

    Combinatory Logic Bimbó, Katalin 2008

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

    Combinatory Logic Bimbó, Katalin 2008

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.