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: 607 Publications (since 1993) References Indexed: 99 Publications with 1,714 References. all top 5 Latest Issues 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) 22, No. 1 (1993) all top 5 Authors 18 Sayed Ahmed, Tarek 16 Indrzejczak, Andrzej 13 Robles, Gemma 12 Kostrzycka, Zofia 12 Pietruszczak, Andrzej 11 Graczyńska, Ewa Wanda 11 Méndez, José M. 11 Rybakov, Vladimir Vladimirovich 11 Veloso, Paulo Augusto S. 10 Frankowski, Szymon 10 Nasieniewski, Marek 10 Tourlakis, George J. 9 Kamide, Norihiro 9 Nowak, Marek 8 Ciuciura, Janusz 8 Figallo, Aldo Victorio 8 Grygiel, Joanna 8 Jun, Young Bae 7 Borzooei, Rajab Ali 7 Cīrulis, Jānis 7 Kolany, Adam 7 Malinowski, Jacek 6 Jarmużek, Tomasz 6 Łukowski, Piotr 6 Malinowski, Grzegorz 6 Pynko, Alexej P. 6 Salto, Francisco 6 Takano, Mitio 6 Ulrich, Dolph 5 Czelakowski, Janusz 5 Dzik, Wojciech 5 Haeusler, Edward Hermann 5 Kowalski, Tomasz 5 Łazarz, Marcin 5 Mruczek-Nasieniewska, Krystyna 5 Németi, István 5 Orłowska, Ewa S. 5 Sági, Gábor 5 Shimura, Tatsuya 4 Béziau, Jean-Yves 4 Da Costa, Newton Carneiro Affonso 4 Geisler, Jacek 4 Inoué, Takao 4 Kaczmarek, Janusz 4 Kulicki, Piotr 4 Połacik, Tomasz 4 Sasaki, Katsumi 4 Schumann, Andrew 4 Suzuki, Nobu-Yuki 4 Vasyukov, Vladimir Leonidovich 4 Weaver, George E. 4 Wos, Larry 4 Ziliani, Alicia 3 Buszkowski, Wojciech 3 Chagrov, Aleksandr Vasil’evich 3 Doria, Francisco Antonio 3 Fitelson, Branden 3 Font, Josep Maria 3 Górnicka, Anetta 3 Gruszczyński, Rafał 3 Kabzinski, Jacek K. 3 Klonowski, Mateusz 3 Komori, Yuichi 3 Leszczyńska-Jasion, Dorota 3 Manzano, María 3 Martins, Manuel António 3 Ono, Hiroakira 3 Pelaitay, Gustavo 3 Sain, Ildikó 3 Song, Seok-Zun 3 Staruch, Bogdan 3 Staruch, Bożena 3 Świȩtorzecka, Kordula 3 Voutsadakis, George 3 Wansing, Heinrich Theodor 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 Bryll, Grzegorz 2 Bunder, Martin W. 2 Caceres-Duque, Luis F. 2 Coniglio, Marcelo Esteban 2 De Queiroz, Ruy José Guerra Barretto 2 Demri, Stéphane P. 2 Dietrich, Jens 2 Dywan, Zdzisław 2 Ernst, Zachary 2 Frias, Marcelo Fabián 2 Gallardo, Carlos 2 Gencer, Çigdem 2 George, Benjamin R. 2 Golovanov, Mikhail I. 2 Goranko, Valentin F. 2 Haeberer, Armando Martín 2 Hałkowska, Katarzyna ...and 286 more Authors all top 5 Fields 540 Mathematical logic and foundations (03-XX) 77 Order, lattices, ordered algebraic structures (06-XX) 42 Computer science (68-XX) 37 General algebraic systems (08-XX) 16 History and biography (01-XX) 8 General and overarching topics; collections (00-XX) 8 Combinatorics (05-XX) 4 General topology (54-XX) 3 Category theory; homological algebra (18-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Group theory and generalizations (20-XX) 2 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-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 240 Publications have been cited 670 times in 492 Documents Cited by ▼ Year ▼ Formalization of a plausible inference. Zbl 1060.03027Frankowski, Szymon 26 2004 Models of cubic theories. Zbl 1336.03046Sudoplatov, Sergey 20 2014 13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood. Zbl 1133.03301Béziau, Jean-Yves 16 2006 Gentzen’s cut-free calculus versus the logic of paradox. Zbl 1286.03084Pynko, Alexej P. 13 2010 Cut-free hypersequent calculus for S4.3. Zbl 1287.03046Indrzejczak, Andrzej 13 2012 Logics of essence and accident. Zbl 1117.03305Marcos, João 12 2005 A certain conception of rough sets in topological Boolean algebras. Zbl 0776.04004Chuchro, Marek 11 1993 \(p\)-consequence versus \(q\)-consequence operations. Zbl 1066.03025Frankowski, Szymon 10 2004 Completeness for various logics of essence and accident. Zbl 1286.03073Steinsvold, Christopher 10 2008 A modified subformula property for the modal logics K5 and K5D. Zbl 1038.03022Takano, Mitio 10 2001 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 10 2014 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 9 1999 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068Blasio, Carolina; Marcos, João; Wansing, Heinrich 8 2017 Sequent calculi for monotonic modal logics. Zbl 1117.03022Indrzejczak, Andrzej 8 2005 A sequent calculus for Łukasiewicz’s three-valued logic based on Suszko’s bivalent semantics. Zbl 0963.03037Béziau, Jean-Yves 8 1999 Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043Jarmużek, Tomasz; Malinowski, Jacek 8 2019 Products of tree languages. Zbl 1286.68277Denecke, K.; Sarasit, N. 7 2011 Remarks on Heyting algebras with tense operators. Zbl 1287.03110Figallo, A. V.; Pelaitay, G. 7 2012 On the equivalence between some systems of non-classical logic. Zbl 0862.03016Sette, Antonio Mario; Alves, Elias H. 7 1996 Kleene logic and inference. Zbl 1338.03046Malinowski, Grzegorz 7 2014 A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024Kürbis, Nils 7 2019 Modal interpretation of Heyting-Brouwer logic. Zbl 0861.03010Łukowski, Piotr 6 1996 Syntactical and semantical characterization of a class of paraconsistent logics. Zbl 1117.03036Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 6 2005 Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009Dzik, Wojciech 6 2003 On GE-algebras. Zbl 07368983Bandaru, Ravikumar; Borumand Saeid, Arsham; Jun, Young Bae 6 2021 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 5 2014 On substructural logics preserving degrees of truth. Zbl 1286.03079Font, Josep Maria 5 2007 The non-reflexive counterpart of Grz. Zbl 1286.03066Litak, Tadeusz 5 2007 Paraconsitent logics obtained by J.-Y. Béziau’s method by means of some non-normal modal logics. Zbl 1286.03103Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 5 2008 A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154Metcalfe, George 5 2009 An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102Kamide, Norihiro 5 2010 Remarks on projective unifiers. Zbl 1286.03038Dzik, Wojciech 5 2011 Pseudo-BCI-logic. Zbl 1287.03058Dymek, Grzegorz; Kozanecka-Dymek, Anna 5 2013 Remarks on Hertz algebras and implicative semilattices. Zbl 1114.03312Figallo, A. jun.; Ziliani, A. 5 2005 Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035Bueno-Soler, Juliana; Carnielli, Walter 5 2005 Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026Kürbis, Nils 5 2019 Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239Indrzejczak, Andrzej 5 2017 Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242Maffezioli, Paolo; Orlandelli, Eugenio 5 2019 An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317Kamide, Norihiro 4 2006 A relationship between Rauszer’s H-B logic and Nelson’s logic. Zbl 1066.03041Kamide, Norihiro 4 2004 Fregean logics and the strong amalgamation property. Zbl 1286.03123Czelakowski, Janusz 4 2007 The \(\mathcal{NS}_{n\times m}\)-propositional calculus. Zbl 1286.03182Figallo, A. V.; Sanza, C. A. 4 2008 Suszko’s contribution to the theory of nonaxiomatic proof systems. Zbl 1286.03004Indrzejczak, Andrzej 4 2009 Sequential calculi for many-valued logics with equality determinant. Zbl 1061.03028Pynko, Alexej P. 4 2004 Some properties of \(H\)-irreducible lattices. Zbl 1059.06005Grygiel, Joanna 4 2004 Algebraizability and Beth’s theorem for equivalential logics. Zbl 0790.03059Herrmann, Burghard 4 1993 Boolean programs and quantified propositional proof systems. Zbl 0951.03052Cook, Stephen; Soltys, Michael 4 1999 Mixing modal and sufficiency operators. Zbl 0953.03020Düntsch, Ivo; Orłowska, Ewa 4 1999 A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106Klonowski, Mateusz 4 2018 Rule-generation theorem and its applications. Zbl 1437.03161Indrzejczak, Andrzej 4 2018 Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321Dzik, Wojciech 3 2006 Logical approach to \(p\)-adic probabilities. Zbl 1133.03327Khrennikov, Andrei; Schumann, Andrew 3 2006 Neat embedding is not sufficient for complete representability. Zbl 1286.03174Sayed Ahmed, Tarek 3 2007 Entailment relations and/as truth values. Zbl 1286.03088Shramko, Yaroslav; Wansing, Heinrich 3 2007 Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108Frankowski, Szymon 3 2008 Simplified Kripke style semantics for modal logics K45, KB4 and KD45. Zbl 1286.03069Pietruszczak, Andrzej 3 2009 Béziau’s logics obtained by means of quasi-regular logics. Zbl 1286.03104Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 3 2009 A note on nuclei of quantale algebras. Zbl 1286.06028Solovyov, Sergey A. 3 2011 Congruences and ideals in a distributive lattice with respect to a derivation. Zbl 1287.06009Sambasiva Rao, M. 3 2013 A Segerberg-like connection between certain classes of propositional logics. Zbl 1287.03048Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 3 2013 Characterization of Medvedev’s logic by means of Kubiński’s frames. Zbl 1287.03061Łazarz, Marcin 3 2013 A modal extension of first-order classical logic. I. Zbl 1046.03009Tourlakis, George; Kibedi, Francisco 3 2003 A modal extension of first order classical logic. II. Zbl 1051.03020Tourlakis, George; Kibedi, Francisco 3 2004 A finitary 1-equivalential logic not finitely equivalential. Zbl 0841.03037Dellunde i Clavé, Pilar 3 1995 Paraconsistent extensions of positive logic. Zbl 0854.03022Tuziak, Roman 3 1996 Ontology can turn negative results to positive. (An overview of recent results). Zbl 0865.03019Németi, István 3 1996 Kripke semantics for logics with BCK implication. Zbl 0854.03058MacCaull, Wendy 3 1996 Carnot’s logic. Zbl 0796.03032da Costa, Newton C. A.; Béziau, Jean-Yves 3 1993 Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002Aoto, Takahito; Ono, Hiroakira 3 1994 From ternary to tetrary? Zbl 0817.03009Vasyukov, Vladimir L. 3 1994 Combining time and knowledge, semantic approach. Zbl 1117.03021Calardo, E.; Rybakov, V. 3 2005 On the injectivity of the Leibniz operator. Zbl 1117.03351Descalço, L.; Martins, Manuel A. 3 2005 Propositional calculus with identity. Zbl 0952.03018Ishii, Tadao 3 1998 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 3 1999 On the embedding of Nelson’s logics. Zbl 1034.03028Odintsov, S. P. 3 2002 Hilbert’s new problem. Zbl 1037.03052Wos, Larry; Thiele, Ruediger 3 2001 Remarks on synthetic tableaux for classical propositional calculus. Zbl 1036.03510Urbański, Mariusz 3 2001 Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. Zbl 1423.03070Karpenko, Alexander S. 3 2017 Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 1477.03244Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin 3 2019 On the free equivalential algebra with three generators. Zbl 0793.03078Wroński, Andrzej 2 1993 Identity, equality, nameability and completeness. Zbl 1423.03042Manzano, Maria; Moreno, Manuel Crescencio 2 2017 \(iH\)-propositional calculus. Zbl 1133.03314Figallo, A. V.; Ramón, G.; Saad, S. 2 2006 A short and readable proof of cut elimination for two first-order modal logics. Zbl 1357.03086Gao, Feng; Tourlakis, George 2 2015 Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096Figallo, A. V.; Pelaitay, G. 2 2015 Note on some characterization of distributive lattices of finite length. Zbl 1352.06007Łazarz, Marcin; Siemieńczuk, Krzysztof 2 2015 A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016Kulicki, Piotr 2 2014 Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz. Zbl 1286.03095Sochacki, Robert 2 2007 Non-Archimedean valued predicate logic. Zbl 1286.03094Schumann, Andrew 2 2007 Labelled tableau calculi for weak modal logics. Zbl 1286.03061Indrzejczak, Andrzej 2 2007 Frontiers of the discursive logic. Zbl 1286.03100Ciuciura, Janusz 2 2008 Variations on Martin’s axiom and omitting types from algebraic logic, lattice theory and topology. Zbl 1286.03148Sayed Ahmed, Tarek 2 2008 The weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03105Nasieniewski, Marek; Pietruszczak, Andrzej 2 2008 Tableau system for logic of categorial propositions and decidability. Zbl 1286.03109Jarmużek, Tomasz 2 2008 New axiomatizations of the weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03106Nasieniewski, Marek; Pietruszczak, Andrzej 2 2009 Between the logic of Parmenides and the logic of liar. Zbl 1286.03023Świȩtorzecka, Kordula 2 2009 On type-2 fuzzy logic and linguistic summarization of databases. Zbl 1286.03097Niewiadomski, Adam 2 2009 Residuation subreducts of pocrigs. Zbl 1286.06026Cīrulis, Jānis 2 2010 Strong normalization of program-indexed lambda calculus. Zbl 1286.03043Kamide, Norihiro 2 2010 Vaught’s theorem holds for \(L_{2}\) but fails for \(L_{n}\) when \(n > 2\). Zbl 1286.03126Khaled, Mohamed; Sayed Ahmed, Tarek 2 2010 Slaney’s logic \(\mathrm{F}^{**}\) is constructive logic with strong negation. Zbl 1286.03035Spinks, M.; Veroff, R. 2 2010 On GE-algebras. Zbl 07368983Bandaru, Ravikumar; Borumand Saeid, Arsham; Jun, Young Bae 6 2021 On the category of EQ-algebras. Zbl 07682104Akhlaghinia, Narges; Kologani, Mona Aaly; Borzooei, Rajab Ali; Xin, Xiao Long 1 2021 A semi-lattice of four-valued literal-paraconsistent-paracomplete logics. Zbl 07368981Tomova, Natalya 1 2021 Nilpotent minimum logic NM and pretabularity. Zbl 1446.03059Yang, Eunsuk 1 2020 Completeness, categoricity and imaginary numbers: the debate on Husserl. Zbl 1446.03009Aranda, Víctor 1 2020 What is the sense in logic and philosophy of language. Zbl 1462.03015Wybraniec-Skardowska, Urszula 1 2020 New modification of the subformula property for a modal logic. Zbl 1477.03060Takano, Mitio 1 2020 Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043Jarmużek, Tomasz; Malinowski, Jacek 8 2019 A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024Kürbis, Nils 7 2019 Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026Kürbis, Nils 5 2019 Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242Maffezioli, Paolo; Orlandelli, Eugenio 5 2019 Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 1477.03244Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin 3 2019 An investigation into intuitionistic logic with identity. Zbl 1446.03024Chlebowski, Szymon; Leszczyńska-Jasion, Dorota 2 2019 A modified subformula property for the modal logic S4.2. Zbl 1477.03059Takano, Mitio 2 2019 Complex fuzzy sets with application in BCK/BCI-algebras. Zbl 1446.06029Jun, Young Bae; Xin, Xiao Long 1 2019 Positive implicative soju ideals in BCK-algebras. Zbl 1442.06010Xin, 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.03067Typańska-Czajka, Lidia 1 2019 Erratum to: “Congruences and ideals in a distributive lattice with respect to a derivation”. Zbl 1423.06028Barzegar, Hasan 1 2019 The method of Socratic proofs meets correspondence analysis. Zbl 1477.03100Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi 1 2019 A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106Klonowski, Mateusz 4 2018 Rule-generation theorem and its applications. Zbl 1437.03161Indrzejczak, Andrzej 4 2018 Int-soft ideals of pseudo MV-algebras. Zbl 1475.06008Jun, 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.03014Degauquier, Vincent 2 2018 B-almost distributive fuzzy lattice. Zbl 1431.06007Assaye, Berhanu; Alemneh, Mihret; Tefera, Gerima 2 2018 Free modal pseudocomplemented De Morgan algebras. Zbl 1475.06006Figallo, Aldo V.; Oliva, Nora; Ziliani, Alicia 1 2018 Variable sharing in substructural logics: an algebraic characterization. Zbl 1445.03033Badia, Guillermo 1 2018 Identity, equality, nameability and completeness. II. Zbl 1437.03051Manzano, Maria; Moreno, Manuel Crescenio 1 2018 Labelled sequent calculus for orthologic. Zbl 1437.03179Kawano, 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 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068Blasio, Carolina; Marcos, João; Wansing, Heinrich 8 2017 Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239Indrzejczak, Andrzej 5 2017 Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. Zbl 1423.03070Karpenko, Alexander S. 3 2017 Identity, equality, nameability and completeness. Zbl 1423.03042Manzano, Maria; Moreno, Manuel Crescencio 2 2017 From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. Zbl 1423.03241von Plato, Jan 2 2017 Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065Buszkowski, Wojciech 2 2017 Bayesian propositional logic. Zbl 1423.03067Jarmuzek, Tomasz; Klonowski, Mateusz; Malinowski, Jacek 1 2017 On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II. Zbl 1423.03063Pietruszczak, Andrzej 1 2017 A syntactic approach to closure operation. Zbl 1423.06019Nowak, Marek 1 2017 Logics with impossibility as the negation and regular extensions of the deontic logic \(\mathbf D2\). Zbl 1423.03060Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 1 2017 On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I. Zbl 1423.03062Pietruszczak, Andrzej 1 2017 Interpolation in normal extensions of the Brouwer logic. Zbl 1423.03059Kostrzycka, Zofia 1 2016 A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4. Zbl 1423.03066Robles, Gemma; López, S. M.; Blanco, J. M.; Recio, M. M.; Paradela, J. R. 1 2016 Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus. Zbl 1423.03058Indrzejczak, Andrzej 1 2016 A new arithmetically incomplete first order extension of GL all theorems of which have cut free proofs. Zbl 1404.03020Tourlakis, George 1 2016 A short and readable proof of cut elimination for two first-order modal logics. Zbl 1357.03086Gao, Feng; Tourlakis, George 2 2015 Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096Figallo, A. V.; Pelaitay, G. 2 2015 Note on some characterization of distributive lattices of finite length. Zbl 1352.06007Łazarz, Marcin; Siemieńczuk, Krzysztof 2 2015 An observation concerning Porte’s rule in modal logic. Zbl 1357.03053French, Rohan; Humberstone, Lloyd 1 2015 Categorical abstract algebraic logic referential \(\pi\)-institutions. Zbl 1368.03071Voutsadakis, George 1 2015 Closure operators on complete almost distributive lattices. III. Zbl 1321.06010Rao, G. C.; Undurthi, Venugopalam 1 2015 Models of cubic theories. Zbl 1336.03046Sudoplatov, Sergey 20 2014 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 10 2014 Kleene logic and inference. Zbl 1338.03046Malinowski, Grzegorz 7 2014 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 5 2014 A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016Kulicki, Piotr 2 2014 Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems. Zbl 1322.03021Ciuciura, Janusz 1 2014 On a four-valued modal logic with deductive implication. Zbl 1336.03023Coniglio, Marcelo E.; Figallo, Martin 1 2014 Minimal sequent calculi for monotonic chain finitely-valued logics. Zbl 1338.03047Pynko, Alexej 1 2014 Pseudo-BCI-logic. Zbl 1287.03058Dymek, Grzegorz; Kozanecka-Dymek, Anna 5 2013 Congruences and ideals in a distributive lattice with respect to a derivation. Zbl 1287.06009Sambasiva Rao, M. 3 2013 A Segerberg-like connection between certain classes of propositional logics. Zbl 1287.03048Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 3 2013 Characterization of Medvedev’s logic by means of Kubiński’s frames. Zbl 1287.03061Łazarz, Marcin 3 2013 A proof theoretic tool for first-order modal logic. Zbl 1287.03052Schwartz, Yehuda; Tourlakis, George 2 2013 Atoms in a lattice of theories. Zbl 1287.03115Font, Josep Maria 1 2013 On some application of residuated mappings. Zbl 1287.06006Nowak, Marek 1 2013 Cut-free hypersequent calculus for S4.3. Zbl 1287.03046Indrzejczak, Andrzej 13 2012 Remarks on Heyting algebras with tense operators. Zbl 1287.03110Figallo, A. V.; Pelaitay, G. 7 2012 A note on bisimulations of finite Kripke models. Zbl 1287.03080Kruszelnicka, Małgorzata 2 2012 On the weakest modal logics defining Jaskowski’s logic \(\mathrm{D}_{2}\) and the \(\mathrm{D}_{2}\)-consequence. Zbl 1287.03049Nasieniewski, Marek; Pietruszczak, Andrzej 2 2012 Single axiom for relevant implication. Zbl 1286.03089Ulrich, Dolph 1 2012 Semantical investigations on some weak modal logics. I. Zbl 1286.03070Pietruszczak, Andrzej 1 2012 Semantical investigations on some weak modal logics. II. Zbl 1287.03050Pietruszczak, Andrzej 1 2012 Normal filters of distributive lattices. Zbl 1287.06008Sambasiva Rao, M. 1 2012 Partial probability functions and intuitionistic logic. Zbl 1287.03023Lepage, François 1 2012 Products of tree languages. Zbl 1286.68277Denecke, K.; Sarasit, N. 7 2011 Remarks on projective unifiers. Zbl 1286.03038Dzik, Wojciech 5 2011 A note on nuclei of quantale algebras. Zbl 1286.06028Solovyov, Sergey A. 3 2011 Gentzen’s cut-free calculus versus the logic of paradox. Zbl 1286.03084Pynko, Alexej P. 13 2010 An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102Kamide, Norihiro 5 2010 Residuation subreducts of pocrigs. Zbl 1286.06026Cīrulis, Jānis 2 2010 Strong normalization of program-indexed lambda calculus. Zbl 1286.03043Kamide, Norihiro 2 2010 Vaught’s theorem holds for \(L_{2}\) but fails for \(L_{n}\) when \(n > 2\). Zbl 1286.03126Khaled, Mohamed; Sayed Ahmed, Tarek 2 2010 Slaney’s logic \(\mathrm{F}^{**}\) is constructive logic with strong negation. Zbl 1286.03035Spinks, M.; Veroff, R. 2 2010 Weak implication on generalized Łukasiewicz algebras of order \(n\). Zbl 1286.03180Figallo, A. V.; Gallardo, C.; Ziliani, A. 1 2010 A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154Metcalfe, George 5 2009 Suszko’s contribution to the theory of nonaxiomatic proof systems. Zbl 1286.03004Indrzejczak, Andrzej 4 2009 Simplified Kripke style semantics for modal logics K45, KB4 and KD45. Zbl 1286.03069Pietruszczak, Andrzej 3 2009 Béziau’s logics obtained by means of quasi-regular logics. Zbl 1286.03104Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 3 2009 New axiomatizations of the weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03106Nasieniewski, Marek; Pietruszczak, Andrzej 2 2009 Between the logic of Parmenides and the logic of liar. Zbl 1286.03023Świȩtorzecka, Kordula 2 2009 On type-2 fuzzy logic and linguistic summarization of databases. Zbl 1286.03097Niewiadomski, Adam 2 2009 On two open questions concerning the implicational fragment of R-mingle. Zbl 1286.03041Ulrich, Dolph 1 2009 Classes of algebras that are not closed under completions. Zbl 1286.03170Khaled, Mohamed; Sayed Ahmed, Tarek 1 2009 Semantics for regular logics connected with Jaśkowski’s \(\mathrm{D}_2\). Zbl 1286.03107Nasieniewski, Marek; Pietruszczak, Andrzej 1 2009 Completeness for various logics of essence and accident. Zbl 1286.03073Steinsvold, Christopher 10 2008 Paraconsitent logics obtained by J.-Y. Béziau’s method by means of some non-normal modal logics. Zbl 1286.03103Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 5 2008 The \(\mathcal{NS}_{n\times m}\)-propositional calculus. Zbl 1286.03182Figallo, A. V.; Sanza, C. A. 4 2008 Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108Frankowski, Szymon 3 2008 Frontiers of the discursive logic. Zbl 1286.03100Ciuciura, Janusz 2 2008 Variations on Martin’s axiom and omitting types from algebraic logic, lattice theory and topology. Zbl 1286.03148Sayed Ahmed, Tarek 2 2008 ...and 140 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 486 Authors 16 Kamide, Norihiro 14 Indrzejczak, Andrzej 12 Sudoplatov, Sergeĭ Vladimirovich 10 Pailos, Federico Matias 9 Jun, Young Bae 9 Wansing, Heinrich Theodor 8 Figallo, Aldo Victorio 8 Humberstone, Lloyd 8 Jarmużek, Tomasz 8 Pelaitay, Gustavo 8 Petrukhin, Yaroslav Igorevich 7 Klonowski, Mateusz 7 Szmuc, Damian Enrique 6 Bandaru, Ravikumar 6 Béziau, Jean-Yves 6 Fan, Jie 6 Jansana, Ramon 6 Kulpeshov, Beibut Shaiykovich 6 Nasieniewski, Marek 6 Pietruszczak, Andrzej 6 Sayed Ahmed, Tarek 5 Font, Josep Maria 5 Martins, Manuel António 5 Omori, Hitoshi 5 Pynko, Alexej P. 5 Robles, Gemma 4 Barrio, Eduardo Alejandro 4 Borumand Saeid, Arsham 4 Égré, Paul 4 Emel’yanov, Dmitriĭ Yur’evich 4 Kostrzycka, Zofia 4 Kürbis, Nils 4 Marcos, João 4 Méndez, José M. 4 Moraschini, Tommaso 4 Pascual, Inés B. 4 Ripley, David 4 Shangin, Vasily 4 Shramko, Yaroslav V. 4 Takano, Mitio 4 Wu, Weizhi 3 Balbiani, Philippe 3 Bashmakov, Stepan Igorevich 3 Ciabattoni, Agata 3 Citkin, Alex 3 Ciuciura, Janusz 3 Da Ré, Bruno 3 Diaconescu, Răzvan 3 Doria, Francisco Antonio 3 Dzik, Wojciech 3 Estrada-González, Luis 3 Ferenczi, Miklós 3 Ferguson, Thomas Macaulay 3 Gallardo, Carlos 3 Gencer, Çigdem 3 Grigor’ev, Oleg Mikhaĭlovich 3 Gyenis, Zalán 3 Kitpratyakul, Pongsakorn 3 Krawczyk, Krzysztof Aleksander 3 Leszczyńska-Jasion, Dorota 3 Manzano, María 3 Metcalfe, George 3 Mruczek-Nasieniewska, Krystyna 3 Németi, István 3 Nowak, Marek 3 Paoli, Francesco 3 Pibaljommee, Bundit 3 Rimatskij, V. V. 3 Simon, András 3 Tishkovsky, Dmitry 3 Tomova, Natal’ya Evgen’evna 3 Tourlakis, George J. 3 Veloso, Paulo Augusto S. 3 Veloso, Sheila R. M. 3 Ziliani, Alicia 2 Agliano, Paolo 2 Albuquerque, Hugo 2 Andréka, Hajnal 2 Beeson, Michael J. 2 Birštunas, Adomas 2 Bohrer, Rose 2 Borzooei, Rajab Ali 2 Buşneag, Dumitru 2 Caleiro, Carlos 2 Cao, Nhung 2 Chen, Jia 2 Chen, Jinsheng 2 Chlebowski, Szymon 2 Cīrulis, Jānis 2 Ciungu, Lavinia Corina 2 Czédli, Gábor 2 Da Costa, Newton Carneiro Affonso 2 Denecke, Klaus Dieter 2 Devyatkin, Leonid Yur’evich 2 Dubois, Didier 2 Esteva, Francesc 2 Figueroa-García, Juan Carlos 2 French, Rohan 2 Gaĭnă, Daniel 2 Gaines, Brian R. ...and 386 more Authors all top 5 Cited in 84 Journals 65 Studia Logica 32 Journal of Philosophical Logic 31 Bulletin of the Section of Logic 26 Logic and Logical Philosophy 24 Logica Universalis 16 Journal of Applied Non-Classical Logics 14 Annals of Pure and Applied Logic 14 The Review of Symbolic Logic 12 Journal of Logic, Language and Information 12 Soft Computing 10 Notre Dame Journal of Formal Logic 8 Algebra Universalis 8 Theoretical Computer Science 8 Mathematical Logic Quarterly (MLQ) 7 Algebra and Logic 7 Archive for Mathematical Logic 7 Asian-European Journal of Mathematics 6 Fuzzy Sets and Systems 6 The Journal of Symbolic Logic 6 Logicheskie Issledovaniya 5 Information Sciences 5 Synthese 4 International Journal of Approximate Reasoning 4 The Bulletin of Symbolic Logic 3 Siberian Mathematical Journal 3 Central European Journal of Mathematics 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 3 Algebraic Structures and their Applications 3 Journal of Siberian Federal University. Mathematics & Physics 2 Computers & Mathematics with Applications 2 Lithuanian Mathematical Journal 2 Applied Mathematics and Computation 2 Journal of Algebra 2 Information and Computation 2 Lobachevskii Journal of Mathematics 2 Nihonkai Mathematical Journal 2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 2 Afrika Matematika 2 Journal of Logical and Algebraic Methods in Programming 1 International Journal of General Systems 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 Demonstratio Mathematica 1 Kyungpook Mathematical Journal 1 Mathematica Slovaca 1 History and Philosophy of Logic 1 Order 1 Journal of Automated Reasoning 1 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Mathematics and Applications 1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques 1 Indagationes Mathematicae. New Series 1 Russian Mathematics 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 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 Algebra and its Applications 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 European Journal of Mathematics 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 25 Fields 428 Mathematical logic and foundations (03-XX) 68 Computer science (68-XX) 64 Order, lattices, ordered algebraic structures (06-XX) 32 General algebraic systems (08-XX) 14 History and biography (01-XX) 9 Category theory; homological algebra (18-XX) 8 General and overarching topics; collections (00-XX) 8 Group theory and generalizations (20-XX) 8 General topology (54-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Probability theory and stochastic processes (60-XX) 4 Operations research, mathematical programming (90-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Number theory (11-XX) 2 Geometry (51-XX) 2 Statistics (62-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Citations by Year