Relational semantics and a relational proof system for full Lambek calculus

Journal of Symbolic Logic

Volumn 63, Issue 2, 1998, Pages 623-637

  MacCaull, Wendy ^a  

^a ST FRANCIS XAVIER UNIVERSITY   (Canada)

Author keywords

Countermodel; Full lambek calculus; Kripke semantics; Proof theory; Relational semantics; Tableaux; Ternary relations

Indexed keywords

EID: 0032222044     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586855     Document Type: Article

References (18)

1. GERARD ALLWEIN and MICHAEL DUNN, Kripke models for linear logic, this JOURNAL, vol. 58 (1993), pp. 514-545.
2. HAJNAL ANDRÉKA and SZABOLCS MIKULÁS, Lambek calculus and its relational semantics: completeness and incompleteness, Journal of Logic, Language and Information, vol. 3 (1994), pp. 1-38.
3. WOJCIECH BUSZKOWSKI and EWA ORLOWSKA, Relational formalization of dependencies in information systems, to appear in Rough Sets (E. Orlowska, editor).
4. MARCELLO D'AGOSTINO and DOV GABBAY, A generalization of analytic deduction via labelled deductive systems I: basic substnictural logics, Journal of Automated Reasoning, vol. 13 (1994), pp. 243-281.
5. KOSTA DOŠEN, A brief survey of frames for the Lambek calculus, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 38 (1992), pp. 179-187.
6. DOV GABBAY, A general theory of structured consequence relations, Substructural logics (P. Schroeder-Heister and K. Došen, editors), Oxford, 1993, pp. 109-152.
7. SATURNINO LUZ-FILHO, Grammar specifications in categorial logics and theorem proving, Proceedings of 13th conference on automated deduction (M. McRobbie and J. K. Slaney, editors), Lecture Notes in Computer Science, vol. 1104, Springer-Verlag, Berlin, 1996, pp. 703-712.
8. WENDY MACCAULL, Relational tableaux for tree models, language models and information networks, to appear in Logic at work: Essays dedicated to the memory of Helena Rasiowa (E. Orlowska, editor), Physica.
9. _, Relational proof theory for linear and other substructural logics, Journal of the Interest Group of Pure and Applied Logic, vol. 5 (1987), pp. 673-697.
10. CHRIS MULVEY and JOAN WICK-PELLETIER, The quantization of the calculus of relations, Canadian Mathematical Society Conference Proceeding, vol. 13, American Mathematical Society, 1992.
11. HIROAKIRA ONO, Semantics for substructural logics, Substructural logics (P. Schroeder-Heister and K. Došen, editors), Oxford, 1993, pp. 259-291.
12. HIROAKIRA ONO and YUICHI KOMORI, Logics without the contraction rule, this JIRIRNAL, vol. 50 (1985), pp. 169-201.
13. EWA ORLOWSKA, Relational interpretation of modal logics, Algebraic logic (H. Andréka et al., editors), North-Holland, 1991.
14. _. Relational proof system for relevant logics, this JOURNAL, vol. 57 (1992), pp. 1425-1440.
15. _. Relational semantics for nonclassical logics: formulas are relations, Philosophical logic in Poland (Jan Wolenski, editor), Kluwer, 1994, pp. 167-186.
16. _. Relational proof systems for modal logics, Proof theory for modal logics (H. Wansing, editor), Kluwer, 1996, pp. 55-77.
17. DIRK ROORDA, Resource logics: Proof theoretical investigations, Ph.d. dissertation, University of Amsterdam, 1990.
18. RICHARD ROUTLEY and ROBERT MEYER, The semantics of entailmemt, Truth, syntax and modality (H. LeBlanc, editor), North-Holland, 1973.