A Logic for Conceptual Hierarchies

  • Norihiro Kamide
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6404)


We propose a proof-theoretical way of obtaining detailed and precise information on conceptual hierarchies. The notion of concept finding proof, which represents a hierarchy of concepts, is introduced based on a substructural logic with mingle and strong negation. Mingle, which is a structural inference rule, is used to represent a process for finding a more general (or specific) concept than some given concepts. Strong negation, which is a negation connective, is used to represent a concept inverse operator. The problem for constructing a concept finding proof is shown to be decidable in PTIME.


General Concept Classical Logic Description Logic Propositional Variable Structural Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Anderson, A.R., Belnap Jr., N.D.: Entailment: The logic of relevance and necessity, vol. 1. Princeton University Press, Princeton (1975)zbMATHGoogle Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  3. 3.
    Nelson, D.: Constructible falsity. Journal of Symbolic Logic 14, 16–26 (1949)CrossRefzbMATHGoogle Scholar
  4. 4.
    Ganter, B., Wille, R.: Formal concept analysis: Mathematical foundations. Springer, Heidelberg (1999)CrossRefzbMATHGoogle Scholar
  5. 5.
    Davey, B.A., Priestley, H.A.: Introduction to lattice and order, 2nd edn. Cambridge University Press, Cambridge (2002)CrossRefzbMATHGoogle Scholar
  6. 6.
    Kamide, N.: Relevance principle for substructural logics with mingle and strong negation. Journal of Logic and Computation 12(6), 913–928 (2002)CrossRefzbMATHGoogle Scholar
  7. 7.
    Kamide, N.: Substructural logic with mingle. Journal of Logic, Language and Information 11(2), 227–249 (2002)CrossRefzbMATHGoogle Scholar
  8. 8.
    Kamide, N.: Linear logics with communication-merge. Journal of Logic and Computation 15(1), 3–20 (2005)CrossRefzbMATHGoogle Scholar
  9. 9.
    Ohnishi, M., Matsumoto, K.: A system for strict implication. Annals of the Japan Association for Philosophy of Science 2(4), 183–188 (1964)CrossRefzbMATHGoogle Scholar
  10. 10.
    Wansing, H.: The Logic of Information Structures. LNCS, vol. 681, 163 pages. Springer, Heidelberg (1993)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Norihiro Kamide
    • 1
  1. 1.Waseda Institute for Advanced StudyWaseda UniversityTokyoJapan

Personalised recommendations