Martino, Enrico On the Brouwerian concept of negative continuity. (English) Zbl 0631.03046 J. Philos. Logic 14, 379-398 (1985). Reviewer: W.Veldman MSC: 03F55 03-03 01A60 PDFBibTeX XMLCite \textit{E. Martino}, J. Philos. Log. 14, 379--398 (1985; Zbl 0631.03046) Full Text: DOI
Routley, R.; Routley, V. Negation and contradiction. (English) Zbl 0614.03007 Rev. Colomb. Mat. 19, 201-230 (1985). Reviewer: G.Priest MSC: 03A05 03B45 03B60 PDFBibTeX XMLCite \textit{R. Routley} and \textit{V. Routley}, Rev. Colomb. Mat. 19, 201--230 (1985; Zbl 0614.03007) Full Text: EuDML
Żarnecka-Biały, Ewa Peirce’s icons as compared with Fregean propositional calculus. (English) Zbl 0606.03003 Rep. Math. Logic 19, 49-52 (1985). MSC: 03B05 03-03 01A55 PDFBibTeX XMLCite \textit{E. Żarnecka-Biały}, Rep. Math. Logic 19, 49--52 (1985; Zbl 0606.03003)
Alsina, Claudi On a family of connectives for fuzzy sets. (English) Zbl 0603.39005 Fuzzy Sets Syst. 16, 231-235 (1985). Reviewer: J.Aczél MSC: 39B99 60A10 03E72 28D99 PDFBibTeX XMLCite \textit{C. Alsina}, Fuzzy Sets Syst. 16, 231--235 (1985; Zbl 0603.39005) Full Text: DOI
García, P.; Valverde, L. On a class of De Morgan triplets. (Catalan. English summary) Zbl 0602.03005 Logic, Proc. 4th Catalonian Congr., Barcelona/Spain 1985, 73-76 (1985). MSC: 03B52 03E72 PDFBibTeX XML
Gabbay, D. M. N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure. (English) Zbl 0595.68004 J. Logic Program. 2, 251-283 (1985). Reviewer: J.-J.Ch.Meyer MSC: 68N01 68Q65 68T15 PDFBibTeX XMLCite \textit{D. M. Gabbay}, J. Log. Program. 2, 251--283 (1985; Zbl 0595.68004) Full Text: DOI
Yu, Yandong Triangular norms and TNF-sigma-algebras. (English) Zbl 0593.28006 Fuzzy Sets Syst. 16, 251-264 (1985). MSC: 28A99 28A10 03E72 54A40 PDFBibTeX XMLCite \textit{Y. Yu}, Fuzzy Sets Syst. 16, 251--264 (1985; Zbl 0593.28006) Full Text: DOI
Leivant, Daniel Syntactic translations and provably recursive functions. (English) Zbl 0593.03038 J. Symb. Log. 50, 682-688 (1985). Reviewer: H.Pfeiffer MSC: 03F50 03D20 PDFBibTeX XMLCite \textit{D. Leivant}, J. Symb. Log. 50, 682--688 (1985; Zbl 0593.03038) Full Text: DOI
Van Tu Le General failure of logic programs. (English) Zbl 0585.68023 J. Logic Program. 2, 157-165 (1985). Reviewer: J.-J.Ch.Meyer MSC: 68Q60 PDFBibTeX XMLCite \textit{Van Tu Le}, J. Log. Program. 2, 157--165 (1985; Zbl 0585.68023) Full Text: DOI
Dershowitz, Nachum Computing with rewrite systems. (English) Zbl 0584.68020 Inf. Control 65, 122-157 (1985). Reviewer: J.Zlatuška MSC: 68N01 68Q60 08B99 PDFBibTeX XMLCite \textit{N. Dershowitz}, Inf. Control 65, 122--157 (1985; Zbl 0584.68020) Full Text: DOI
Rychkov, S. V. The splitting problem for pure extensions of Abelian groups and axiomatic set theory. (English. Russian original) Zbl 0578.20054 Russ. Math. Surv. 40, No. 2, 230-231 (1985); translation from Usp. Mat. Nauk 40, No. 2(242), 195-196 (1985). Reviewer: A.M.Sebel’din MSC: 20K35 20K25 03E50 03E45 20K27 03E75 PDFBibTeX XMLCite \textit{S. V. Rychkov}, Russ. Math. Surv. 40, No. 2, 230--231 (1985; Zbl 0578.20054); translation from Usp. Mat. Nauk 40, No. 2(242), 195--196 (1985) Full Text: DOI
Alsina, Claudi On a family of connectives for fuzzy sets. (English) Zbl 0577.39010 Fuzzy Sets Syst. 16, 231-235 (1985). Reviewer: K.Baron MSC: 39B99 03E72 PDFBibTeX XMLCite \textit{C. Alsina}, Fuzzy Sets Syst. 16, 231--235 (1985; Zbl 0577.39010) Full Text: DOI
Jasiński, Jakub On the combinatorial properties of Blackwell spaces. (English) Zbl 0575.28001 Proc. Am. Math. Soc. 93, 657-660 (1985). MSC: 28A05 03E15 03E50 PDFBibTeX XMLCite \textit{J. Jasiński}, Proc. Am. Math. Soc. 93, 657--660 (1985; Zbl 0575.28001) Full Text: DOI
Kramosil, Ivan; Šindelář, Jan Computational complexity of probabilistic searching algorithms over Herbrand universes. (English) Zbl 0561.68062 Comput. Artif. Intell. 4, 97-108 (1985). MSC: 68T15 03B35 03B10 68Q25 PDFBibTeX XMLCite \textit{I. Kramosil} and \textit{J. Šindelář}, Comput. Artif. Intell. 4, 97--108 (1985; Zbl 0561.68062)