Cut-free display calculi for relation algebras-Reference-Cited by-同舟云学术

Cut-free display calculi for relation algebras

Published:1997 Issue: Volume: Page:198-210
ISSN:0302-9743
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Goré Rajeev

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63172-0_40.pdf

Reference17 articles.

1. Chris Brink, Katarina Britz, and Renate A. Schmidt. Peirce algebras. Formal Aspects of Computing, 6:339–358, 1994.

2. Nuel D. Belnap Jnr. Display logic. Journal of Philosophical Logic, 11:375–417, 1982.

3. C. J. Date. An Introduction to Database Systems. Addison-Wesley, 1983.

4. J. Michael Dunn. A representation of relation algebras using Routley-Meyer frames. Technical Report IULG-93-28, Dept. of Philosophy and Computer Science, Indiana University, USA, 1993.

5. L. Gordeev. Cut free formalization of logic with finitely many variables: Part I. In CSL-94, LNCS 933, pp 136–150. Springer, 1994.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics;Theory and Applications of Relational Structures as Knowledge Instruments II;2006

2. Two Proof Systems for Peirce Algebras;Relational and Kleene-Algebraic Methods in Computer Science;2004

3. A New Machine-checked Proof of Strong Normalisation for Display Logic;Electronic Notes in Theoretical Computer Science;2003-04

4. Formalised Cut Admissibility for Display Logic;Lecture Notes in Computer Science;2002

5. A Mechanised Proof System for Relation Algebra Using Display Logic;Logics in Artificial Intelligence;1998