An Intuitionistic Investigation of Prerequisite-Effect Structure

  • Katsuhiko Sano
  • Shingo Hagiwara
  • Satoshi Tojo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7258)


This paper studies the prerequisite-effect structures in legal documents from a logical viewpoint. First, we distinguish a written prerequisite-effect structure in legal documents and an application-instance of the written structure to a particular case, and formalize the latter as \(\leadsto\). Second, we specify its semantics as ‘immediately after’ on intuitionistic Kripke model. Third, we establish semantic properties of \(\leadsto\) including the undefinability of \(\leadsto\) in intuitionistic logic, and provide a cut-free and complete labelled sequent calculus with the intuitionistic logic with \(\leadsto\). Finally, we illustrate a formal representation of Articles 7 and 9 of Japanese Income Tax Act with the help of \(\leadsto\).


Intuitionistic Logic Kripke Model Legal Document Kripke Frame Adaptive Logic 
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.
    Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Gardner, A. (ed.) Procedings of the 10th International Conference on Artificial Intelligence and Law, pp. 25–34. ACM Press (2005)Google Scholar
  2. 2.
    Gordon, T.F., Governatori, G., Rotolo, A.: Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 282–296. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 3.
    Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C.: PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. In: Onoda, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS (LNAI), vol. 6797, pp. 153–164. Springer, Heidelberg (2011)Google Scholar
  4. 4.
    Hagiwara, S.: Multiple relations in legal documents based on intuitionistic logic. In: Proceedings of the 4th International Workshop on Juris-informatics (JURISIN 2010), pp. 41–50 (2010)Google Scholar
  5. 5.
    Sano, K., Hagiwara, S., Tojo, S.: Prerequisite-effect structure on intuitionistic kripke model. In: Proceedings of the Fifth International Workshop on Juris-informatics (JURISIN 2011), pp. 50–61 (2011)Google Scholar
  6. 6.
    Van Dalen, D.: Logic and Structure. Springer (2004)Google Scholar
  7. 7.
    Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)zbMATHCrossRefGoogle Scholar
  8. 8.
    Kashima, R.: Sequent calculi of non-classical logics - Proofs of completeness theorems by sequent calculi. In: Proceedings of Mathematical Society of Japan Annual Colloquium of Foundations of Mathematics, pp. 49–67 (1999) (in Japanese)Google Scholar
  9. 9.
    Ishigaki, R., Kikuchi, K.: Tree-Sequent Methods for Subintuitionistic Predicate Logics. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 149–164. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Sano, K.: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS (LNAI), vol. 5514, pp. 365–378. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic Journal of the IGPL 18(1), 157–194 (2010)MathSciNetzbMATHCrossRefGoogle Scholar
  13. 13.
    Batens, D.: A universal logic approach to adaptive logics. Logica Universalis 1(1), 221–242 (2007)MathSciNetzbMATHCrossRefGoogle Scholar
  14. 14.
    Haeusler, E.H., De Paiva, V., Rademaker, A.: Intuitionistic logic and legal ontologies. In: Winkels, R.G. (ed.) Legal Knowledge and Information Systems - JURIX 2010: The Twenty-Third Annual Conference. Frontiers in Artificial Intelligence and Applications, vol. 223, pp. 155–158 (2010)Google Scholar
  15. 15.
    Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics. Elsevier, North-Holland (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Katsuhiko Sano
    • 1
  • Shingo Hagiwara
    • 1
  • Satoshi Tojo
    • 1
  1. 1.School of Information ScienceJapan Advanced Institute of Science and TechnologyIshikawaJapan

Personalised recommendations