The Tableau Method for a Logical System Based on a Finite Poset

References

• CAT HO , N.G. and RASIOWA , H. 1989 . Plain semi-Post algebras as a posets-based generalization of Post algebras and their representability . Studia Logica , 48 ( 4 ) : 509 – 530 .
   Google Scholar
• DUMMET , M. 1985 . Elements of Intuitionism , Oxford : Clarendon Press .
   Google Scholar
• ITURRIOZ , L. 1983 . Symmetrical Heyting algebras with operators . Zeitschr. f. math. Logik und Grundlagen d. Math. , 29 : 33 – 70 .
   Web of Science ®Google Scholar
• NOUR , A. 1997 . Étude de systèmes logiques, extensions de la logique intuitioniste , Université de Grenoble 1 . Thèse de doctorat
   Google Scholar
• NOUR , A. 1999 . Sémantique algébrique d'un système logique basé sur un ensembe ordonné fini . Mathematical Logic Quarterly , 45 : 457 – 466 .
   Google Scholar
• NOUR , A. 2000 . Sémantique de type Kripke d'un système logique basé sur un ensembe ordonné fini . Mathematical Logic Quarterly , 46 : 417 – 432 .
   Google Scholar
• RASIOWA , H. 1990 . “ On approximation logics : A survey ” . In Jahrbuch 1990, Kurt Gödel Gessellschaft, Vienna 63 – 87 .
   Google Scholar
• RASIOWA , H. 1991 . Mechanical Proof Systems for Logic : Reaching Consensus by Groups of Intelligent Agents . International Journal of Approximate Reasoning , 5 : 415 – 432 .
   Google Scholar