×

zbMATH — the first resource for mathematics

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/
Successor: Bulletin of the Section of Logic
Comments: No longer indexed
Documents Indexed: 409 Publications (1975–1992)
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 Wozniakowska, Barbara
4 Dyrda, Kazimiera
4 Idziak, Paweł M.
4 Meyer, Robert Kenneth
4 Sain, Ildikó
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 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 Blaszczuk, Jerzy J.
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
2 Zachorowski, Stanislaw
1 Abar, Celina A. A. P.
1 Abe, Jair Minoro
1 Balázs, Biró
1 Beavers, Gordon S.
1 Belnap, Nuel D. jun.
1 Bernert, Jan
1 Bielecka-Holda, Malgorzata
1 Biró, Balázs
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
1 Ciesielski, Krzysztof Chris
...and 97 more Authors

Publications by Year

Citations contained in zbMATH Open

122 Publications have been cited 271 times in 216 Documents Cited by Year
On the degree of incompleteness of modal logics (abstract). Zbl 0418.03012
Blok, W. J.
17
1978
Remarks on Łukasiewicz’s three-valued logic. Zbl 0962.03503
Suszko, Roman
11
1975
On distributivity of closure systems. Zbl 0403.03053
Dzik, Wojciech; Suszko, Roman
10
1977
Completeness of Floyd logic. Zbl 0407.03034
Andreka, Hajnal; Nemeti, Istvan
8
1978
Strongly finite logics: Finite axiomatizability and the problem of supremum. Zbl 0409.03017
Wojtylak, Piotr
7
1979
Referential matrix semantics for propositional calculi. Zbl 0435.03016
Wojcicki, Ryszard
7
1979
Minimal deontic logics. Zbl 0408.03016
van Benthem, J. F. A. K.
6
1979
Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019
Da Costa, Newton C. A.; Alves, Elias H.
6
1981
A semantics for modal calculi. Zbl 0721.03009
Ivlev, Yu. V.
5
1988
Complementary sentential logics. Zbl 0732.03006
Varzi, Achille C.
5
1990
Two-dimensional modal logics of relational algebras and temporal logic of intervals. Zbl 0685.03014
Venema, Yde
5
1989
The criterion of Brouwerian and closure algebras to be finitely generated. Zbl 0407.03048
Esakia, Leo; Grigolia, Revaz
4
1977
BCI-algebras from the point of view of logic. Zbl 0542.03044
Kabziński, Jacek K.
4
1983
Proving unprovability in some normal modal logic. Zbl 0733.03010
Goranko, Valentin
4
1991
Lukasiewicz logic and Wajsberg algebras. Zbl 0717.03027
Rodriguez, Antonio J.; Torrens, Antoni; Verdú, Ventura
4
1990
Multipliers in implicative algebras. Zbl 0634.03067
Cirulis, Jănis
4
1986
Complexity of equational theory of relational algebras with projection elements. Zbl 0770.03021
Mikulás, Szabolcs; Sain, Ildikó; Simon, András
3
1992
The lattice of modal logics (Preliminary report). Zbl 0403.03014
Blok, W. J.
3
1977
Entailment relations and matrices. I. Zbl 0409.03015
Zygmunt, Jan
3
1979
On distance from the truth as a true distance. Zbl 0411.03003
Miller, David
3
1977
On finitely based consequence determined by a distributive lattice. Zbl 0435.03006
Dyrda, Kazimiera; Prucnal, Tadeusz
3
1980
On the theory of labels-tokens. Zbl 0457.68094
Wybraniec-Skardowska, Urszula
3
1981
Quasivarieties of Heyting algebras. Zbl 0507.08010
Wronski, Andrzej
3
1981
Gentzen systems and decision procedures for relevant logics. (Abstract). Zbl 0523.03015
Giambrone, Steve
3
1982
Total correctness in nonstandard dynamic logic. Zbl 0538.68017
Ildikó, Sain
3
1983
Axiomatizations of intuitionistic double negation. Zbl 0542.03007
Božić, Milan; Došen, Kosta
3
1983
Pseudo-referential matrix semantics for propositional logics. Zbl 0542.03013
Malinowski, Grzegorz
3
1983
Program verification within and without logic. Zbl 0441.68024
Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko
3
1979
Topological duality for Nelson algebras and its applications. Zbl 0561.06007
Sendlewski, Andrzej
3
1984
A characterization of consequence operations preserving degrees of truth. Zbl 0647.03014
Nowak, Marek
3
1987
Generalizing the notion of polyadic algebra. Zbl 0614.03060
Cīrulis, Jānis
3
1986
On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic. Zbl 0624.03046
Wroński, Andrzej
3
1986
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
On pure refutation formulations of sentential logics. Zbl 0706.03013
Skura, Tomasz
3
1990
A finitary relational algebra for classical first order logic. Zbl 0745.03057
Veloso, Paulo A. S.; Haeberer, Armando M.
2
1991
Divisibility quantifiers. Zbl 0811.03031
Mostowski, Marcin
2
1991
Matrices for predicate logics. Zbl 0404.03013
Hawranek, Jacek; Tokarz, Marek
2
1977
A natural deduction relevance logic. Zbl 0405.03008
Johnson, Frederic A.
2
1977
An example of strongly finite consequence operation with \(2^{\aleph_0}\) standard strengthenings. Zbl 0408.03019
Dziobiak, Wieslaw
2
1979
A proof of Ryszard Wojcicki’s conjecture. Zbl 0414.03017
Malinowski, Grzegorz
2
1978
A note on incompleteness of modal logics with respect to neighbourhood semantics. Zbl 0415.03020
Dziobiak, Wieslaw
2
1978
On strongly finite consequence operations. Zbl 0415.03021
Dziobiak, Wieslaw
2
1979
On definability in Peano arithmetic. Zbl 0424.03008
Csirmaz, Laszlo
2
1979
Semantics for a class of intuitionistic modal calculi. Zbl 0429.03009
Fischer Servi, G.
2
1978
Interpolation properties for a class of many-valued propositional calculi. Zbl 0457.03023
Malinowski, Grzegorz; Michalczyk, Marek
2
1981
The Boolean algebra of objectives. Zbl 0457.03058
Wolniewicz, Boguslaw
2
1981
On reducts of intermediate logics. Zbl 0471.03019
Wronski, Andrzej
2
1980
On the completeness of program verification methods. Zbl 0481.68034
Biro, Balazs
2
1981
Peirced clean through. Zbl 0713.03010
Meyer, Robert K.
2
1990
Relatively congruence-distributive subquasivarieties of filtral varieties. Zbl 0715.08005
Czelakowski, Janusz
2
1990
A complete syntactical characterization of the intuitionistic logic. Zbl 0682.03004
Skura, Tomasz
2
1989
Propositional logic and erotetic inferences. Zbl 0575.03003
Wiśniewski, Andrzej
2
1985
Noncommutative cylindric algebras and relativizations of cylindric algebras. Zbl 0655.03044
Thompson, Richard J.
2
1988
Computer science temporal logics need their clocks. Zbl 0696.03012
Sain, Ildikó
2
1989
The simple substitution property of the intermediate propositional logics. Zbl 0697.03011
Sasaki, Katsumi
2
1989
A new criterion of decidability for intermediate logics. Zbl 0698.03013
Skura, Tomasz
2
1990
More about referential matrices. Zbl 0445.03010
Wojcicki, Ryszard
1
1980
Decision problem for finite equivalential algebras. Zbl 0749.08006
Idziak, Paweł M.
1
1991
The first axiomatization of a paraconsistent logic. Zbl 0757.03010
Alves, Elias H.
1
1992
Refutation rules for three modal logics. Zbl 0752.03005
Skura, Tomasz
1
1992
On two relatives of the classical logic. Zbl 0771.03002
Nowak, Marek
1
1992
How many logically constant actions are there? Zbl 0786.03005
Segerberg, Krister
1
1992
Distribution in Łukasiewicz logics. Zbl 0766.03013
Beavers, Gordon
1
1992
On the depth of a consequence operation. Zbl 0403.03019
Wronski, Andrzej
1
1977
A remark on maximal matrix consequences. Zbl 0404.03012
Tokarz, Marek
1
1977
Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz. Zbl 0404.03018
Wozniakowska, Barbara
1
1977
The lattice of normal modal logics (Preliminary report). Zbl 0404.03055
Rautenberg, Wolfgang
1
1977
Decidability of structural completeness for strongly finite propositional calculi. Zbl 0408.03018
Dywan, Zdzislaw
1
1978
A theorem on verisimilitude. Zbl 0411.03005
Mortensen, Chris
1
1978
More about the lattice of tense logics. Zbl 0411.03015
Rautenberg, Wolfgang
1
1979
An example concerning the lattice of the structural consequence operations. Zbl 0414.03019
Dziobiak, Wieslaw
1
1979
Objectives of propositions. Zbl 0415.03005
Wolniewicz, Boguslaw
1
1978
A purely algebraic proof of the omitting types theorem. Zbl 0418.03023
Czelakowski, Janusz
1
1979
Filters and natural extensions of closure systems. Zbl 0419.03042
Suszko, Roman; Weinfeld, Tamara
1
1979
On Friedman’s problem in mathematical logic (preliminary report). Zbl 0423.03059
Prucnal, Tadeusz
1
1978
Verbal copies. Zbl 0424.03003
Nowakowska, Maria
1
1980
On some matrix of the Birkhoff and v. Neumann quantum logic. Zbl 0426.03067
Majewski, Miroslaw
1
1978
Topologies on quantum logics induced by the set of states. Zbl 0426.03068
Lungarzo, Carlos
1
1978
Kripke-style semantics for Jaskowski’s system Q. Zbl 0457.03025
Urchs, Max Peter
1
1981
On the lattice of elementary situations. Zbl 0459.03003
Wolniewicz, Boguslaw
1
1980
A matrix adequate for S5 with MP and RN. Zbl 0459.03009
Hawranek, Jacek
1
1980
Ideals in BCK-algebras which are lower semilattices. Zbl 0464.03056
Palasinski, Marek
1
1981
An equational basis for commutative BCK-algebras. Zbl 0475.03038
Palasinski, Marek; Wozniakowska, Barbara
1
1981
Quasi equational logic of partial algebras. Zbl 0491.08008
Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan
1
1980
Logic of vague concepts. Zbl 0511.03003
Orlowska, Ewa
1
1982
On two properties of structurally complete logics. Zbl 0514.03011
Biela, Andrzej; Dziobiak, Wieslaw
1
1982
K1.1 is not canonical. Zbl 0525.03003
Hughes, G. E.; Cresswell, M. J.
1
1982
On a problem in algebraic model theory. Zbl 0531.03043
Bui Huy Hien
1
1982
Interpolation theorem for intuitionistic S4. Zbl 0732.03010
Boričić, Branislav R.
1
1991
Intuitionistic sentential calculus with identity. Zbl 0709.03002
Lukowski, Piotr
1
1990
Finite logics and the simple substitution property. Zbl 0709.03020
Hosoi, Tsutomu; Sasaki, Katsumi
1
1990
A simpler proof of Sahlqvist’s theorem on completeness of modal logics. Zbl 0442.03019
Sambin, Giovanni
1
1980
Bochvar’s algebras and corresponding propositional calculi. Zbl 0441.03023
Finn, Viktor; Grigolia, Revaz
1
1980
On information functions. II: Applications to the logic of theory change. Zbl 0681.03015
Szymanek, Krzysztof
1
1989
Structural completeness of some fragments of intermediate logics. Zbl 0549.03021
Prucnal, Tadeusz
1
1983
On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras. Zbl 0555.06008
Dziobiak, Wiesław
1
1983
Pretabular varieties of \(n\)-lattices. Zbl 0556.03045
Sendlewski, Andrzej
1
1983
Conjunction without conditions in illative combinatory logic. Zbl 0557.03008
Bunder, M. W.
1
1984
Quasivarieties for BCK-logic. Zbl 0567.03032
Kabziński, Jacek K.
1
1983
Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007
McRobbie, Michael A.; Belnap, Nuel D. jun.
1
1984
Complexity of equational theory of relational algebras with projection elements. Zbl 0770.03021
Mikulás, Szabolcs; Sain, Ildikó; Simon, András
3
1992
The first axiomatization of a paraconsistent logic. Zbl 0757.03010
Alves, Elias H.
1
1992
Refutation rules for three modal logics. Zbl 0752.03005
Skura, Tomasz
1
1992
On two relatives of the classical logic. Zbl 0771.03002
Nowak, Marek
1
1992
How many logically constant actions are there? Zbl 0786.03005
Segerberg, Krister
1
1992
Distribution in Łukasiewicz logics. Zbl 0766.03013
Beavers, Gordon
1
1992
Proving unprovability in some normal modal logic. Zbl 0733.03010
Goranko, Valentin
4
1991
A finitary relational algebra for classical first order logic. Zbl 0745.03057
Veloso, Paulo A. S.; Haeberer, Armando M.
2
1991
Divisibility quantifiers. Zbl 0811.03031
Mostowski, Marcin
2
1991
Decision problem for finite equivalential algebras. Zbl 0749.08006
Idziak, Paweł M.
1
1991
Interpolation theorem for intuitionistic S4. Zbl 0732.03010
Boričić, Branislav R.
1
1991
Complementary sentential logics. Zbl 0732.03006
Varzi, Achille C.
5
1990
Lukasiewicz logic and Wajsberg algebras. Zbl 0717.03027
Rodriguez, Antonio J.; Torrens, Antoni; Verdú, Ventura
4
1990
On Halldén-completeness of intermediate and modal logics. Zbl 0698.03012
Chagrov, A. V.; Zakharyashchev, M. V.
3
1990
On pure refutation formulations of sentential logics. Zbl 0706.03013
Skura, Tomasz
3
1990
Peirced clean through. Zbl 0713.03010
Meyer, Robert K.
2
1990
Relatively congruence-distributive subquasivarieties of filtral varieties. Zbl 0715.08005
Czelakowski, Janusz
2
1990
A new criterion of decidability for intermediate logics. Zbl 0698.03013
Skura, Tomasz
2
1990
Intuitionistic sentential calculus with identity. Zbl 0709.03002
Lukowski, Piotr
1
1990
Finite logics and the simple substitution property. Zbl 0709.03020
Hosoi, Tsutomu; Sasaki, Katsumi
1
1990
Two-dimensional modal logics of relational algebras and temporal logic of intervals. Zbl 0685.03014
Venema, Yde
5
1989
A complete syntactical characterization of the intuitionistic logic. Zbl 0682.03004
Skura, Tomasz
2
1989
Computer science temporal logics need their clocks. Zbl 0696.03012
Sain, Ildikó
2
1989
The simple substitution property of the intermediate propositional logics. Zbl 0697.03011
Sasaki, Katsumi
2
1989
On information functions. II: Applications to the logic of theory change. Zbl 0681.03015
Szymanek, Krzysztof
1
1989
On connections between identities and hyperidentities. Zbl 0668.08006
Graczyńska, Ewa
1
1989
The common rules of binary connectives are finitely based. Zbl 0673.03022
Rautenberg, Wolfgang
1
1989
On the logic of distributive lattices. Zbl 0676.03038
Font, Josep M.; Verdú, Ventura
1
1989
Intermediate logics characterized by a class of algebraic frames with infinite individual domain. Zbl 0678.03006
Suzuki, Nobu-Yuki
1
1989
Philosophical-methodological aspects of relevant logic. Zbl 0694.03005
Voishvillo, E. K.
1
1989
Relatively point regular quasivarieties. Zbl 0695.08015
Czelakowski, Janusz
1
1989
A semantics for modal calculi. Zbl 0721.03009
Ivlev, Yu. V.
5
1988
Noncommutative cylindric algebras and relativizations of cylindric algebras. Zbl 0655.03044
Thompson, Richard J.
2
1988
A characterization of consequence operations preserving degrees of truth. Zbl 0647.03014
Nowak, Marek
3
1987
Remarks on pseudo-referential matrices. Zbl 0649.03011
Marek, Iwona
1
1987
Incompleteness of the bibinary semantics for R. Zbl 0652.03011
Dunn, J. Michael
1
1987
Axiomatizing \(E_{\to}\) and \(R_{\to}\) with Anderson and Belnap’s “strong and natural list of valid entailments”. Zbl 0639.03016
Méndez, José M.
1
1987
A relevant invalidity in Curry’s foundations. Zbl 0642.03010
Sylvan, Richard
1
1987
Multipliers in implicative algebras. Zbl 0634.03067
Cirulis, Jănis
4
1986
Generalizing the notion of polyadic algebra. Zbl 0614.03060
Cīrulis, Jānis
3
1986
On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic. Zbl 0624.03046
Wroński, Andrzej
3
1986
Adequate semantics for non-pseudoaxiomatic consequence operations. Zbl 0627.03015
Marek, Iwona
1
1986
A hypothesis on the finiteness of graphs for Łukasiewicz’s precomplete logics (graphs for prime numbers). Zbl 0632.03018
Karpenko, Alexander S.
1
1986
Strong generative capacity of classical categorial grammars. Zbl 0636.03020
Buszkowski, Wojciech
1
1986
Propositional logic and erotetic inferences. Zbl 0575.03003
Wiśniewski, Andrzej
2
1985
On closure endomorphisms of implicative semilattices. Zbl 0576.03039
Cirulis, Jānis
1
1985
Compact cylindric set algebras. Zbl 0576.03041
Serény, György
1
1985
Generalized complex algebras and regular identities. Zbl 0625.08007
Idziak, Paweł M.
1
1985
A note on implicational intermediate consequences. Zbl 0584.03017
Rautenberg, W.
1
1985
On the number of quasi-modal algebras. Zbl 0585.03034
Malinowski, Jacek
1
1985
Topological duality for Nelson algebras and its applications. Zbl 0561.06007
Sendlewski, Andrzej
3
1984
Conjunction without conditions in illative combinatory logic. Zbl 0557.03008
Bunder, M. W.
1
1984
Proof tableau formulations of some first-order relevant ortho-logics. Zbl 0569.03007
McRobbie, Michael A.; Belnap, Nuel D. jun.
1
1984
On isomorphic but not lower-base isomorphic cylindric set algebras. Zbl 0569.03028
Balázs, Biró
1
1984
On the axiomatic systems of syntactically-categorial languages. Zbl 0595.03023
Wybraniec-Skardowska, Urszula
1
1984
Characterization of prime numbers by \({\L}ukasiewicz's\) many-valued logics. Zbl 0547.03019
Karpenko, Alexander S.
1
1984
BCI-algebras from the point of view of logic. Zbl 0542.03044
Kabziński, Jacek K.
4
1983
Total correctness in nonstandard dynamic logic. Zbl 0538.68017
Ildikó, Sain
3
1983
Axiomatizations of intuitionistic double negation. Zbl 0542.03007
Božić, Milan; Došen, Kosta
3
1983
Pseudo-referential matrix semantics for propositional logics. Zbl 0542.03013
Malinowski, Grzegorz
3
1983
Structural completeness of some fragments of intermediate logics. Zbl 0549.03021
Prucnal, Tadeusz
1
1983
On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras. Zbl 0555.06008
Dziobiak, Wiesław
1
1983
Pretabular varieties of \(n\)-lattices. Zbl 0556.03045
Sendlewski, Andrzej
1
1983
Quasivarieties for BCK-logic. Zbl 0567.03032
Kabziński, Jacek K.
1
1983
Interpretations. Zbl 1247.03121
Szczerba, Lesław W.
1
1983
Gentzen systems and decision procedures for relevant logics. (Abstract). Zbl 0523.03015
Giambrone, Steve
3
1982
Logic of vague concepts. Zbl 0511.03003
Orlowska, Ewa
1
1982
On two properties of structurally complete logics. Zbl 0514.03011
Biela, Andrzej; Dziobiak, Wieslaw
1
1982
K1.1 is not canonical. Zbl 0525.03003
Hughes, G. E.; Cresswell, M. J.
1
1982
On a problem in algebraic model theory. Zbl 0531.03043
Bui Huy Hien
1
1982
Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019
Da Costa, Newton C. A.; Alves, Elias H.
6
1981
On the theory of labels-tokens. Zbl 0457.68094
Wybraniec-Skardowska, Urszula
3
1981
Quasivarieties of Heyting algebras. Zbl 0507.08010
Wronski, Andrzej
3
1981
Interpolation properties for a class of many-valued propositional calculi. Zbl 0457.03023
Malinowski, Grzegorz; Michalczyk, Marek
2
1981
The Boolean algebra of objectives. Zbl 0457.03058
Wolniewicz, Boguslaw
2
1981
On the completeness of program verification methods. Zbl 0481.68034
Biro, Balazs
2
1981
Kripke-style semantics for Jaskowski’s system Q. Zbl 0457.03025
Urchs, Max Peter
1
1981
Ideals in BCK-algebras which are lower semilattices. Zbl 0464.03056
Palasinski, Marek
1
1981
An equational basis for commutative BCK-algebras. Zbl 0475.03038
Palasinski, Marek; Wozniakowska, Barbara
1
1981
On finitely based consequence determined by a distributive lattice. Zbl 0435.03006
Dyrda, Kazimiera; Prucnal, Tadeusz
3
1980
On reducts of intermediate logics. Zbl 0471.03019
Wronski, Andrzej
2
1980
More about referential matrices. Zbl 0445.03010
Wojcicki, Ryszard
1
1980
Verbal copies. Zbl 0424.03003
Nowakowska, Maria
1
1980
On the lattice of elementary situations. Zbl 0459.03003
Wolniewicz, Boguslaw
1
1980
A matrix adequate for S5 with MP and RN. Zbl 0459.03009
Hawranek, Jacek
1
1980
Quasi equational logic of partial algebras. Zbl 0491.08008
Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan
1
1980
A simpler proof of Sahlqvist’s theorem on completeness of modal logics. Zbl 0442.03019
Sambin, Giovanni
1
1980
Bochvar’s algebras and corresponding propositional calculi. Zbl 0441.03023
Finn, Viktor; Grigolia, Revaz
1
1980
Strongly finite logics: Finite axiomatizability and the problem of supremum. Zbl 0409.03017
Wojtylak, Piotr
7
1979
Referential matrix semantics for propositional calculi. Zbl 0435.03016
Wojcicki, Ryszard
7
1979
Minimal deontic logics. Zbl 0408.03016
van Benthem, J. F. A. K.
6
1979
Entailment relations and matrices. I. Zbl 0409.03015
Zygmunt, Jan
3
1979
Program verification within and without logic. Zbl 0441.68024
Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko
3
1979
An example of strongly finite consequence operation with \(2^{\aleph_0}\) standard strengthenings. Zbl 0408.03019
Dziobiak, Wieslaw
2
1979
On strongly finite consequence operations. Zbl 0415.03021
Dziobiak, Wieslaw
2
1979
On definability in Peano arithmetic. Zbl 0424.03008
Csirmaz, Laszlo
2
1979
More about the lattice of tense logics. Zbl 0411.03015
Rautenberg, Wolfgang
1
1979
An example concerning the lattice of the structural consequence operations. Zbl 0414.03019
Dziobiak, Wieslaw
1
1979
A purely algebraic proof of the omitting types theorem. Zbl 0418.03023
Czelakowski, Janusz
1
1979
Filters and natural extensions of closure systems. Zbl 0419.03042
Suszko, Roman; Weinfeld, Tamara
1
1979
...and 22 more Documents
all top 5

Cited by 220 Authors

9 Czelakowski, Janusz
6 Andréka, Hajnal
6 Dziobiak, Wiesław
6 Németi, István
6 Sain, Ildikó
5 Pigozzi, Don Leonard
5 Rautenberg, Wolfgang
5 Wybraniec-Skardowska, Urszula
4 Bezhanishvili, Nick
4 Bredikhin, Dmitry Aleksandrovich
4 Cīrulis, Jānis
4 Font, Josep Maria
4 Raftery, James G.
4 Zakharyaschev, Michael Viktorovich
3 Citkin, Alex
3 Coniglio, Marcelo Esteban
3 Giambrone, Steve
3 Humberstone, Lloyd
3 Malinowski, Grzegorz
3 Odintsov, Sergei P.
3 Verdú, Ventura
3 Wolter, Frank
2 Bezhanishvili, Guram
2 Blok, Wim J.
2 Bonatti, Piero Andrea
2 Caleiro, Carlos
2 Celani, Sergio Arturo
2 Chagrov, Aleksandr Vasil’evich
2 Cintula, Petr
2 Došen, Kosta
2 Fariñas del Cerro, Luis
2 Ferenczi, Miklós
2 Ferguson, Thomas Macaulay
2 Gispert, Joan
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 Pałasińska, Katarzyna
2 Palmigiano, Alessandra
2 Pasztor, Ana
2 Peron, Newton M.
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 Stachniak, Zbigniew
2 Stronkowski, Michał Marek
2 Subrahmanian, V. S.
2 Tinchev, Tinko
2 Trafford, James
2 Wansing, Heinrich Theodor
2 Wiśniewski, Andrzej
2 Wolniewicz, Bogusław
2 Zygmunt, Jan
1 Adillon, Romà J.
1 Albuquerque, Hugo
1 Artamonov, Vyacheslav Aleksandrovich
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 Biela, Andrzej
1 Blair, Howard A.
1 Brady, Ross Thomas
1 Bunder, Martin W.
1 Buszkowski, Wojciech
1 Caferra, Ricardo
1 Campercholi, Miguel A.
1 Carai, Luca
1 Chemla, Emmanuel
1 Chlebowski, Szymon
1 Ciucci, Davide
1 Ciungu, Lavinia Corina
1 Conradie, Willem J.
1 Csirmaz, László
1 Da Costa, Newton Carneiro Affonso
1 de Jongh, Dick H. J.
1 Dong, Huimin
1 Drobyshevich, Sergeĭ Andreevich
1 Dubois, Didier
1 Düntsch, Ivo
1 Dunn, Jon Michael
1 Dywan, Zdzisław
1 Égré, Paul
1 Esteban, Maria
1 Estrada-González, Luis
1 Figallo Orellano, Aldo
1 Fu, Yulong
...and 120 more Authors
all top 5

Cited in 43 Journals

71 Studia Logica
12 Algebra Universalis
11 Theoretical Computer Science
10 Journal of Philosophical Logic
10 Annals of Pure and Applied Logic
7 Archive for Mathematical Logic
7 Logica Universalis
6 Synthese
5 Fuzzy Sets and Systems
5 Journal of Applied Non-Classical Logics
5 The Review of Symbolic Logic
4 Soft Computing
3 Acta Informatica
3 Notre Dame Journal of Formal Logic
3 Semigroup Forum
3 Information and Computation
3 Logic and Logical Philosophy
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 Mathematical Logic Quarterly (MLQ)
2 Erkenntnis
2 Journal of Applied Logic
2 Journal of Logical and Algebraic Methods in Programming
1 Archiv für Mathematische Logik und Grundlagenforschung
1 International Journal of Theoretical Physics
1 Algebra and Logic
1 Journal of Soviet Mathematics
1 The Journal of Symbolic Logic
1 Siberian Mathematical Journal
1 Transactions of the American Mathematical Society
1 Mathematical Social Sciences
1 Physica D
1 International Journal of Intelligent Systems
1 Indagationes Mathematicae. New Series
1 Journal of Logic, Language and Information
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

Citations by Year