Priest, Graham The trivial object and the non-triviality of a semantically closed theory with descriptions. (English) Zbl 0934.03035 J. Appl. Non-Class. Log. 8, No. 1-2, 171-183 (1998). Reviewer: J.Mackenzie (Sydney) MSC: 03B53 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Pliuskevicius, Regimantas Replacement of induction by similarity saturation in a first order linear temporal logic. (English) Zbl 0917.03027 J. Appl. Non-Class. Log. 8, No. 1-2, 141-169 (1998). MSC: 03F05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Novodvorsky, Aleksey; Smirnov, Aleksey A shell for generic interactive proof search. (English) Zbl 0955.03503 J. Appl. Non-Class. Log. 8, No. 1-2, 123-140 (1998). MSC: 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Mostowski, Marcin Computational semantics for monadic quantifiers. (English) Zbl 0920.03044 J. Appl. Non-Class. Log. 8, No. 1-2, 107-121 (1998). Reviewer: D.Mundici (Milano) MSC: 03C13 03C80 03D05 03-02 × Cite Format Result Cite Review PDF Full Text: DOI
Madarász, Judit X. Interpolation in algebraizable logics semantics for non-normal multi-modal logic. (English) Zbl 0918.03014 J. Appl. Non-Class. Log. 8, No. 1-2, 67-105 (1998). Reviewer: L.Esakia (Tbilisi) MSC: 03B45 03G25 03C40 06E25 × Cite Format Result Cite Review PDF Full Text: DOI
Frias, Marcelo; Orlowska, Ewa Equational reasoning in non-classical logics. (English) Zbl 0918.03029 J. Appl. Non-Class. Log. 8, No. 1-2, 27-66 (1998). Reviewer: L.Esakia (Tbilisi) MSC: 03G15 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Bryniarski, Edward; Wybraniec-Skardowska, Urszula Calculus of contextual rough sets in contextual spaces. (English) Zbl 0957.03052 J. Appl. Non-Class. Log. 8, No. 1-2, 9-26 (1998). MSC: 03E70 68T37 × Cite Format Result Cite Review PDF Full Text: DOI