Bulletin of the Section of Logic Short Title: Bull. Sect. Logic, Pol. Acad. Sci. Publisher: Polish Academy of Sciences, Institute of Philosophy and Sociology, Wrocław ISSN: 0138-0680 Online: http://www.filozof.uni.lodz.pl/bulletin/https://bibliotekanauki.pl/journals/1106/issues Successor: Bulletin of the Section of Logic Comments: Journal; No longer indexed Documents Indexed: 409 Publications (1975–1992) all top 5 Latest Issues 21, No. 4 (1992) 21, No. 3 (1992) 21, No. 1 (1992) 20, No. 2 (1991) 20, No. 1 (1991) 19, No. 4 (1990) 19, No. 3 (1990) 19, No. 2 (1990) 19, No. 1 (1990) 18, No. 4 (1989) 18, No. 3 (1989) 18, No. 2 (1989) 18, No. 1 (1989) 17, No. 3-4 (1988) 17, No. 2 (1988) 17, No. 1 (1988) 16 (1987) 15 (1986) 14 (1985) 13 (1984) 12 (1983) 11 (1982) 10 (1981) 9 (1980) 8 (1979) 7 (1978) 6 (1977) 5 (1976) 4 (1975) all top 5 Authors 14 Dziobiak, Wiesław 12 Czelakowski, Janusz 12 Dywan, Zdzisław 12 Hawranek, Jacek 12 Wolniewicz, Bogusław 11 Orłowska, Ewa S. 11 Palasinski, Marek 9 Graczyńska, Ewa Wanda 8 Kabzinski, Jacek K. 8 Rautenberg, Wolfgang 8 Tokarz, Marek 8 Wronski, Andrzej 7 Prucnal, Tadeusz 7 Zygmunt, Jan 6 Cīrulis, Jānis 6 Németi, István 6 Stȩpień, Teodor 5 Alves, Elias Humberto 5 Andréka, Hajnal 5 Malinowski, Grzegorz 5 Sylvan, Richard 5 Sain, Ildikó 5 Wozniakowska, Barbara 4 Dyrda, Kazimiera 4 Idziak, Paweł M. 4 Meyer, Robert Kenneth 4 Skura, Tomasz F. 4 Suszko, Roman 3 Biela, Andrzej 3 Bunder, Martin W. 3 Buszkowski, Wojciech 3 Csirmaz, László 3 Da Costa, Newton Carneiro Affonso 3 Došen, Kosta 3 Grigolia, Revaz 3 Hughes, George E. 3 Krzystek, Piotr S. 3 Łukowski, Piotr 3 Marek, Iwona 3 Méndez, José M. 3 Meskhi, Vyacheslav Yur’evich 3 Nowak, Marek 3 Nowakowska, Maria 3 Pałasińska, Katarzyna 3 Porebska, Malgorzata 3 Szymanek, Krzysztof 3 Wojcicki, Ryszard 3 Wojtylak, Piotr 2 Arruda, Ayda Ignez 2 Biró, Balázs 2 Blaszczuk, Jerzy J. 2 Blok, Willem Johannes 2 Boričić, Branislav R. 2 Capinska, Ewa 2 Cresswell, Maxwell John 2 Epstein, George 2 Fijałkowski, Jan 2 Font, Josep Maria 2 Fuhrmann, Andre T. 2 Furmanowski, Tomasz 2 Giambrone, Steve 2 Inoué, Takao 2 Krajewski, Stanisław 2 Kramosil, Ivan 2 Ładniak, Ryszard 2 Marciszewski, Witold 2 McRobbie, Michael A. 2 Mostowski, Marcin 2 Omyla, Mieczyslaw 2 Plaza, Jan A. 2 Popov, Vladimir Mikhailovich 2 Sasaki, Katsumi 2 Sendlewski, Andrzej 2 Serény, György 2 Smirnov, Vladimir Aleksandrovich 2 Smolenov, Hristo 2 Stachniak, Zbigniew 2 Suchon, Wojciech 2 Tabakov, Martin 2 Torrens Torrell, Antoni 2 Trzesicki, Kazimierz 2 Ulrich, Dolph 2 Urchs, Max Peter 2 Verdú, Ventura 2 Wybraniec-Skardowska, Urszula B. 2 Zachorowski, Stanislaw 1 Abar, Celina A. A. P. 1 Abe, Jair Minoro 1 Beavers, Gordon S. 1 Belnap, Nuel D. jun. 1 Bernert, Jan 1 Bielecka-Hołda, Małgorzata 1 Błachowicz, Krystyna 1 Boolos, George S. 1 Božić, Milan 1 Bryll, Grzegorz 1 Bui Huy Hien 1 Burmeister, Peter 1 Bystrov, Peter I. 1 Chagrov, Aleksandr Vasil’evich ...and 96 more Authors all top 5 Fields 386 Mathematical logic and foundations (03-XX) 43 General algebraic systems (08-XX) 33 Order, lattices, ordered algebraic structures (06-XX) 25 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 4 Category theory; homological algebra (18-XX) 3 History and biography (01-XX) 3 Number theory (11-XX) 3 General topology (54-XX) 2 Group theory and generalizations (20-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 131 Publications have been cited 329 times in 248 Documents Cited by ▼ Year ▼ On the degree of incompleteness of modal logics (abstract). Zbl 0418.03012Blok, W. J. 21 1978 Remarks on Łukasiewicz’s three-valued logic. Zbl 0962.03503Suszko, Roman 13 1975 On distributivity of closure systems. Zbl 0403.03053Dzik, Wojciech; Suszko, Roman 10 1977 Referential matrix semantics for propositional calculi. Zbl 0435.03016Wojcicki, Ryszard 9 1979 Completeness of Floyd logic. Zbl 0407.03034Andreka, Hajnal; Nemeti, Istvan 8 1978 A semantics for modal calculi. Zbl 0721.03009Ivlev, Yu. V. 7 1988 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, M. V. 7 1990 Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019Da Costa, Newton C. A.; Alves, Elias H. 7 1981 Strongly finite logics: Finite axiomatizability and the problem of supremum. Zbl 0409.03017Wojtylak, Piotr 7 1979 Multipliers in implicative algebras. Zbl 0634.03067Cirulis, Jănis 6 1986 Two-dimensional modal logics of relational algebras and temporal logic of intervals. Zbl 0685.03014Venema, Yde 6 1989 Minimal deontic logics. Zbl 0408.03016van Benthem, J. F. A. K. 6 1979 A finitary relational algebra for classical first order logic. Zbl 0745.03057Veloso, Paulo A. S.; Haeberer, Armando M. 5 1991 On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic. Zbl 0624.03046Wroński, Andrzej 5 1986 Lukasiewicz logic and Wajsberg algebras. Zbl 0717.03027Rodriguez, Antonio J.; Torrens, Antoni; Verdú, Ventura 5 1990 Complementary sentential logics. Zbl 0732.03006Varzi, Achille C. 5 1990 Axiomatizations of intuitionistic double negation. Zbl 0542.03007Božić, Milan; Došen, Kosta 5 1983 The criterion of Brouwerian and closure algebras to be finitely generated. Zbl 0407.03048Esakia, Leo; Grigolia, Revaz 5 1977 Complexity of equational theory of relational algebras with projection elements. Zbl 0770.03021Mikulás, Szabolcs; Sain, Ildikó; Simon, András 4 1992 A characterization of consequence operations preserving degrees of truth. Zbl 0647.03014Nowak, Marek 4 1987 Proving unprovability in some normal modal logic. Zbl 0733.03010Goranko, Valentin 4 1991 Gentzen systems and decision procedures for relevant logics. (Abstract). Zbl 0523.03015Giambrone, Steve 4 1982 Total correctness in nonstandard dynamic logic. Zbl 0538.68017Sain, Ildikó 4 1983 BCI-algebras from the point of view of logic. Zbl 0542.03044Kabziński, Jacek K. 4 1983 On finitely based consequence determined by a distributive lattice. Zbl 0435.03006Dyrda, Kazimiera; Prucnal, Tadeusz 4 1980 Topological duality for Nelson algebras and its applications. Zbl 0561.06007Sendlewski, Andrzej 3 1984 Generalizing the notion of polyadic algebra. Zbl 0614.03060Cīrulis, Jānis 3 1986 On pure refutation formulations of sentential logics. Zbl 0706.03013Skura, Tomasz 3 1990 Relatively congruence-distributive subquasivarieties of filtral varieties. Zbl 0715.08005Czelakowski, Janusz 3 1990 Computer science temporal logics need their clocks. Zbl 0696.03012Sain, Ildikó 3 1989 The simple substitution property of the intermediate propositional logics. Zbl 0697.03011Sasaki, Katsumi 3 1989 A new criterion of decidability for intermediate logics. Zbl 0698.03013Skura, Tomasz 3 1990 Quasivarieties of Heyting algebras. Zbl 0507.08010Wronski, Andrzej 3 1981 Pseudo-referential matrix semantics for propositional logics. Zbl 0542.03013Malinowski, Grzegorz 3 1983 Program verification within and without logic. Zbl 0441.68024Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko 3 1979 On the theory of labels-tokens. Zbl 0457.68094Wybraniec-Skardowska, Urszula 3 1981 The lattice of modal logics (Preliminary report). Zbl 0403.03014Blok, W. J. 3 1977 A natural deduction relevance logic. Zbl 0405.03008Johnson, Frederic A. 3 1977 Entailment relations and matrices. I. Zbl 0409.03015Zygmunt, Jan 3 1979 On distance from the truth as a true distance. Zbl 0411.03003Miller, David 3 1977 Semantics for a class of intuitionistic modal calculi. Zbl 0429.03009Fischer Servi, G. 3 1978 Divisibility quantifiers. Zbl 0811.03031Mostowski, Marcin 2 1991 Incompleteness of the bibinary semantics for R. Zbl 0652.03011Dunn, J. Michael 2 1987 Noncommutative cylindric algebras and relativizations of cylindric algebras. Zbl 0655.03044Thompson, Richard J. 2 1988 T-F-toposes for Łukasiewiczś infinite-valued logics. Zbl 0666.03018Vasykov, V. L. 2 1988 A complete syntactical characterization of the intuitionistic logic. Zbl 0682.03004Skura, Tomasz 2 1989 Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007McRobbie, Michael A.; Belnap, Nuel D. jun. 2 1984 Propositional logic and erotetic inferences. Zbl 0575.03003Wiśniewski, Andrzej 2 1985 Intuitionistic sentential calculus with identity. Zbl 0709.03002Lukowski, Piotr 2 1990 Peirced clean through. Zbl 0713.03010Meyer, Robert K. 2 1990 Philosophical-methodological aspects of relevant logic. Zbl 0694.03005Voishvillo, E. K. 2 1989 On relatedness logic of Richard L. Epstein. Zbl 0526.03009Krajewski, Stanislaw 2 1982 Structural completeness of some fragments of intermediate logics. Zbl 0549.03021Prucnal, Tadeusz 2 1983 Interpolation properties for a class of many-valued propositional calculi. Zbl 0457.03023Malinowski, Grzegorz; Michalczyk, Marek 2 1981 The Boolean algebra of objectives. Zbl 0457.03058Wolniewicz, Boguslaw 2 1981 On reducts of intermediate logics. Zbl 0471.03019Wronski, Andrzej 2 1980 On the completeness of program verification methods. Zbl 0481.68034Biro, Balazs 2 1981 Matrices for predicate logics. Zbl 0404.03013Hawranek, Jacek; Tokarz, Marek 2 1977 Decidability of structural completeness for strongly finite propositional calculi. Zbl 0408.03018Dywan, Zdzislaw 2 1978 An example of strongly finite consequence operation with \(2^{\aleph_0}\) standard strengthenings. Zbl 0408.03019Dziobiak, Wieslaw 2 1979 More about the lattice of tense logics. Zbl 0411.03015Rautenberg, Wolfgang 2 1979 A proof of Ryszard Wojcicki’s conjecture. Zbl 0414.03017Malinowski, Grzegorz 2 1978 Objectives of propositions. Zbl 0415.03005Wolniewicz, Boguslaw 2 1978 A note on incompleteness of modal logics with respect to neighbourhood semantics. Zbl 0415.03020Dziobiak, Wieslaw 2 1978 On strongly finite consequence operations. Zbl 0415.03021Dziobiak, Wieslaw 2 1979 On definability in Peano arithmetic. Zbl 0424.03008Csirmaz, Laszlo 2 1979 Bochvar’s algebras and corresponding propositional calculi. Zbl 0441.03023Finn, Viktor; Grigolia, Revaz 2 1980 Decision problem for finite equivalential algebras. Zbl 0749.08006Idziak, Paweł M. 1 1991 The first axiomatization of a paraconsistent logic. Zbl 0757.03010Alves, Elias H. 1 1992 Refutation rules for three modal logics. Zbl 0752.03005Skura, Tomasz 1 1992 On two relatives of the classical logic. Zbl 0771.03002Nowak, Marek 1 1992 How many logically constant actions are there? Zbl 0786.03005Segerberg, Krister 1 1992 Distribution in Łukasiewicz logics. Zbl 0766.03013Beavers, Gordon 1 1992 Generalized complex algebras and regular identities. Zbl 0625.08007Idziak, Paweł M. 1 1985 Adequate semantics for non-pseudoaxiomatic consequence operations. Zbl 0627.03015Marek, Iwona 1 1986 A hypothesis on the finiteness of graphs for Łukasiewicz’s precomplete logics (graphs for prime numbers). Zbl 0632.03018Karpenko, Alexander S. 1 1986 Strong generative capacity of classical categorial grammars. Zbl 0636.03020Buszkowski, Wojciech 1 1986 Axiomatizing \(E_{\to}\) and \(R_{\to}\) with Anderson and Belnap’s “strong and natural list of valid entailments”. Zbl 0639.03016Méndez, José M. 1 1987 A relevant invalidity in Curry’s foundations. Zbl 0642.03010Sylvan, Richard 1 1987 Remarks on pseudo-referential matrices. Zbl 0649.03011Marek, Iwona 1 1987 On connections between identities and hyperidentities. Zbl 0668.08006Graczyńska, Ewa 1 1989 The common rules of binary connectives are finitely based. Zbl 0673.03022Rautenberg, Wolfgang 1 1989 On the logic of distributive lattices. Zbl 0676.03038Font, Josep M.; Verdú, Ventura 1 1989 Intermediate logics characterized by a class of algebraic frames with infinite individual domain. Zbl 0678.03006Suzuki, Nobu-Yuki 1 1989 On information functions. II: Applications to the logic of theory change. Zbl 0681.03015Szymanek, Krzysztof 1 1989 A note on implicational intermediate consequences. Zbl 0584.03017Rautenberg, W. 1 1985 On the number of quasi-modal algebras. Zbl 0585.03034Malinowski, Jacek 1 1985 On the axiomatic systems of syntactically-categorial languages. Zbl 0595.03023Wybraniec-Skardowska, Urszula 1 1984 Quasivarieties for BCK-logic. Zbl 0567.03032Kabziński, Jacek K. 1 1983 On isomorphic but not lower-base isomorphic cylindric set algebras. Zbl 0569.03028Biró, Balázs 1 1984 On closure endomorphisms of implicative semilattices. Zbl 0576.03039Cirulis, Jānis 1 1985 Compact cylindric set algebras. Zbl 0576.03041Serény, György 1 1985 Finite logics and the simple substitution property. Zbl 0709.03020Hosoi, Tsutomu; Sasaki, Katsumi 1 1990 Interpolation theorem for intuitionistic S4. Zbl 0732.03010Boričić, Branislav R. 1 1991 Intuitionistic sentential calculus with classical identity. Zbl 0733.03006Łukowski, Piotr 1 1990 Relatively point regular quasivarieties. Zbl 0695.08015Czelakowski, Janusz 1 1989 Logic of vague concepts. Zbl 0511.03003Orlowska, Ewa 1 1982 K1.1 is not canonical. Zbl 0525.03003Hughes, G. E.; Cresswell, M. J. 1 1982 On a problem in algebraic model theory. Zbl 0531.03043Bui Huy Hien 1 1982 Characterization of prime numbers by \({\L}ukasiewicz's\) many-valued logics. Zbl 0547.03019Karpenko, Alexander S. 1 1984 Complexity of equational theory of relational algebras with projection elements. Zbl 0770.03021Mikulás, Szabolcs; Sain, Ildikó; Simon, András 4 1992 The first axiomatization of a paraconsistent logic. Zbl 0757.03010Alves, Elias H. 1 1992 Refutation rules for three modal logics. Zbl 0752.03005Skura, Tomasz 1 1992 On two relatives of the classical logic. Zbl 0771.03002Nowak, Marek 1 1992 How many logically constant actions are there? Zbl 0786.03005Segerberg, Krister 1 1992 Distribution in Łukasiewicz logics. Zbl 0766.03013Beavers, Gordon 1 1992 A finitary relational algebra for classical first order logic. Zbl 0745.03057Veloso, Paulo A. S.; Haeberer, Armando M. 5 1991 Proving unprovability in some normal modal logic. Zbl 0733.03010Goranko, Valentin 4 1991 Divisibility quantifiers. Zbl 0811.03031Mostowski, Marcin 2 1991 Decision problem for finite equivalential algebras. Zbl 0749.08006Idziak, Paweł M. 1 1991 Interpolation theorem for intuitionistic S4. Zbl 0732.03010Boričić, Branislav R. 1 1991 On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012Chagrov, A. V.; Zakharyashchev, M. V. 7 1990 Lukasiewicz logic and Wajsberg algebras. Zbl 0717.03027Rodriguez, Antonio J.; Torrens, Antoni; Verdú, Ventura 5 1990 Complementary sentential logics. Zbl 0732.03006Varzi, Achille C. 5 1990 On pure refutation formulations of sentential logics. Zbl 0706.03013Skura, Tomasz 3 1990 Relatively congruence-distributive subquasivarieties of filtral varieties. Zbl 0715.08005Czelakowski, Janusz 3 1990 A new criterion of decidability for intermediate logics. Zbl 0698.03013Skura, Tomasz 3 1990 Intuitionistic sentential calculus with identity. Zbl 0709.03002Lukowski, Piotr 2 1990 Peirced clean through. Zbl 0713.03010Meyer, Robert K. 2 1990 Finite logics and the simple substitution property. Zbl 0709.03020Hosoi, Tsutomu; Sasaki, Katsumi 1 1990 Intuitionistic sentential calculus with classical identity. Zbl 0733.03006Łukowski, Piotr 1 1990 Two-dimensional modal logics of relational algebras and temporal logic of intervals. Zbl 0685.03014Venema, Yde 6 1989 Computer science temporal logics need their clocks. Zbl 0696.03012Sain, Ildikó 3 1989 The simple substitution property of the intermediate propositional logics. Zbl 0697.03011Sasaki, Katsumi 3 1989 A complete syntactical characterization of the intuitionistic logic. Zbl 0682.03004Skura, Tomasz 2 1989 Philosophical-methodological aspects of relevant logic. Zbl 0694.03005Voishvillo, E. K. 2 1989 On connections between identities and hyperidentities. Zbl 0668.08006Graczyńska, Ewa 1 1989 The common rules of binary connectives are finitely based. Zbl 0673.03022Rautenberg, Wolfgang 1 1989 On the logic of distributive lattices. Zbl 0676.03038Font, Josep M.; Verdú, Ventura 1 1989 Intermediate logics characterized by a class of algebraic frames with infinite individual domain. Zbl 0678.03006Suzuki, Nobu-Yuki 1 1989 On information functions. II: Applications to the logic of theory change. Zbl 0681.03015Szymanek, Krzysztof 1 1989 Relatively point regular quasivarieties. Zbl 0695.08015Czelakowski, Janusz 1 1989 A semantics for modal calculi. Zbl 0721.03009Ivlev, Yu. V. 7 1988 Noncommutative cylindric algebras and relativizations of cylindric algebras. Zbl 0655.03044Thompson, Richard J. 2 1988 T-F-toposes for Łukasiewiczś infinite-valued logics. Zbl 0666.03018Vasykov, V. L. 2 1988 A characterization of consequence operations preserving degrees of truth. Zbl 0647.03014Nowak, Marek 4 1987 Incompleteness of the bibinary semantics for R. Zbl 0652.03011Dunn, J. Michael 2 1987 Axiomatizing \(E_{\to}\) and \(R_{\to}\) with Anderson and Belnap’s “strong and natural list of valid entailments”. Zbl 0639.03016Méndez, José M. 1 1987 A relevant invalidity in Curry’s foundations. Zbl 0642.03010Sylvan, Richard 1 1987 Remarks on pseudo-referential matrices. Zbl 0649.03011Marek, Iwona 1 1987 Multipliers in implicative algebras. Zbl 0634.03067Cirulis, Jănis 6 1986 On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic. Zbl 0624.03046Wroński, Andrzej 5 1986 Generalizing the notion of polyadic algebra. Zbl 0614.03060Cīrulis, Jānis 3 1986 Adequate semantics for non-pseudoaxiomatic consequence operations. Zbl 0627.03015Marek, Iwona 1 1986 A hypothesis on the finiteness of graphs for Łukasiewicz’s precomplete logics (graphs for prime numbers). Zbl 0632.03018Karpenko, Alexander S. 1 1986 Strong generative capacity of classical categorial grammars. Zbl 0636.03020Buszkowski, Wojciech 1 1986 Propositional logic and erotetic inferences. Zbl 0575.03003Wiśniewski, Andrzej 2 1985 Generalized complex algebras and regular identities. Zbl 0625.08007Idziak, Paweł M. 1 1985 A note on implicational intermediate consequences. Zbl 0584.03017Rautenberg, W. 1 1985 On the number of quasi-modal algebras. Zbl 0585.03034Malinowski, Jacek 1 1985 On closure endomorphisms of implicative semilattices. Zbl 0576.03039Cirulis, Jānis 1 1985 Compact cylindric set algebras. Zbl 0576.03041Serény, György 1 1985 Topological duality for Nelson algebras and its applications. Zbl 0561.06007Sendlewski, Andrzej 3 1984 Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007McRobbie, Michael A.; Belnap, Nuel D. jun. 2 1984 On the axiomatic systems of syntactically-categorial languages. Zbl 0595.03023Wybraniec-Skardowska, Urszula 1 1984 On isomorphic but not lower-base isomorphic cylindric set algebras. Zbl 0569.03028Biró, Balázs 1 1984 Characterization of prime numbers by \({\L}ukasiewicz's\) many-valued logics. Zbl 0547.03019Karpenko, Alexander S. 1 1984 Conjunction without conditions in illative combinatory logic. Zbl 0557.03008Bunder, M. W. 1 1984 Axiomatizations of intuitionistic double negation. Zbl 0542.03007Božić, Milan; Došen, Kosta 5 1983 Total correctness in nonstandard dynamic logic. Zbl 0538.68017Sain, Ildikó 4 1983 BCI-algebras from the point of view of logic. Zbl 0542.03044Kabziński, Jacek K. 4 1983 Pseudo-referential matrix semantics for propositional logics. Zbl 0542.03013Malinowski, Grzegorz 3 1983 Structural completeness of some fragments of intermediate logics. Zbl 0549.03021Prucnal, Tadeusz 2 1983 Quasivarieties for BCK-logic. Zbl 0567.03032Kabziński, Jacek K. 1 1983 Structural completeness of modal logics containing K4. Zbl 0548.03006Dziobiak, Wiesław 1 1983 On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras. Zbl 0555.06008Dziobiak, Wiesław 1 1983 Pretabular varieties of \(n\)-lattices. Zbl 0556.03045Sendlewski, Andrzej 1 1983 Interpretations. Zbl 1247.03121Szczerba, Lesław W. 1 1983 Gentzen systems and decision procedures for relevant logics. (Abstract). Zbl 0523.03015Giambrone, Steve 4 1982 On relatedness logic of Richard L. Epstein. Zbl 0526.03009Krajewski, Stanislaw 2 1982 Logic of vague concepts. Zbl 0511.03003Orlowska, Ewa 1 1982 K1.1 is not canonical. Zbl 0525.03003Hughes, G. E.; Cresswell, M. J. 1 1982 On a problem in algebraic model theory. Zbl 0531.03043Bui Huy Hien 1 1982 Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019Da Costa, Newton C. A.; Alves, Elias H. 7 1981 Quasivarieties of Heyting algebras. Zbl 0507.08010Wronski, Andrzej 3 1981 On the theory of labels-tokens. Zbl 0457.68094Wybraniec-Skardowska, Urszula 3 1981 Interpolation properties for a class of many-valued propositional calculi. Zbl 0457.03023Malinowski, Grzegorz; Michalczyk, Marek 2 1981 The Boolean algebra of objectives. Zbl 0457.03058Wolniewicz, Boguslaw 2 1981 On the completeness of program verification methods. Zbl 0481.68034Biro, Balazs 2 1981 Kripke-style semantics for Jaskowski’s system Q. Zbl 0457.03025Urchs, Max Peter 1 1981 Ideals in BCK-algebras which are lower semilattices. Zbl 0464.03056Palasinski, Marek 1 1981 An equational basis for commutative BCK-algebras. Zbl 0475.03038Palasinski, Marek; Wozniakowska, Barbara 1 1981 On finitely based consequence determined by a distributive lattice. Zbl 0435.03006Dyrda, Kazimiera; Prucnal, Tadeusz 4 1980 On reducts of intermediate logics. Zbl 0471.03019Wronski, Andrzej 2 1980 Bochvar’s algebras and corresponding propositional calculi. Zbl 0441.03023Finn, Viktor; Grigolia, Revaz 2 1980 A simpler proof of Sahlqvist’s theorem on completeness of modal logics. Zbl 0442.03019Sambin, Giovanni 1 1980 More about referential matrices. Zbl 0445.03010Wojcicki, Ryszard 1 1980 Independent basis for the consequence determined by non-degenerated distributive lattices. Zbl 0451.03001Bielecka-Hołda, Małgorzata 1 1980 On the lattice of elementary situations. Zbl 0459.03003Wolniewicz, Boguslaw 1 1980 A matrix adequate for S5 with MP and RN. Zbl 0459.03009Hawranek, Jacek 1 1980 Towards the source of the notion of implication. Zbl 0463.03013Kabzinski, Jacek K. 1 1980 Quasi equational logic of partial algebras. Zbl 0491.08008Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan 1 1980 Verbal copies. Zbl 0424.03003Nowakowska, Maria 1 1980 Referential matrix semantics for propositional calculi. Zbl 0435.03016Wojcicki, Ryszard 9 1979 Strongly finite logics: Finite axiomatizability and the problem of supremum. Zbl 0409.03017Wojtylak, Piotr 7 1979 Minimal deontic logics. Zbl 0408.03016van Benthem, J. F. A. K. 6 1979 Program verification within and without logic. Zbl 0441.68024Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko 3 1979 Entailment relations and matrices. I. Zbl 0409.03015Zygmunt, Jan 3 1979 An example of strongly finite consequence operation with \(2^{\aleph_0}\) standard strengthenings. Zbl 0408.03019Dziobiak, Wieslaw 2 1979 More about the lattice of tense logics. Zbl 0411.03015Rautenberg, Wolfgang 2 1979 ...and 31 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 260 Authors 10 Czelakowski, Janusz 7 Dziobiak, Wiesław 6 Andréka, Hajnal 6 Németi, István 6 Sain, Ildikó 5 Bezhanishvili, Nick 5 Font, Josep Maria 5 Pigozzi, Don Leonard 5 Raftery, James G. 5 Rautenberg, Wolfgang 5 Wybraniec-Skardowska, Urszula B. 4 Bezhanishvili, Guram 4 Bredikhin, Dmitriĭ Aleksandrovich 4 Cīrulis, Jānis 4 Coniglio, Marcelo Esteban 4 Moraschini, Tommaso 4 Stronkowski, Michał Marek 4 Zakharyaschev, Michael Viktorovich 3 Blok, Willem Johannes 3 Caleiro, Carlos 3 Citkin, Alex 3 Giambrone, Steve 3 Gispert, Joan 3 Humberstone, Lloyd 3 Malinowski, Grzegorz 3 Odintsov, Sergei P. 3 Subrahmanian, V. S. 3 Verdú, Ventura 3 Wolter, Frank 2 Bonatti, Piero Andrea 2 Celani, Sergio Arturo 2 Chagrov, Aleksandr Vasil’evich 2 Chlebowski, Szymon 2 Cintula, Petr 2 Da Costa, Newton Carneiro Affonso 2 Došen, Kosta 2 Dunn, Jon Michael 2 Égré, Paul 2 Fariñasdelcerro, Luis 2 Ferenczi, Miklós 2 Ferguson, Thomas Macaulay 2 Goldblatt, Robert Ian 2 Goranko, Valentin F. 2 Hawranek, Jacek 2 Holliday, Wesley H. 2 Kracht, Marcus 2 Litak, Tadeusz 2 Meyer, Robert Kenneth 2 Miyazaki, Yutaka 2 Newton, Marques Peron 2 Pałasińska, Katarzyna 2 Palmigiano, Alessandra 2 Pasztor, Ana 2 Petrukhin, Yaroslav Igorevich 2 Pulcini, Gabriele 2 Pynko, Alexej P. 2 Robles, Gemma 2 Sylvan, Richard 2 Sasaki, Katsumi 2 Shangin, Vasily 2 Skura, Tomasz F. 2 Słomczyńska, Katarzyna 2 Stachniak, Zbigniew 2 Tinchev, Tinko 2 Trafford, James 2 Voutsadakis, George 2 Wansing, Heinrich Theodor 2 Wiśniewski, Andrzej 2 Wolniewicz, Bogusław 2 Zygmunt, Jan 1 Adillon, Romà J. 1 Albuquerque, Hugo 1 Anellis, Irving H. 1 Artamonov, Vyacheslav Aleksandrovich 1 Barrio, Eduardo Alejandro 1 Bazhanov, Valentin A. 1 Beall, Jc 1 Beklemishev, Lev D. 1 Bellissima, Fabio 1 Benecke, Klaus 1 Bergstra, Jan A. 1 Berman, Joel D. 1 Béziau, Jean-Yves 1 Blair, Howard A. 1 Bloomfield, Colin 1 Bonacina, Maria Paola 1 Brady, Ross Thomas 1 Brantley, Kristina Leifeste 1 Bunder, Martin W. 1 Buszkowski, Wojciech 1 Caferra, Ricardo 1 Campercholi, Miguel A. 1 Carai, Luca 1 Chemla, Emmanuel 1 Chen, Qian 1 Cholvy, Laurence 1 Ciabattoni, Agata 1 Ciucci, Davide 1 Ciuciura, Janusz 1 Ciungu, Lavinia Corina ...and 160 more Authors all top 5 Cited in 48 Journals 79 Studia Logica 12 Algebra Universalis 11 Journal of Philosophical Logic 11 Theoretical Computer Science 10 Annals of Pure and Applied Logic 8 Archive for Mathematical Logic 7 Logica Universalis 7 The Review of Symbolic Logic 6 Synthese 5 Fuzzy Sets and Systems 5 Journal of Applied Non-Classical Logics 4 Notre Dame Journal of Formal Logic 4 Mathematical Logic Quarterly (MLQ) 4 Soft Computing 4 Logic and Logical Philosophy 3 The Journal of Symbolic Logic 3 Semigroup Forum 3 Information and Computation 2 Acta Informatica 2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 2 Proceedings of the American Mathematical Society 2 Bulletin of the Section of Logic 2 Journal of Symbolic Computation 2 Russian Mathematics 2 Erkenntnis 2 Journal of Applied Logic 2 Journal of Logical and Algebraic Methods in Programming 2 Logicheskie Issledovaniya 1 Archiv für Mathematische Logik und Grundlagenforschung 1 International Journal of Theoretical Physics 1 Advances in Mathematics 1 Algebra and Logic 1 Journal of Pure and Applied Algebra 1 Journal of Soviet Mathematics 1 Siberian Mathematical Journal 1 Transactions of the American Mathematical Society 1 Mathematical Social Sciences 1 Physica D 1 Journal of Automated Reasoning 1 International Journal of Intelligent Systems 1 Indagationes Mathematicae. New Series 1 Journal of Logic, Language and Information 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 Foundations of Physics 1 Chebyshevskiĭ Sbornik 1 Asian-European Journal of Mathematics 1 European Journal of Mathematics all top 5 Cited in 13 Fields 225 Mathematical logic and foundations (03-XX) 29 General algebraic systems (08-XX) 28 Order, lattices, ordered algebraic structures (06-XX) 27 Computer science (68-XX) 9 History and biography (01-XX) 5 General and overarching topics; collections (00-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 2 General topology (54-XX) 2 Quantum theory (81-XX) 1 Associative rings and algebras (16-XX) 1 Numerical analysis (65-XX) Citations by Year