Zamansky, Anna; Francez, Nissim; Winter, Yoad A ‘natural logic’ inference system using the Lambek calculus. (English) Zbl 1129.03013 J. Logic Lang. Inf. 15, No. 3, 273-295 (2006). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B65 03B47 PDFBibTeX XMLCite \textit{A. Zamansky} et al., J. Logic Lang. Inf. 15, No. 3, 273--295 (2006; Zbl 1129.03013) Full Text: DOI
Langholm, Tore A descriptive characterisation of linear languages. (English) Zbl 1105.68064 J. Logic Lang. Inf. 15, No. 3, 233-250 (2006). MSC: 68Q45 68Q19 PDFBibTeX XMLCite \textit{T. Langholm}, J. Logic Lang. Inf. 15, No. 3, 233--250 (2006; Zbl 1105.68064) Full Text: DOI
Braüner, Torben Axioms for classical, intuitionistic, and paraconsistent hybrid logic. (English) Zbl 1108.03033 J. Logic Lang. Inf. 15, No. 3, 179-194 (2006). MSC: 03B60 PDFBibTeX XMLCite \textit{T. Braüner}, J. Logic Lang. Inf. 15, No. 3, 179--194 (2006; Zbl 1108.03033) Full Text: DOI
Nelken, Rani; Shan, Chung-Chieh A modal interpretation of the logic of interrogation. (English) Zbl 1108.03038 J. Logic Lang. Inf. 15, No. 3, 251-271 (2006). MSC: 03B65 03B42 03B45 PDFBibTeX XMLCite \textit{R. Nelken} and \textit{C.-C. Shan}, J. Logic Lang. Inf. 15, No. 3, 251--271 (2006; Zbl 1108.03038) Full Text: DOI
Infante-Lopez, Gabriel; de Rijke, Maarten A note on the expressive power of probabilistic context free grammars. (English) Zbl 1102.68042 J. Logic Lang. Inf. 15, No. 3, 219-231 (2006). MSC: 68Q42 PDFBibTeX XMLCite \textit{G. Infante-Lopez} and \textit{M. de Rijke}, J. Logic Lang. Inf. 15, No. 3, 219--231 (2006; Zbl 1102.68042) Full Text: DOI
Finger, Marcelo; Gabbay, Dov Cut and pay. (English) Zbl 1108.03034 J. Logic Lang. Inf. 15, No. 3, 195-218 (2006). MSC: 03B60 03B05 03B25 03F05 PDFBibTeX XMLCite \textit{M. Finger} and \textit{D. Gabbay}, J. Logic Lang. Inf. 15, No. 3, 195--218 (2006; Zbl 1108.03034) Full Text: DOI