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: Indexed cover-to-cover; This journal is available open access. Documents Indexed: 584 Publications (since 1993) References Indexed: 76 Publications with 1,266 References. all top 5 Latest Issues 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 16 Indrzejczak, Andrzej 16 Sayed Ahmed, Tarek 12 Kostrzycka, Zofia 12 Pietruszczak, Andrzej 12 Robles, Gemma 11 Graczyńska, Ewa Wanda 11 Rybakov, Vladimir Vladimirovich 11 Veloso, Paulo Augusto S. 10 Frankowski, Szymon 10 Nasieniewski, Marek 9 Kamide, Norihiro 9 Nowak, Marek 9 Tourlakis, George J. 8 Ciuciura, Janusz 8 Figallo, Aldo Victorio 8 Grygiel, Joanna 7 Cīrulis, Jānis 7 Jun, Young Bae 7 Kolany, Adam 7 Malinowski, Jacek 6 Łukowski, Piotr 6 Malinowski, Grzegorz 6 Pynko, Alexej P. 6 Salto, Francisco 6 Takano, Mitio 6 Ulrich, Dolph 5 Borzooei, Rajab Ali 5 Czelakowski, Janusz 5 Dzik, Wojciech 5 Haeusler, Edward Hermann 5 Jarmużek, Tomasz 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 Połacik, Tomasz 4 Schumann, Andrew 4 Suzuki, Nobu-Yuki 4 Vasyukov, Vladimir Leonidovich 4 Weaver, George E. 4 Wos, Larry 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 Komori, Yuichi 3 Kulicki, Piotr 3 Leszczyńska-Jasion, Dorota 3 Manzano, María 3 Martins, Manuel António 3 Ono, Hiroakira 3 Pelaitay, Gustavo 3 Sain, Ildikó 3 Sasaki, Katsumi 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 Ziliani, Alicia 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 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 Gencer, Çigdem 2 George, Benjamin R. 2 Golovanov, Mikhail I. 2 Goranko, Valentin F. 2 Haeberer, Armando Martín 2 Hałkowska, Katarzyna 2 Hasimoto, Yasusi 2 Ishii, Tadao 2 Khaled, Mohamed 2 Kibedi, Francisco 2 Klonowski, Mateusz ...and 262 more Authors all top 5 Fields 518 Mathematical logic and foundations (03-XX) 73 Order, lattices, ordered algebraic structures (06-XX) 41 Computer science (68-XX) 35 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 208 Publications have been cited 526 times in 396 Documents Cited by ▼ Year ▼ Formalization of a plausible inference. Zbl 1060.03027Frankowski, Szymon 19 2004 Models of cubic theories. Zbl 1336.03046Sudoplatov, Sergey 15 2014 Cut-free hypersequent calculus for S4.3. Zbl 1287.03046Indrzejczak, Andrzej 12 2012 Logics of essence and accident. Zbl 1117.03305Marcos, João 11 2005 A certain conception of rough sets in topological Boolean algebras. Zbl 0776.04004Chuchro, Marek 11 1993 Gentzen’s cut-free calculus versus the logic of paradox. Zbl 1286.03084Pynko, Alexej P. 10 2010 13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood. Zbl 1133.03301Béziau, Jean-Yves 10 2006 Completeness for various logics of essence and accident. Zbl 1286.03073Steinsvold, Christopher 9 2008 A modified subformula property for the modal logics K5 and K5D. Zbl 1038.03022Takano, Mitio 9 2001 \(p\)-consequence versus \(q\)-consequence operations. Zbl 1066.03025Frankowski, Szymon 9 2004 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 8 1999 Sequent calculi for monotonic modal logics. Zbl 1117.03022Indrzejczak, Andrzej 7 2005 A sequent calculus for Łukasiewicz’s three-valued logic based on Suszko’s bivalent semantics. Zbl 0963.03037Béziau, Jean-Yves 7 1999 Products of tree languages. Zbl 1286.68277Denecke, K.; Sarasit, N. 7 2011 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 7 2014 Kleene logic and inference. Zbl 1338.03046Malinowski, Grzegorz 6 2014 Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009Dzik, Wojciech 6 2003 Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043Jarmużek, Tomasz; Malinowski, Jacek 6 2019 Remarks on Hertz algebras and implicative semilattices. Zbl 1114.03312Figallo, A. jun.; Ziliani, A. 5 2005 Syntactical and semantical characterization of a class of paraconsistent logics. Zbl 1117.03036Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 5 2005 A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154Metcalfe, George 5 2009 Remarks on projective unifiers. Zbl 1286.03038Dzik, Wojciech 5 2011 Remarks on Heyting algebras with tense operators. Zbl 1287.03110Figallo, A. V.; Pelaitay, G. 5 2012 On the equivalence between some systems of non-classical logic. Zbl 0862.03016Sette, Antonio Mario; Alves, Elias H. 5 1996 Modal interpretation of Heyting-Brouwer logic. Zbl 0861.03010Łukowski, Piotr 5 1996 Boolean programs and quantified propositional proof systems. Zbl 0951.03052Cook, Stephen; Soltys, Michael 4 1999 Fregean logics and the strong amalgamation property. Zbl 1286.03123Czelakowski, Janusz 4 2007 The non-reflexive counterpart of Grz. Zbl 1286.03066Litak, Tadeusz 4 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 4 2008 Pseudo-BCI-logic. Zbl 1287.03058Dymek, Grzegorz; Kozanecka-Dymek, Anna 4 2013 Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239Indrzejczak, Andrzej 4 2017 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 4 2014 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 A relationship between Rauszer’s H-B logic and Nelson’s logic. Zbl 1066.03041Kamide, Norihiro 4 2004 An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317Kamide, Norihiro 4 2006 A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024Kürbis, Nils 4 2019 Rule-generation theorem and its applications. Zbl 1437.03161Indrzejczak, Andrzej 4 2018 Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002Aoto, Takahito; Ono, Hiroakira 3 1994 Combining time and knowledge, semantic approach. Zbl 1117.03021Calardo, E.; Rybakov, V. 3 2005 Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035Bueno-Soler, Juliana; Carnielli, Walter 3 2005 On the injectivity of the Leibniz operator. Zbl 1117.03351Descalço, L.; Martins, Manuel A. 3 2005 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 Mixing modal and sufficiency operators. Zbl 0953.03020Düntsch, Ivo; Orłowska, Ewa 3 1999 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068Blasio, Carolina; Marcos, João; Wansing, Heinrich 3 2017 Neat embedding is not sufficient for complete representability. Zbl 1286.03174Sayed Ahmed, Tarek 3 2007 On substructural logics preserving degrees of truth. Zbl 1286.03079Font, Josep Maria 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 An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102Kamide, Norihiro 3 2010 A note on nuclei of quantale algebras. Zbl 1286.06028Solovyov, Sergey A. 3 2011 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 Algebraizability and Beth’s theorem for equivalential logics. Zbl 0790.03059Herrmann, Burghard 3 1993 On the embedding of Nelson’s logics. Zbl 1034.03028Odintsov, S. P. 3 2002 Logical approach to \(p\)-adic probabilities. Zbl 1133.03327Khrennikov, Andrei; Schumann, Andrew 3 2006 Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242Maffezioli, Paolo; Orlandelli, Eugenio 3 2019 A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106Klonowski, Mateusz 3 2018 Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026Kürbis, Nils 3 2019 (H)-Hilbert algebras are not the same as Hertz algebras. Zbl 1114.03311Cīrulis, Jānis 2 2003 Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL. Zbl 1117.03321Robles, Gemma; Méndez, José M. 2 2005 A cut-free system for 16-valued reasoning. Zbl 1117.03320Kamide, Norihiro 2 2005 Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014Rybakov, Vladimir V. 2 1995 The undecidability of formal definitions in the theory of finite groups. Zbl 0829.03008da Costa, Newton C. A.; Doria, Francisco A.; Tsuji, Marcelo 2 1995 Fork algebras are representable. Zbl 0831.03036Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.; Veloso, Paulo A. S. 2 1995 The Craig interpolation theorem in multi-modal logics. Zbl 0841.03006Madarász, Judit 2 1995 On the equivalence between two systems of paraconsistent logic. Zbl 0853.03006Sette, A. M.; Alves, E. H. 2 1995 On the free equivalential algebra with three generators. Zbl 0793.03078Wroński, Andrzej 2 1993 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 2 1999 Identity, equality, nameability and completeness. Zbl 1423.03042Manzano, Maria; Moreno, Manuel Crescencio 2 2017 A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\). Zbl 1470.03014Degauquier, Vincent 2 2018 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 The \(\mathcal{NS}_{n\times m}\)-propositional calculus. Zbl 1286.03182Figallo, A. V.; Sanza, C. A. 2 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 The weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03105Nasieniewski, Marek; Pietruszczak, Andrzej 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 Suszko’s contribution to the theory of nonaxiomatic proof systems. Zbl 1286.03004Indrzejczak, Andrzej 2 2009 Béziau’s logics obtained by means of quasi-regular logics. Zbl 1286.03104Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 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 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 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 Note on some characterization of distributive lattices of finite length. Zbl 1352.06007Łazarz, Marcin; Siemieńczuk, Krzysztof 2 2015 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 A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016Kulicki, Piotr 2 2014 Finite bases of admissible inference rules for modal logics of width 2. Zbl 0897.03016Rimatskiy, V. V. 2 1997 Paraconsistent logics! Zbl 0926.03004Restall, Greg 2 1997 Carnot’s logic. Zbl 0796.03032da Costa, Newton C. A.; Béziau, Jean-Yves 2 1993 Representation theorems for implication structures. Zbl 0881.03042Buszkowski, Wojciech 2 1996 On negatively restricting Boolean algebras. Zbl 0881.03035Zuber, R. 2 1997 On GE-algebras. Zbl 07368983Bandaru, Ravikumar; Borumand Saeid, Arsham; Jun, Young Bae 2 2021 Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043Jarmużek, Tomasz; Malinowski, Jacek 6 2019 A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024Kürbis, Nils 4 2019 Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242Maffezioli, Paolo; Orlandelli, Eugenio 3 2019 Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026Kürbis, Nils 3 2019 Positive implicative soju ideals in BCK-algebras. Zbl 1442.06010Xin, Xiao Long; Borzooei, Rajab Ali; Jun, Young Bae 1 2019 A modified subformula property for the modal logic S4.2. Zbl 1477.03059Takano, Mitio 1 2019 Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 1477.03244Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin 1 2019 The method of Socratic proofs meets correspondence analysis. Zbl 1477.03100Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi 1 2019 An investigation into intuitionistic logic with identity. Zbl 1446.03024Chlebowski, Szymon; Leszczyńska-Jasion, Dorota 1 2019 Rule-generation theorem and its applications. Zbl 1437.03161Indrzejczak, Andrzej 4 2018 A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106Klonowski, Mateusz 3 2018 A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\). Zbl 1470.03014Degauquier, Vincent 2 2018 Int-soft ideals of pseudo MV-algebras. Zbl 1475.06008Jun, Young B.; Song, Seok-Zun; Bordbar, Hashem 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 Identity, equality, nameability and completeness. II. Zbl 1437.03051Manzano, Maria; Moreno, Manuel Crescenio 1 2018 Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239Indrzejczak, Andrzej 4 2017 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068Blasio, Carolina; Marcos, João; Wansing, Heinrich 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 Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. Zbl 1423.03070Karpenko, Alexander S. 1 2017 On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I. Zbl 1423.03062Pietruszczak, Andrzej 1 2017 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 Interpolation in normal extensions of the Brouwer logic. Zbl 1423.03059Kostrzycka, Zofia 1 2016 Note on some characterization of distributive lattices of finite length. Zbl 1352.06007Łazarz, Marcin; Siemieńczuk, Krzysztof 2 2015 Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096Figallo, A. V.; Pelaitay, G. 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 A short and readable proof of cut elimination for two first-order modal logics. Zbl 1357.03086Gao, Feng; Tourlakis, George 1 2015 Models of cubic theories. Zbl 1336.03046Sudoplatov, Sergey 15 2014 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 7 2014 Kleene logic and inference. Zbl 1338.03046Malinowski, Grzegorz 6 2014 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 4 2014 A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016Kulicki, Piotr 2 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 Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems. Zbl 1322.03021Ciuciura, Janusz 1 2014 Pseudo-BCI-logic. Zbl 1287.03058Dymek, Grzegorz; Kozanecka-Dymek, Anna 4 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 Congruences and ideals in a distributive lattice with respect to a derivation. Zbl 1287.06009Sambasiva Rao, M. 1 2013 On some application of residuated mappings. Zbl 1287.06006Nowak, Marek 1 2013 A proof theoretic tool for first-order modal logic. Zbl 1287.03052Schwartz, Yehuda; Tourlakis, George 1 2013 Cut-free hypersequent calculus for S4.3. Zbl 1287.03046Indrzejczak, Andrzej 12 2012 Remarks on Heyting algebras with tense operators. Zbl 1287.03110Figallo, A. V.; Pelaitay, G. 5 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. 10 2010 An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102Kamide, Norihiro 3 2010 Residuation subreducts of pocrigs. Zbl 1286.06026Cīrulis, Jānis 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 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 Suszko’s contribution to the theory of nonaxiomatic proof systems. Zbl 1286.03004Indrzejczak, Andrzej 2 2009 Béziau’s logics obtained by means of quasi-regular logics. Zbl 1286.03104Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 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 9 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 4 2008 Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108Frankowski, Szymon 3 2008 The \(\mathcal{NS}_{n\times m}\)-propositional calculus. Zbl 1286.03182Figallo, A. V.; Sanza, C. A. 2 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 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 1 2008 What is a formalized ontology today? An example of IIC. Zbl 1286.03017Kaczmarek, Janusz 1 2008 The logics of analytic equivalence. Zbl 1286.03110Nowak, Marek 1 2008 Fregean logics and the strong amalgamation property. Zbl 1286.03123Czelakowski, Janusz 4 2007 The non-reflexive counterpart of Grz. Zbl 1286.03066Litak, Tadeusz 4 2007 Neat embedding is not sufficient for complete representability. Zbl 1286.03174Sayed Ahmed, Tarek 3 2007 On substructural logics preserving degrees of truth. Zbl 1286.03079Font, Josep Maria 3 2007 Entailment relations and/as truth values. Zbl 1286.03088Shramko, Yaroslav; Wansing, Heinrich 3 2007 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 On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\). Zbl 1286.03063Kostrzycka, Zofia 1 2007 The basic constructive logic for negation-consistency defined with a propositional falsity constant. Zbl 1286.03083Méndez, José M.; Robles, Gemma; Salto, Francisco 1 2007 13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood. Zbl 1133.03301Béziau, Jean-Yves 10 2006 An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317Kamide, Norihiro 4 2006 Logical approach to \(p\)-adic probabilities. Zbl 1133.03327Khrennikov, Andrei; Schumann, Andrew 3 2006 ...and 108 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 403 Authors 15 Kamide, Norihiro 12 Indrzejczak, Andrzej 12 Sudoplatov, Sergeĭ Vladimirovich 8 Figallo, Aldo Victorio 8 Humberstone, Lloyd 8 Pailos, Federico Matias 8 Pelaitay, Gustavo 8 Wansing, Heinrich Theodor 7 Petrukhin, Yaroslav Igorevich 6 Jarmużek, Tomasz 6 Kulpeshov, Beibut Shaiykovich 6 Nasieniewski, Marek 6 Pietruszczak, Andrzej 6 Sayed Ahmed, Tarek 5 Béziau, Jean-Yves 5 Fan, Jie 5 Jansana, Ramon 5 Jun, Young Bae 5 Klonowski, Mateusz 5 Pynko, Alexej P. 5 Robles, Gemma 5 Szmuc, Damian Enrique 4 Emel’yanov, Dmitriĭ Yur’evich 4 Font, Josep Maria 4 Kostrzycka, Zofia 4 Martins, Manuel António 4 Pascual, Inés B. 4 Shramko, Yaroslav V. 4 Wu, Weizhi 3 Balbiani, Philippe 3 Bandaru, Ravikumar 3 Barrio, Eduardo Alejandro 3 Bashmakov, Stepan Igorevich 3 Ciabattoni, Agata 3 Citkin, Alex 3 Ciuciura, Janusz 3 Doria, Francisco Antonio 3 Dzik, Wojciech 3 Égré, Paul 3 Ferenczi, Miklós 3 Gencer, Çigdem 3 Grigor’ev, Oleg 3 Gyenis, Zalán 3 Kitpratyakul, Pongsakorn 3 Kürbis, Nils 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 Ripley, David 3 Shangin, Vasily 3 Simon, András 3 Takano, Mitio 3 Tishkovsky, Dmitry 2 Andréka, Hajnal 2 Birštunas, Adomas 2 Borumand Saeid, Arsham 2 Buşneag, Dumitru 2 Chen, Jia 2 Cīrulis, Jānis 2 Czédli, Gábor 2 Da Costa, Newton Carneiro Affonso 2 Da Ré, Bruno 2 Denecke, Klaus Dieter 2 Diaconescu, Răzvan 2 Estrada-González, Luis 2 Ferguson, Thomas Macaulay 2 Figueroa-García, Juan Carlos 2 Gaĭnă, Daniel 2 Ghilardi, Silvio 2 Gilbert, David Robert 2 Giordani, Alessandro 2 Goré, Rajeev Prabhakar 2 Goudsmit, Jeroen P. 2 Grygiel, Joanna 2 Kowalski, Tomasz 2 Lellmann, Björn 2 Liao, Shilong 2 Lukyanchuk, Alexandra N. 2 Łyczak, Marcin 2 Ma, Minghui 2 Malinowski, Jacek 2 Manzano, María 2 Marcos, João 2 Moraschini, Tommaso 2 Omori, Hitoshi 2 Ono, Hiroakira 2 Pan, Tianqun 2 Pascucci, Matteo 2 Peterson, Clayton 2 Pigozzi, Don Leonard 2 Ramanayake, Revantha 2 Sain, Ildikó 2 Sano, Katsuhiko 2 Schmidt, Renate A. 2 Schumann, Andrew 2 Shu, Lan ...and 303 more Authors all top 5 Cited in 72 Journals 60 Studia Logica 26 Logic and Logical Philosophy 24 Bulletin of the Section of Logic 22 Logica Universalis 21 Journal of Philosophical Logic 16 Journal of Applied Non-Classical Logics 13 Annals of Pure and Applied Logic 12 The Review of Symbolic Logic 10 Journal of Logic, Language and Information 9 Notre Dame Journal of Formal Logic 8 Theoretical Computer Science 7 Algebra and Logic 7 Archive for Mathematical Logic 7 Mathematical Logic Quarterly (MLQ) 7 Soft Computing 7 Asian-European Journal of Mathematics 6 Algebra Universalis 6 Fuzzy Sets and Systems 5 Information Sciences 5 Synthese 4 The Journal of Symbolic Logic 3 Siberian Mathematical Journal 3 The Bulletin of Symbolic Logic 3 Central European Journal of Mathematics 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 International Journal of Approximate Reasoning 2 Lobachevskii Journal of Mathematics 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 2 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 2 Journal of Logical and Algebraic Methods in Programming 2 Algebraic Structures and their Applications 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 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques 1 Indagationes Mathematicae. New Series 1 Russian 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 Nihonkai Mathematical Journal 1 Journal of Intelligent and Fuzzy Systems 1 Journal of Algebra and its Applications 1 Journal of Applied Logic 1 Thai Journal of Mathematics 1 Iranian Journal of Fuzzy Systems 1 Logical Methods in Computer Science 1 São Paulo Journal of Mathematical Sciences 1 Formalized Mathematics 1 Eurasian Mathematical Journal 1 Afrika Matematika 1 Arabian 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 351 Mathematical logic and foundations (03-XX) 48 Order, lattices, ordered algebraic structures (06-XX) 48 Computer science (68-XX) 26 General algebraic systems (08-XX) 10 History and biography (01-XX) 8 Group theory and generalizations (20-XX) 7 Category theory; homological algebra (18-XX) 7 General topology (54-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General and overarching topics; collections (00-XX) 4 Probability theory and stochastic processes (60-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Operations research, mathematical programming (90-XX) 2 Number theory (11-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 Geometry (51-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