Bulletin of the Section of Logic Short Title: Bull. Sect. Log., Univ. Łódź, Dep. Log. Publisher: University of Łódź, Department of Logic, Łódź ISSN: 0138-0680 Online: https://czasopisma.uni.lodz.pl/bulletin/issue/archivehttp://www.filozof.uni.lodz.pl/bulletin/contents.phphttps://bibliotekanauki.pl/journals/1106/issues Predecessor: Bulletin of the Section of Logic Comments: Journal; This journal is available open access. Documents Indexed: 653 Publications (since 1993) References Indexed: 145 Publications with 2,716 References. all top 5 Latest Issues 53, No. 1 (2024) 52, No. 4 (2023) 52, No. 3 (2023) 52, No. 2 (2023) 52, No. 1 (2023) 51, No. 4 (2022) 51, No. 3 (2022) 51, No. 2 (2022) 51, No. 1 (2022) 50, No. 4 (2021) 50, No. 3 (2021) 50, No. 2 (2021) 50, No. 1 (2021) 49, No. 4 (2020) 49, No. 3 (2020) 49, No. 2 (2020) 49, No. 1 (2020) 48, No. 4 (2019) 48, No. 3 (2019) 48, No. 2 (2019) 48, No. 1 (2019) 47, No. 4 (2018) 47, No. 3 (2018) 47, No. 2 (2018) 47, No. 1 (2018) 46, No. 3-4 (2017) 46, No. 1-2 (2017) 45, No. 3-4 (2016) 45, No. 2 (2016) 45, No. 1 (2016) 44, No. 3-4 (2015) 44, No. 1-2 (2015) 43, No. 3-4 (2014) 43, No. 1-2 (2014) 42, No. 3-4 (2013) 42, No. 1-2 (2013) 41, No. 3-4 (2012) 41, No. 1-2 (2012) 40, No. 3-4 (2011) 40, No. 1-2 (2011) 39, No. 3-4 (2010) 39, No. 1-2 (2010) 38, No. 3-4 (2009) 38, No. 1-2 (2009) 37, No. 3-4 (2008) 37, No. 2 (2008) 37, No. 1 (2008) 36, No. 3-4 (2007) 36, No. 1-2 (2007) 35, No. 4 (2006) 35, No. 2-3 (2006) 35, No. 1 (2006) 34, No. 4 (2005) 34, No. 3 (2005) 34, No. 2 (2005) 34, No. 1 (2005) 33, No. 4 (2004) 33, No. 3 (2004) 33, No. 2 (2004) 33, No. 1 (2004) 32, No. 4 (2003) 32, No. 3 (2003) 32, No. 1-2 (2003) 31, No. 4 (2002) 31, No. 3 (2002) 31, No. 2 (2002) 31, No. 1 (2002) 30, No. 4 (2001) 30, No. 3 (2001) 30, No. 2 (2001) 30, No. 1 (2001) 29, No. 4 (2000) 29, No. 3 (2000) 29, No. 1-2 (2000) 28, No. 4 (1999) 28, No. 3 (1999) 28, No. 2 (1999) 28, No. 1 (1999) 27, No. 4 (1998) 27, No. 3 (1998) 27, No. 1-2 (1998) 26, No. 4 (1997) 26, No. 3 (1997) 26, No. 2 (1997) 26, No. 1 (1997) 25, No. 3-4 (1996) 25, No. 2 (1996) 25, No. 1 (1996) Index (1996) 24, No. 4 (1995) 24, No. 3 (1995) 24, No. 2 (1995) 24, No. 1 (1995) 23, No. 4 (1994) 23, No. 3 (1994) 23, No. 2 (1994) 23, No. 1 (1994) 22, No. 4 (1993) 22, No. 3 (1993) 22, No. 2 (1993) all top 5 Authors 19 Sayed Ahmed, Tarek 16 Indrzejczak, Andrzej 14 Robles, Gemma 12 Kostrzycka, Zofia 12 Méndez, José M. 12 Pietruszczak, Andrzej 11 Graczyńska, Ewa Wanda 11 Rybakov, Vladimir Vladimirovich 11 Veloso, Paulo Augusto Silva 10 Borzooei, Rajab Ali 10 Frankowski, Szymon 10 Nasieniewski, Marek 10 Tourlakis, George J. 9 Jun, Young Bae 9 Kamide, Norihiro 9 Nowak, Marek 8 Ciuciura, Janusz 8 Figallo, Aldo Victorio 8 Grygiel, Joanna 7 Cīrulis, Jānis 7 Jarmużek, Tomasz 7 Kolany, Adam 7 Malinowski, Jacek 6 Haeusler, Edward Hermann 6 Karpenko, Aleksandr Stepanovich 6 Łukowski, Piotr 6 Malinowski, Grzegorz 6 Mruczek-Nasieniewska, Krystyna 6 Pynko, Alexej P. 6 Salto, Francisco 6 Takano, Mitio 6 Ulrich, Dolph 5 Czelakowski, Janusz 5 Dzik, Wojciech 5 Inoué, Takao 5 Kowalski, Tomasz 5 Kulicki, Piotr 5 Łazarz, Marcin 5 Németi, István 5 Orłowska, Ewa 5 Sági, Gábor 5 Sasaki, Katsumi 5 Shimura, Tatsuya 4 Béziau, Jean-Yves 4 Da Costa, Newton Carneiro Affonso 4 Geisler, Jacek 4 Gruszczyński, Rafał 4 Kaczmarek, Janusz 4 Klonowski, Mateusz 4 Kologani, Mona Aaly 4 Połacik, Tomasz 4 Rezaei, Gholamreza 4 Schumann, Andrew 4 Suzuki, Nobu-Yuki 4 Vasyukov, Vladimir Leonidovich 4 Wansing, Heinrich Theodor 4 Weaver, George E. 4 Wos, Larry 4 Ziliani, Alicia 3 Ayhan, Sara 3 Buszkowski, Wojciech 3 Chagrov, Aleksandr Vasil’evich 3 Coniglio, Marcelo Esteban 3 De Queiroz, Ruy José Guerra Barretto 3 Doria, Francisco Antonio 3 Fitelson, Branden 3 Font, Josep Maria 3 Górnicka, Anetta 3 Kabzinski, Jacek K. 3 Komori, Yuichi 3 Kürbis, Nils 3 Leszczyńska-Jasion, Dorota 3 Manzano, María 3 Martins, Manuel António 3 Ono, Hiroakira 3 Pelaitay, Gustavo 3 Petrukhin, Yaroslav Igorevich 3 Sain, Ildikó 3 Shangin, Vasily 3 Song, Seok-Zun 3 Staruch, Bogdan 3 Staruch, Bożena 3 Świȩtorzecka, Kordula 3 Voutsadakis, George 3 Woleński, Jan 3 Xin, Xiaolong 2 Adillon, Romà J. 2 Alves, Elias Humberto 2 Bartol, Wiktor 2 Benatti, Haroldo G. 2 Biegańska, Teresa 2 Bilat, Andrzej 2 Borumand Saeid, Arsham 2 Bryll, Grzegorz 2 Bunder, Martin W. 2 Caceres-Duque, Luis F. 2 Cornejo, Juan Manuel 2 Demri, Stéphane P. 2 Dietrich, Jens 2 Dywan, Zdzisław ...and 335 more Authors all top 5 Fields 583 Mathematical logic and foundations (03-XX) 88 Order, lattices, ordered algebraic structures (06-XX) 43 Computer science (68-XX) 39 General algebraic systems (08-XX) 16 History and biography (01-XX) 9 General and overarching topics; collections (00-XX) 8 Combinatorics (05-XX) 5 Category theory; homological algebra (18-XX) 4 General topology (54-XX) 3 Group theory and generalizations (20-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Probability theory and stochastic processes (60-XX) 2 Information and communication theory, circuits (94-XX) 1 Geometry (51-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 285 Publications have been cited 881 times in 640 Documents Cited by ▼ Year ▼ Formalization of a plausible inference. Zbl 1060.03027 Frankowski, Szymon 40 2004 Models of cubic theories. Zbl 1336.03046 Sudoplatov, Sergey 22 2014 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068 Blasio, Carolina; Marcos, João; Wansing, Heinrich 20 2017 13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood. Zbl 1133.03301 Béziau, Jean-Yves 18 2006 Gentzen’s cut-free calculus versus the logic of paradox. Zbl 1286.03084 Pynko, Alexej P. 18 2010 On GE-algebras. Zbl 1529.06031 Bandaru, Ravikumar; Borumand Saeid, Arsham; Jun, Young Bae 16 2021 An essay on unification and inference rules for modal logics. Zbl 0952.03019 Rybakov, V. V.; Terziler, M.; Gencer, C. 15 1999 A modified subformula property for the modal logics K5 and K5D. Zbl 1038.03022 Takano, Mitio 14 2001 Logics of essence and accident. Zbl 1117.03305 Marcos, João 14 2005 Cut-free hypersequent calculus for S4.3. Zbl 1287.03046 Indrzejczak, Andrzej 14 2012 Completeness for various logics of essence and accident. Zbl 1286.03073 Steinsvold, Christopher 13 2008 A certain conception of rough sets in topological Boolean algebras. Zbl 0776.04004 Chuchro, Marek 12 1993 \(p\)-consequence versus \(q\)-consequence operations. Zbl 1066.03025 Frankowski, Szymon 11 2004 Sequent calculi for monotonic modal logics. Zbl 1117.03022 Indrzejczak, Andrzej 11 2005 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039 Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 11 2014 Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043 Jarmużek, Tomasz; Malinowski, Jacek 11 2019 Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009 Dzik, Wojciech 9 2003 A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024 Kürbis, Nils 9 2019 Kleene logic and inference. Zbl 1338.03046 Malinowski, Grzegorz 9 2014 A sequent calculus for Łukasiewicz’s three-valued logic based on Suszko’s bivalent semantics. Zbl 0963.03037 Béziau, Jean-Yves 8 1999 Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026 Kürbis, Nils 8 2019 Remarks on Heyting algebras with tense operators. Zbl 1287.03110 Figallo, A. V.; Pelaitay, G. 8 2012 On the equivalence between some systems of non-classical logic. Zbl 0862.03016 Sette, Antonio Mario; Alves, Elias H. 7 1996 Syntactical and semantical characterization of a class of paraconsistent logics. Zbl 1117.03036 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 7 2005 Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242 Maffezioli, Paolo; Orlandelli, Eugenio 7 2019 Products of tree languages. Zbl 1286.68277 Denecke, K.; Sarasit, N. 7 2011 Remarks on projective unifiers. Zbl 1286.03038 Dzik, Wojciech 7 2011 Rule-generation theorem and its applications. Zbl 1437.03161 Indrzejczak, Andrzej 7 2018 Pseudo-BCI-logic. Zbl 1287.03058 Dymek, Grzegorz; Kozanecka-Dymek, Anna 7 2013 Modal interpretation of Heyting-Brouwer logic. Zbl 0861.03010 Łukowski, Piotr 6 1996 A semantics for equational hybrid propositional type theory. Zbl 1318.03031 Manzano, María; Martins, Manuel A.; Huertas, Antonia 6 2014 An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102 Kamide, Norihiro 6 2010 Simplified Kripke style semantics for modal logics K45, KB4 and KD45. Zbl 1286.03069 Pietruszczak, Andrzej 6 2009 An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317 Kamide, Norihiro 5 2006 Mixing modal and sufficiency operators. Zbl 0953.03020 Düntsch, Ivo; Orłowska, Ewa 5 1999 On the embedding of Nelson’s logics. Zbl 1034.03028 Odintsov, S. P. 5 2002 Remarks on Hertz algebras and implicative semilattices. Zbl 1114.03312 Figallo, A. jun.; Ziliani, A. 5 2005 Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035 Bueno-Soler, Juliana; Carnielli, Walter 5 2005 Paraconsitent logics obtained by J.-Y. Béziau’s method by means of some non-normal modal logics. Zbl 1286.03103 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 5 2008 Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239 Indrzejczak, Andrzej 5 2017 On substructural logics preserving degrees of truth. Zbl 1286.03079 Font, Josep Maria 5 2007 The non-reflexive counterpart of Grz. Zbl 1286.03066 Litak, Tadeusz 5 2007 Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108 Frankowski, Szymon 5 2008 A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154 Metcalfe, George 5 2009 On the weakest modal logics defining Jaskowski’s logic \(\mathrm{D}_{2}\) and the \(\mathrm{D}_{2}\)-consequence. Zbl 1287.03049 Nasieniewski, Marek; Pietruszczak, Andrzej 5 2012 Super-strict implications. Zbl 1500.03006 Gherardi, Guido; Orlandelli, Eugenio 5 2021 Carnot’s logic. Zbl 0796.03032 da Costa, Newton C. A.; Béziau, Jean-Yves 4 1993 Algebraizability and Beth’s theorem for equivalential logics. Zbl 0790.03059 Herrmann, Burghard 4 1993 Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321 Dzik, Wojciech 4 2006 A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logics. Zbl 0857.03013 Suzuki, Nobu-Yuki 4 1996 Boolean programs and quantified propositional proof systems. Zbl 0951.03052 Cook, Stephen; Soltys, Michael 4 1999 A relationship between Rauszer’s H-B logic and Nelson’s logic. Zbl 1066.03041 Kamide, Norihiro 4 2004 Sequential calculi for many-valued logics with equality determinant. Zbl 1061.03028 Pynko, Alexej P. 4 2004 Some properties of \(H\)-irreducible lattices. Zbl 1059.06005 Grygiel, Joanna 4 2004 Identity, equality, nameability and completeness. Zbl 1423.03042 Manzano, Maria; Moreno, Manuel Crescencio 4 2017 Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 1477.03244 Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin 4 2019 Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. Zbl 1423.03070 Karpenko, Alexander S. 4 2017 A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106 Klonowski, Mateusz 4 2018 Neat embedding is not sufficient for complete representability. Zbl 1286.03174 Sayed Ahmed, Tarek 4 2007 Fregean logics and the strong amalgamation property. Zbl 1286.03123 Czelakowski, Janusz 4 2007 The \(\mathcal{NS}_{n\times m}\)-propositional calculus. Zbl 1286.03182 Figallo, A. V.; Sanza, C. A. 4 2008 Frontiers of the discursive logic. Zbl 1286.03100 Ciuciura, Janusz 4 2008 Suszko’s contribution to the theory of nonaxiomatic proof systems. Zbl 1286.03004 Indrzejczak, Andrzej 4 2009 Congruences and ideals in a distributive lattice with respect to a derivation. Zbl 1287.06009 Sambasiva Rao, M. 4 2013 From ternary to tetrary? Zbl 0817.03009 Vasyukov, Vladimir L. 3 1994 Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002 Aoto, Takahito; Ono, Hiroakira 3 1994 Fork algebras are representable. Zbl 0831.03036 Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.; Veloso, Paulo A. S. 3 1995 A finitary 1-equivalential logic not finitely equivalential. Zbl 0841.03037 Dellunde i Clavé, Pilar 3 1995 Logical approach to \(p\)-adic probabilities. Zbl 1133.03327 Khrennikov, Andrei; Schumann, Andrew 3 2006 On the free equivalential algebra with three generators. Zbl 0793.03078 Wroński, Andrzej 3 1993 Paraconsistent extensions of positive logic. Zbl 0854.03022 Tuziak, Roman 3 1996 Ontology can turn negative results to positive. (An overview of recent results). Zbl 0865.03019 Németi, István 3 1996 Kripke semantics for logics with BCK implication. Zbl 0854.03058 MacCaull, Wendy 3 1996 Propositional calculus with identity. Zbl 0952.03018 Ishii, Tadao 3 1998 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021 Rybakov, Vladimir V. 3 1999 Hilbert’s new problem. Zbl 1037.03052 Wos, Larry; Thiele, Ruediger 3 2001 Remarks on synthetic tableaux for classical propositional calculus. Zbl 1036.03510 Urbański, Mariusz 3 2001 A modal extension of first-order classical logic. I. Zbl 1046.03009 Tourlakis, George; Kibedi, Francisco 3 2003 A modal extension of first order classical logic. II. Zbl 1051.03020 Tourlakis, George; Kibedi, Francisco 3 2004 Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems. Zbl 1322.03021 Ciuciura, Janusz 3 2014 Categorical dualities for some two categories of lattices: an extended abstract. Zbl 07811395 Dziobiak, Wiesław; Schwidefsky, Marina V. 3 2022 Note on some characterization of distributive lattices of finite length. Zbl 1352.06007 Łazarz, Marcin; Siemieńczuk, Krzysztof 3 2015 (H)-Hilbert algebras are not the same as Hertz algebras. Zbl 1114.03311 Cīrulis, Jānis 3 2003 Combining time and knowledge, semantic approach. Zbl 1117.03021 Calardo, E.; Rybakov, V. 3 2005 On the injectivity of the Leibniz operator. Zbl 1117.03351 Descalço, L.; Martins, Manuel A. 3 2005 A modified subformula property for the modal logic S4.2. Zbl 1477.03059 Takano, Mitio 3 2019 The weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03105 Nasieniewski, Marek; Pietruszczak, Andrzej 3 2008 A note on nuclei of quantale algebras. Zbl 1286.06028 Solovyov, Sergey A. 3 2011 Characterization of Medvedev’s logic by means of Kubiński’s frames. Zbl 1287.03061 Łazarz, Marcin 3 2013 An investigation into intuitionistic logic with identity. Zbl 1446.03024 Chlebowski, Szymon; Leszczyńska-Jasion, Dorota 3 2019 From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. Zbl 1423.03241 von Plato, Jan 3 2017 Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065 Buszkowski, Wojciech 3 2017 That \(p + q = \mathrm{c(onsequence)}\). Zbl 1286.03020 Malinowski, Grzegorz 3 2007 Entailment relations and/as truth values. Zbl 1286.03088 Shramko, Yaroslav; Wansing, Heinrich 3 2007 Labelled tableau calculi for weak modal logics. Zbl 1286.03061 Indrzejczak, Andrzej 3 2007 New axiomatizations of the weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03106 Nasieniewski, Marek; Pietruszczak, Andrzej 3 2009 Béziau’s logics obtained by means of quasi-regular logics. Zbl 1286.03104 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 3 2009 Normal filters of distributive lattices. Zbl 1287.06008 Sambasiva Rao, M. 3 2012 A Segerberg-like connection between certain classes of propositional logics. Zbl 1287.03048 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 3 2013 Paraconsistent logics! Zbl 0926.03004 Restall, Greg 2 1997 On paracomplete versions of Jaśkowski’s discussive logic. Zbl 07865509 Mruczek-Nasieniewska, Krystyna; Petrukhin, Yaroslav; Shangin, Vasily 1 2024 On Synonymy in proof-theoretic semantics: the case of \(\mathtt{2Int}\). Zbl 07811413 Ayhan, Sara; Wansing, Heinrich 2 2023 Structural rules in natural deduction with alternatives. Zbl 07811411 Restall, Greg 1 2023 Supposition: a problem for bilateralism. Zbl 07811417 Kürbis, Nils 1 2023 Harmony and normalisation in bilateral logic. Zbl 07811419 del Valle-Inclan, Pedro 1 2023 Cut elimination for extended sequent calculi. Zbl 07811422 Martini, Simone; Masini, Andrea; Zorzi, Margherita 1 2023 Categorical dualities for some two categories of lattices: an extended abstract. Zbl 07811395 Dziobiak, Wiesław; Schwidefsky, Marina V. 3 2022 Unification and finite model property for linear step-like temporal multi-agent logic with the universal modality. Zbl 07811396 Bashmakov, Stepan I.; Zvereva, Tatyana Yu. 2 2022 A logic for dually hemimorphic semi-Heyting algebras and its axiomatic extensions. Zbl 07811404 Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. 2 2022 A sequent system without improper derivations. Zbl 1536.03025 Sasaki, Katsumi 2 2022 Basic four-valued systems of cyclic negations. Zbl 07811402 Grigoriev, Oleg; Zaitsev, Dmitry 1 2022 A variant of material connexive logic. Zbl 1536.03014 Belikov, Alex; Zaitsev, Dmitry 1 2022 Tableaux for some deontic logics with the explicit permission operator. Zbl 1536.03011 Glavaničová, Daniela; Jarmużek, Tomasz; Klonowski, Mateusz; Kulicki, Piotr 1 2022 Ternary relational semantics for the variants of BN4 and E4 which contain Routley and Meyer’s Logic B. Zbl 1536.03013 López, Sandra M. 1 2022 Weakly free multialgebras. Zbl 1536.03033 Coniglio, Marcelo E.; Toledo, Guilherme V. 1 2022 On GE-algebras. Zbl 1529.06031 Bandaru, Ravikumar; Borumand Saeid, Arsham; Jun, Young Bae 16 2021 Super-strict implications. Zbl 1500.03006 Gherardi, Guido; Orlandelli, Eugenio 5 2021 On the category of EQ-algebras. Zbl 1529.03280 Akhlaghinia, Narges; Kologani, Mona Aaly; Borzooei, Rajab Ali; Xin, Xiao Long 2 2021 A semi-lattice of four-valued literal-paraconsistent-paracomplete logics. Zbl 1529.03183 Tomova, Natalya 1 2021 Neighbourhood semantics for graded modal logic. Zbl 1529.03143 Chen, Jinsheng; van Ditmarsch, Hans; Greco, Giuseppe; Tzimoulis, Apostolos 1 2021 An arithmetically complete predicate modal logic. Zbl 1529.03151 Hao, Yunge; Tourlakis, George 1 2021 Empirical negation, co-negation and contraposition rule. I: Semantical investigations. Zbl 1477.03026 Niki, Satoru 2 2020 New modification of the subformula property for a modal logic. Zbl 1477.03060 Takano, Mitio 2 2020 Proof compression and NP versus PSPACE. II. Zbl 1477.03246 Gordeev, Lew; Haeusler, Edward Hermann 1 2020 Nilpotent minimum logic NM and pretabularity. Zbl 1446.03059 Yang, Eunsuk 1 2020 Completeness, categoricity and imaginary numbers: the debate on Husserl. Zbl 1446.03009 Aranda, Víctor 1 2020 What is the sense in logic and philosophy of language. Zbl 1462.03015 Wybraniec-Skardowska, Urszula 1 2020 Empirical negation, co-negation and the contraposition rule. II: Proof-theoretical investigations. Zbl 1477.03027 Niki, Satoru 1 2020 Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043 Jarmużek, Tomasz; Malinowski, Jacek 11 2019 A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024 Kürbis, Nils 9 2019 Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026 Kürbis, Nils 8 2019 Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242 Maffezioli, Paolo; Orlandelli, Eugenio 7 2019 Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 1477.03244 Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin 4 2019 A modified subformula property for the modal logic S4.2. Zbl 1477.03059 Takano, Mitio 3 2019 An investigation into intuitionistic logic with identity. Zbl 1446.03024 Chlebowski, Szymon; Leszczyńska-Jasion, Dorota 3 2019 The method of Socratic proofs meets correspondence analysis. Zbl 1477.03100 Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi 2 2019 Positive implicative soju ideals in BCK-algebras. Zbl 1442.06010 Xin, Xiao Long; Borzooei, Rajab Ali; Jun, Young Bae 1 2019 Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\). Zbl 1477.03067 Typańska-Czajka, Lidia 1 2019 Erratum to: “Congruences and ideals in a distributive lattice with respect to a derivation”. Zbl 1423.06028 Barzegar, Hasan 1 2019 Semi-Heyting algebras and identities of associative type. Zbl 1477.06025 Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. 1 2019 A note on Ciuciura’s \(\mathbf{mbC}^1\). Zbl 1446.03061 Omori, Hitoshi 1 2019 Complex fuzzy sets with application in BCK/BCI-algebras. Zbl 1446.06029 Jun, Young Bae; Xin, Xiao Long 1 2019 Rule-generation theorem and its applications. Zbl 1437.03161 Indrzejczak, Andrzej 7 2018 A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106 Klonowski, Mateusz 4 2018 B-almost distributive fuzzy lattice. Zbl 1431.06007 Assaye, Berhanu; Alemneh, Mihret; Tefera, Gerima 2 2018 A comparison of two systems of point-free topology. Zbl 1437.03048 Gruszczynski, Rafal; Pietruszczak, Andrzej 2 2018 Int-soft ideals of pseudo MV-algebras. Zbl 1475.06008 Jun, Young B.; Song, Seok-Zun; Bordbar, Hashem 2 2018 A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\). Zbl 1470.03014 Degauquier, Vincent 2 2018 Free modal pseudocomplemented De Morgan algebras. Zbl 1475.06006 Figallo, Aldo V.; Oliva, Nora; Ziliani, Alicia 2 2018 Identity, equality, nameability and completeness. II. Zbl 1437.03051 Manzano, Maria; Moreno, Manuel Crescenio 1 2018 Labelled sequent calculus for orthologic. Zbl 1437.03179 Kawano, Tomoaki 1 2018 On the definability of Leśniewski’s copula ‘is’ in some ontology-like theories. Zbl 1437.03107 Łyczak, Marcin; Pietruszczak, Andrzej 1 2018 On injective MV-modules. Zbl 1437.06021 Saidi Goraghani, S.; Borzooei, Rajabali A. 1 2018 Algebraic characterization of the local Craig interpolation property. Zbl 1473.03044 Gyenis, Zalán 1 2018 Variable sharing in substructural logics: an algebraic characterization. Zbl 1445.03033 Badia, Guillermo 1 2018 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068 Blasio, Carolina; Marcos, João; Wansing, Heinrich 20 2017 Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239 Indrzejczak, Andrzej 5 2017 Identity, equality, nameability and completeness. Zbl 1423.03042 Manzano, Maria; Moreno, Manuel Crescencio 4 2017 Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. Zbl 1423.03070 Karpenko, Alexander S. 4 2017 From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. Zbl 1423.03241 von Plato, Jan 3 2017 Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065 Buszkowski, Wojciech 3 2017 On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II. Zbl 1423.03063 Pietruszczak, Andrzej 2 2017 Logics with impossibility as the negation and regular extensions of the deontic logic \(\mathbf D2\). Zbl 1423.03060 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 2 2017 Some weak variants of the existence and disjunction properties in intermediate predicate logics. Zbl 1423.03108 Suzuki, Nobu-Yuki 2 2017 On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I. Zbl 1423.03062 Pietruszczak, Andrzej 2 2017 Bayesian propositional logic. Zbl 1423.03067 Jarmuzek, Tomasz; Klonowski, Mateusz; Malinowski, Jacek 1 2017 A syntactic approach to closure operation. Zbl 1423.06019 Nowak, Marek 1 2017 Universality of logic. Zbl 1423.03039 Woleński, Jan 1 2017 A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4. Zbl 1423.03066 Robles, Gemma; López, S. M.; Blanco, J. M.; Recio, M. M.; Paradela, J. R. 2 2016 A new arithmetically incomplete first order extension of GL all theorems of which have cut free proofs. Zbl 1404.03020 Tourlakis, George 1 2016 Interpolation in normal extensions of the Brouwer logic. Zbl 1423.03059 Kostrzycka, Zofia 1 2016 Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus. Zbl 1423.03058 Indrzejczak, Andrzej 1 2016 Note on some characterization of distributive lattices of finite length. Zbl 1352.06007 Łazarz, Marcin; Siemieńczuk, Krzysztof 3 2015 A short and readable proof of cut elimination for two first-order modal logics. Zbl 1357.03086 Gao, Feng; Tourlakis, George 2 2015 Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096 Figallo, A. V.; Pelaitay, G. 2 2015 An observation concerning Porte’s rule in modal logic. Zbl 1357.03053 French, Rohan; Humberstone, Lloyd 2 2015 Categorical abstract algebraic logic referential \(\pi\)-institutions. Zbl 1368.03071 Voutsadakis, George 1 2015 Closure operators on complete almost distributive lattices. III. Zbl 1321.06010 Rao, G. C.; Undurthi, Venugopalam 1 2015 Models of cubic theories. Zbl 1336.03046 Sudoplatov, Sergey 22 2014 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039 Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 11 2014 Kleene logic and inference. Zbl 1338.03046 Malinowski, Grzegorz 9 2014 A semantics for equational hybrid propositional type theory. Zbl 1318.03031 Manzano, María; Martins, Manuel A.; Huertas, Antonia 6 2014 Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems. Zbl 1322.03021 Ciuciura, Janusz 3 2014 A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016 Kulicki, Piotr 2 2014 On a four-valued modal logic with deductive implication. Zbl 1336.03023 Coniglio, Marcelo E.; Figallo, Martin 1 2014 Minimal sequent calculi for monotonic chain finitely-valued logics. Zbl 1338.03047 Pynko, Alexej 1 2014 Pseudo-BCI-logic. Zbl 1287.03058 Dymek, Grzegorz; Kozanecka-Dymek, Anna 7 2013 Congruences and ideals in a distributive lattice with respect to a derivation. Zbl 1287.06009 Sambasiva Rao, M. 4 2013 Characterization of Medvedev’s logic by means of Kubiński’s frames. Zbl 1287.03061 Łazarz, Marcin 3 2013 A Segerberg-like connection between certain classes of propositional logics. Zbl 1287.03048 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 3 2013 A proof theoretic tool for first-order modal logic. Zbl 1287.03052 Schwartz, Yehuda; Tourlakis, George 2 2013 Atoms in a lattice of theories. Zbl 1287.03115 Font, Josep Maria 2 2013 On some application of residuated mappings. Zbl 1287.06006 Nowak, Marek 1 2013 Non-adjunctive discursive logic. Zbl 1287.03059 Ciuciura, Janusz 1 2013 Countable frames for bimodal logics \(\mathrm{S5} \otimes \mathrm{S5}\) and \(\mathrm{Grz.3}\otimes \mathrm{Grz.3}\). Zbl 1287.03047 Kost, Sławomir 1 2013 Cut-free hypersequent calculus for S4.3. Zbl 1287.03046 Indrzejczak, Andrzej 14 2012 Remarks on Heyting algebras with tense operators. Zbl 1287.03110 Figallo, A. V.; Pelaitay, G. 8 2012 On the weakest modal logics defining Jaskowski’s logic \(\mathrm{D}_{2}\) and the \(\mathrm{D}_{2}\)-consequence. Zbl 1287.03049 Nasieniewski, Marek; Pietruszczak, Andrzej 5 2012 Normal filters of distributive lattices. Zbl 1287.06008 Sambasiva Rao, M. 3 2012 Semantical investigations on some weak modal logics. I. Zbl 1286.03070 Pietruszczak, Andrzej 2 2012 ...and 185 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 593 Authors 19 Indrzejczak, Andrzej 18 Kamide, Norihiro 16 Jun, Young Bae 13 Sudoplatov, Sergeĭ Vladimirovich 12 Bandaru, Ravikumar 12 Petrukhin, Yaroslav Igorevich 12 Wansing, Heinrich Theodor 11 Omori, Hitoshi 11 Pailos, Federico Matias 10 Jarmużek, Tomasz 10 Klonowski, Mateusz 10 Pelaitay, Gustavo 9 Szmuc, Damian Enrique 8 Figallo, Aldo Victorio 8 Humberstone, Lloyd 8 Sayed Ahmed, Tarek 7 Égré, Paul 7 Fan, Jie 7 Nasieniewski, Marek 7 Paoli, Francesco 7 Pietruszczak, Andrzej 7 Shangin, Vasily 6 Bashmakov, Stepan Igorevich 6 Béziau, Jean-Yves 6 Estrada-González, Luis 6 Font, Josep Maria 6 Jansana, Ramon 6 Kulpeshov, Beibut Shaiykovich 6 Rao, Mukkamala Sambasiva 6 Ripley, David 6 Robles, Gemma 5 Balbiani, Philippe 5 Barrio, Eduardo Alejandro 5 Borzooei, Rajab Ali 5 Da Ré, Bruno 5 Kostrzycka, Zofia 5 Kürbis, Nils 5 Marcos, João 5 Martins, Manuel António 5 Mruczek-Nasieniewska, Krystyna 5 Pynko, Alexej P. 5 Shramko, Yaroslav V. 5 Takano, Mitio 5 Wu, Weizhi 4 Borumand Saeid, Arsham 4 Citkin, Alex 4 Ciungu, Lavinia Corina 4 Dubois, Didier 4 Emel’yanov, Dmitriĭ Yur’evich 4 Ferguson, Thomas Macaulay 4 Gencer, Çigdem 4 Grigor’ev, Oleg Mikhaĭlovich 4 Gyenis, Zalán 4 Leszczyńska-Jasion, Dorota 4 Ma, Minghui 4 Manzano, María 4 Méndez, José M. 4 Moraschini, Tommaso 4 Orlandelli, Eugenio 4 Pascual, Inés B. 4 Standefer, Shawn 4 Suzuki, Nobu-Yuki 3 Arenhart, Jonas Rafael Becker 3 Banerjee, Mohua 3 Caleiro, Carlos 3 Chemla, Emmanuel 3 Ciabattoni, Agata 3 Cīrulis, Jānis 3 Ciuciura, Janusz 3 Devyatkin, Leonid Yur’evich 3 Diaconescu, Răzvan 3 Doria, Francisco Antonio 3 Dzik, Wojciech 3 Ferenczi, Miklós 3 French, Rohan 3 Gallardo, Carlos 3 Giordani, Alessandro 3 Godo, Lluís 3 Gratzl, Norbert 3 Greati, Vitor 3 Kinyon, Michael K. 3 Kitpratyakul, Pongsakorn 3 Kologani, Mona Aaly 3 Krawczyk, Krzysztof Aleksander 3 Marcelino, Sérgio 3 Metcalfe, George 3 Németi, István 3 Nowak, Marek 3 Pavlović, Edi 3 Pibaljommee, Bundit 3 Prade, Henri M. 3 Rimatskij, V. V. 3 Sano, Katsuhiko 3 Schumann, Andrew 3 Schwidefsky, Marina V. 3 Shaik, Manzoor Kaleem 3 Simon, András 3 Słomczyńska, Katarzyna 3 Song, Seok-Zun 3 St. John, Gavin ...and 493 more Authors all top 5 Cited in 96 Journals 80 Studia Logica 48 Bulletin of the Section of Logic 39 Journal of Philosophical Logic 32 Logic and Logical Philosophy 27 Logica Universalis 21 The Review of Symbolic Logic 20 Journal of Applied Non-Classical Logics 17 Synthese 15 Journal of Logic, Language and Information 14 Annals of Pure and Applied Logic 12 Notre Dame Journal of Formal Logic 12 Soft Computing 9 Algebra and Logic 9 Mathematical Logic Quarterly (MLQ) 8 Algebra Universalis 8 Fuzzy Sets and Systems 8 Theoretical Computer Science 7 The Journal of Symbolic Logic 7 Archive for Mathematical Logic 7 Asian-European Journal of Mathematics 7 Logicheskie Issledovaniya 6 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 5 Information Sciences 5 Siberian Mathematical Journal 5 International Journal of Approximate Reasoning 5 Sibirskie Èlektronnye Matematicheskie Izvestiya 5 Algebraic Structures and their Applications 4 Mathematica Slovaca 4 The Bulletin of Symbolic Logic 3 Nihonkai Mathematical Journal 3 Central European Journal of Mathematics 3 Journal of Siberian Federal University. Mathematics & Physics 3 Journal of Algebraic Systems 2 Computers & Mathematics with Applications 2 Lithuanian Mathematical Journal 2 Applied Mathematics and Computation 2 Journal of Algebra 2 Order 2 Information and Computation 2 Journal of Automated Reasoning 2 Lobachevskii Journal of Mathematics 2 Journal of Algebra and its Applications 2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 2 Afrika Matematika 2 Journal of Mathematics 2 Journal of Logical and Algebraic Methods in Programming 1 International Journal of General Systems 1 Indian Journal of Pure & Applied Mathematics 1 Information Processing Letters 1 Mathematical Notes 1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 1 Annales Universitatis Mariae Curie-Skłodowska. Sectio A. Mathematica 1 Archivum Mathematicum 1 Demonstratio Mathematica 1 Kyungpook Mathematical Journal 1 History and Philosophy of Logic 1 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 International Journal of Algebra and Computation 1 Mathematical Structures in Computer Science 1 Discrete Mathematics and Applications 1 Games and Economic Behavior 1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques 1 Indagationes Mathematicae. New Series 1 Russian Mathematics 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Computational and Applied Mathematics 1 Journal of the Egyptian Mathematical Society 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 Matematicheskie Trudy 1 Foundations of Science 1 Annales Mathematicae Silesianae 1 Kragujevac Journal of Mathematics 1 Journal of Applied Mathematics 1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 1 Journal of Intelligent and Fuzzy Systems 1 Journal of Multiple-Valued Logic and Soft Computing 1 Journal of Applied Logic 1 Thai Journal of Mathematics 1 Journal of the Indonesian Mathematical Society 1 Iranian Journal of Fuzzy Systems 1 Logical Methods in Computer Science 1 São Paulo Journal of Mathematical Sciences 1 Formalized Mathematics 1 Antiquitates Mathematicae 1 Eurasian Mathematical Journal 1 Journal of Applied Mathematics & Informatics 1 Arabian Journal of Mathematics 1 Palestine Journal of Mathematics 1 Topological Algebra and its Applications 1 Nôus 1 Journal of Algebra and Related Topics 1 European Journal of Mathematics 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 AIMS Mathematics all top 5 Cited in 25 Fields 560 Mathematical logic and foundations (03-XX) 93 Order, lattices, ordered algebraic structures (06-XX) 80 Computer science (68-XX) 37 General algebraic systems (08-XX) 18 History and biography (01-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Category theory; homological algebra (18-XX) 10 Group theory and generalizations (20-XX) 9 General and overarching topics; collections (00-XX) 9 General topology (54-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Probability theory and stochastic processes (60-XX) 4 Operations research, mathematical programming (90-XX) 3 Geometry (51-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Statistics (62-XX) 2 Quantum theory (81-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Operator theory (47-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Citations by Year