Abstract
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\).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Van Dalen, D.: Logic and Structure. Springer (2004)
Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)
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)
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)
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)
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic Journal of the IGPL 18(1), 157–194 (2010)
Batens, D.: A universal logic approach to adaptive logics. Logica Universalis 1(1), 221–242 (2007)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sano, K., Hagiwara, S., Tojo, S. (2012). An Intuitionistic Investigation of Prerequisite-Effect Structure. In: Okumura, M., Bekki, D., Satoh, K. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2011. Lecture Notes in Computer Science(), vol 7258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32090-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-32090-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32089-7
Online ISBN: 978-3-642-32090-3
eBook Packages: Computer ScienceComputer Science (R0)