Buszkowski, Wojciech Strong generative capacity of classical categorial grammars. (English) Zbl 0636.03020 Bull. Sect. Logic, Pol. Acad. Sci. 15, 60-65 (1986). MSC: 03B65 03B99 PDF BibTeX XML Cite \textit{W. Buszkowski}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 60--65 (1986; Zbl 0636.03020)
Loparic, Andréa; Puga, Leila Z. Two systems of deontic logic. (English) Zbl 0636.03019 Bull. Sect. Logic, Pol. Acad. Sci. 15, 137-144 (1986). MSC: 03B60 PDF BibTeX XML Cite \textit{A. Loparic} and \textit{L. Z. Puga}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 137--144 (1986; Zbl 0636.03019)
Cirulis, Jănis Multipliers in implicative algebras. (English) Zbl 0634.03067 Bull. Sect. Logic, Pol. Acad. Sci. 15, 152-158 (1986). Reviewer: J.Cirulis MSC: 03G25 06A15 PDF BibTeX XML Cite \textit{J. Cirulis}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 152--158 (1986; Zbl 0634.03067)
Vasyukov, V. L. The bibinary semantics for R and \({\L}_{\aleph _ 0}\). (English) Zbl 0634.03024 Bull. Sect. Logic, Pol. Acad. Sci. 15, 109-116 (1986). MSC: 03B99 03B45 03B50 PDF BibTeX XML Cite \textit{V. L. Vasyukov}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 109--116 (1986; Zbl 0634.03024)
Habasiński, Zdzisław Decidability in Pratt’s process logics. (English) Zbl 0634.03023 Bull. Sect. Logic, Pol. Acad. Sci. 15, 88-95 (1986). MSC: 03B70 68Q65 03B25 03B45 03D15 PDF BibTeX XML Cite \textit{Z. Habasiński}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 88--95 (1986; Zbl 0634.03023)
Fuhrmann, Andre T. Gentzen semantics for De Morgan lattice logic. (English) Zbl 0634.03017 Bull. Sect. Logic, Pol. Acad. Sci. 15, 96-101 (1986). MSC: 03B45 PDF BibTeX XML Cite \textit{A. T. Fuhrmann}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 96--101 (1986; Zbl 0634.03017)
Wroński, Stanisław On the operations definable in terms of the complementation and the closure. (English) Zbl 0633.03065 Bull. Sect. Logic, Pol. Acad. Sci. 15, 117-127 (1986). MSC: 03G25 03G05 PDF BibTeX XML Cite \textit{S. Wroński}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 117--127 (1986; Zbl 0633.03065)
Serény, György Lower level connections between representations of relation algebras. (English) Zbl 0633.03063 Bull. Sect. Logic, Pol. Acad. Sci. 15, 123-127 (1986). MSC: 03G15 PDF BibTeX XML Cite \textit{G. Serény}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 123--127 (1986; Zbl 0633.03063)
Mircheva, Marion Sarcis A characteristic model for some tabular many-valued logics. (English) Zbl 0633.03009 Bull. Sect. Logic, Pol. Acad. Sci. 15, 159-163 (1986). Reviewer: I.D’Ottaviano MSC: 03B50 PDF BibTeX XML Cite \textit{M. S. Mircheva}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 159--163 (1986; Zbl 0633.03009)
Karpenko, Alexander S. A hypothesis on the finiteness of graphs for Łukasiewicz’s precomplete logics (graphs for prime numbers). (English) Zbl 0632.03018 Bull. Sect. Logic, Pol. Acad. Sci. 15, 102-108 (1986). MSC: 03B50 11A25 11P81 05C05 PDF BibTeX XML Cite \textit{A. S. Karpenko}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 102--108 (1986; Zbl 0632.03018)
Wolniewicz, Bogusław Discreteness of logical space. (English) Zbl 0631.03047 Bull. Sect. Logic, Pol. Acad. Sci. 15, 132-136 (1986). MSC: 03G10 PDF BibTeX XML Cite \textit{B. Wolniewicz}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 132--136 (1986; Zbl 0631.03047)
Abar, Celina A. A. P.; Yamashita, Mineko Remarks on variable binding term operators. (English) Zbl 0631.03013 Bull. Sect. Logic, Pol. Acad. Sci. 15, 145-151 (1986). Reviewer: M.W.Bunder MSC: 03B60 03C65 PDF BibTeX XML Cite \textit{C. A. A. P. Abar} and \textit{M. Yamashita}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 145--151 (1986; Zbl 0631.03013)
Marek, Iwona Adequate semantics for non-pseudoaxiomatic consequence operations. (English) Zbl 0627.03015 Bull. Sect. Logic, Pol. Acad. Sci. 15, 66-71 (1986). MSC: 03B99 PDF BibTeX XML Cite \textit{I. Marek}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 66--71 (1986; Zbl 0627.03015)
Ładniak, Ryszard A theorem on definitionally complete logics. (English) Zbl 0624.03049 Bull. Sect. Logic, Pol. Acad. Sci. 15, 29-33 (1986). MSC: 03G25 PDF BibTeX XML Cite \textit{R. Ładniak}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 29--33 (1986; Zbl 0624.03049)
Wroński, Andrzej On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic. (English) Zbl 0624.03046 Bull. Sect. Logic, Pol. Acad. Sci. 15, 48-51 (1986). MSC: 03G10 03B55 06D20 03B20 08B10 PDF BibTeX XML Cite \textit{A. Wroński}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 48--51 (1986; Zbl 0624.03046)
Marek, Iwona Remarks on logics generated by ordered algebras. (English) Zbl 0624.03023 Bull. Sect. Logic, Pol. Acad. Sci. 15, 44-47 (1986). MSC: 03B99 03G25 PDF BibTeX XML Cite \textit{I. Marek}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 44--47 (1986; Zbl 0624.03023)
Ładniak, Ryszard On the degree of maximality of definitionally complete logics. (English) Zbl 0623.03033 Bull. Sect. Logic, Pol. Acad. Sci. 15, 72-84 (1986). MSC: 03B99 PDF BibTeX XML Cite \textit{R. Ładniak}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 72--84 (1986; Zbl 0623.03033)
Dywan, Zdzisław On some method of axiomatization of some propositional calculi. (English) Zbl 0623.03032 Bull. Sect. Logic, Pol. Acad. Sci. 15, 52-59 (1986). MSC: 03B99 PDF BibTeX XML Cite \textit{Z. Dywan}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 52--59 (1986; Zbl 0623.03032)
Plaza, Jan First order modal logic of closure spaces with equality. (English) Zbl 0623.03025 Bull. Sect. Logic, Pol. Acad. Sci. 15, 21-28 (1986). MSC: 03B45 54A05 PDF BibTeX XML Cite \textit{J. Plaza}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 21--28 (1986; Zbl 0623.03025)
Plaza, Jan The Craig, Robinson and Beth theorems for the modal logic of closure spaces. (English) Zbl 0623.03024 Bull. Sect. Logic, Pol. Acad. Sci. 15, 15-20 (1986). MSC: 03B45 54A05 PDF BibTeX XML Cite \textit{J. Plaza}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 15--20 (1986; Zbl 0623.03024)
Cīrulis, Jānis Generalizing the notion of polyadic algebra. (English) Zbl 0614.03060 Bull. Sect. Logic, Pol. Acad. Sci. 15, 2-9 (1986). MSC: 03G15 PDF BibTeX XML Cite \textit{J. Cīrulis}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 2--9 (1986; Zbl 0614.03060)