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.php 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 Marek 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 261 more Authors all top 5 Fields 519 Mathematical logic and foundations (03-XX) 73 Order, lattices, ordered algebraic structures (06-XX) 40 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 194 Publications have been cited 450 times in 347 Documents Cited by ▼ Year ▼ Formalization of a plausible inference. Zbl 1060.03027Frankowski, Szymon 15 2004 Models of cubic theories. Zbl 1336.03046Sudoplatov, Sergey 15 2014 A certain conception of rough sets in topological Boolean algebras. Zbl 0776.04004Chuchro, Marek 11 1993 Cut-free hypersequent calculus for S4.3. Zbl 1287.03046Indrzejczak, Andrzej 11 2012 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 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 8 2004 Logics of essence and accident. Zbl 1117.03305Marcos, João 8 2005 Completeness for various logics of essence and accident. Zbl 1286.03073Steinsvold, Christopher 7 2008 An essay on unification and inference rules for modal logics. Zbl 0952.03019Rybakov, V. V.; Terziler, M.; Gencer, C. 7 1999 A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154Metcalfe, George 5 2009 Products of tree languages. Zbl 1286.68277Denecke, K.; Sarasit, N. 5 2011 Kleene logic and inference. Zbl 1338.03046Malinowski, Grzegorz 5 2014 A sequent calculus for Łukasiewicz’s three-valued logic based on Suszko’s bivalent semantics. Zbl 0963.03037Béziau, Jean-Yves 5 1999 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 Remarks on Hertz algebras and implicative semilattices. Zbl 1114.03312Figallo, A. jun.; Ziliani, A. 5 2005 Sequent calculi for monotonic modal logics. Zbl 1117.03022Indrzejczak, Andrzej 5 2005 Syntactical and semantical characterization of a class of paraconsistent logics. Zbl 1117.03036Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 5 2005 A relationship between Rauszer’s H-B logic and Nelson’s logic. Zbl 1066.03041Kamide, Norihiro 4 2004 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 Fregean logics and the strong amalgamation property. Zbl 1286.03123Czelakowski, Janusz 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 Remarks on projective unifiers. Zbl 1286.03038Dzik, Wojciech 4 2011 Remarks on Heyting algebras with tense operators. Zbl 1287.03110Figallo, A. V.; Pelaitay, G. 4 2012 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 4 2014 An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317Kamide, Norihiro 4 2006 Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239Indrzejczak, Andrzej 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 The non-reflexive counterpart of Grz. Zbl 1286.03066Litak, Tadeusz 3 2007 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 Pseudo-BCI-logic. Zbl 1287.03058Dymek, Grzegorz; Kozanecka-Dymek, Anna 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 Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002Aoto, Takahito; Ono, Hiroakira 3 1994 Boolean programs and quantified propositional proof systems. Zbl 0951.03052Cook, Stephen; Soltys, Michael 3 1999 Mixing modal and sufficiency operators. Zbl 0953.03020Düntsch, Ivo; Orłowska, Ewa 3 1999 A finitary 1-equivalential logic not finitely equivalential. Zbl 0841.03037Dellunde i Clavé, Pilar 3 1995 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 Logical approach to \(p\)-adic probabilities. Zbl 1133.03327Khrennikov, Andrei; Schumann, Andrew 3 2006 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 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068Blasio, Carolina; Marcos, João; Wansing, Heinrich 3 2017 Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096Figallo, A. V.; Pelaitay, G. 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 Non-computability of the equational theory of polyadic algebras. Zbl 1037.03054Sági, Gábor 2 2001 Hilbert’s new problem. Zbl 1037.03052Wos, Larry; Thiele, Ruediger 2 2001 A concise axiomatization of \(\text{RM}_\rightarrow\). Zbl 1036.03016Ernst, Zachary; Fitelson, Branden; Harris, Kenneth; Wos, Larry 2 2001 On axiomatic products of PDL and S5: Substitution, tests and knowledge. Zbl 1037.03032Schmidt, Renate A.; Tishkovsky, Dmitry 2 2002 Constructing counter-models for modal logic K4 from refutation trees. Zbl 1036.03015Mouri, Motohiko 2 2002 On the free equivalential algebra with three generators. Zbl 0793.03078Wroński, Andrzej 2 1993 A modal extension of first-order classical logic. I. Zbl 1046.03009Tourlakis, George; Kibedi, Francisco 2 2003 A modal extension of first order classical logic. II. Zbl 1051.03020Tourlakis, George; Kibedi, Francisco 2 2004 On set theory as a foundation for computer science. Zbl 1051.03043da Costa, N. C. A.; Doria, F. A. 2 2004 The logic B and the reductio axioms. Zbl 1051.03022Robles, Gemma; Méndez, José M. 2 2004 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 Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108Frankowski, Szymon 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 Slaney’s logic \(\mathrm{F}^{**}\) is constructive logic with strong negation. Zbl 1286.03035Spinks, M.; Veroff, R. 2 2010 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 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 2 2014 A useful four-valued extension of the temporal logic \(\text \texttt{K}_{\mathrm t}\text\texttt{T4}\). Zbl 06983878Degauquier, Vincent 2 2018 Rule-generation theorem and its applications. Zbl 1437.03161Indrzejczak, Andrzej 2 2018 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 Algebraizability and Beth’s theorem for equivalential logics. Zbl 0790.03059Herrmann, Burghard 2 1993 An explicit basis for rules admissible in modal system S4. Zbl 0961.03021Rybakov, Vladimir V. 2 1999 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 On the equivalence between two systems of paraconsistent logic. Zbl 0853.03006Sette, A. M.; Alves, E. H. 2 1995 Paraconsistent extensions of positive logic. Zbl 0854.03022Tuziak, Roman 2 1996 Representation theorems for implication structures. Zbl 0881.03042Buszkowski, Wojciech 2 1996 On negatively restricting Boolean algebras. Zbl 0881.03035Zuber, R. 2 1997 Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009Dzik, Wojciech 2 2003 Extended Frege and Gaussian elimination. Zbl 1032.03048Soltys, Michael 2 2002 Unification in common knowledge logics. Zbl 1036.03012Rybakov, V. V. 2 2002 On the embedding of Nelson’s logics. Zbl 1034.03028Odintsov, S. P. 2 2002 Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321Dzik, Wojciech 2 2006 Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035Bueno-Soler, Juliana; Carnielli, Walter 2 2005 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 On GE-algebras. Zbl 07368983Bandaru, Ravikumar; Saeid, Arsham Borumand; Jun, Young Bae 1 2021 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 07124769Takano, Mitio 1 2019 Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 07124771Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin 1 2019 A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 07124774Kürbis, Nils 1 2019 The method of Socratic proofs meets correspondence analysis. Zbl 07124775Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi 1 2019 Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 07124777Maffezioli, Paolo; Orlandelli, Eugenio 1 2019 A useful four-valued extension of the temporal logic \(\text \texttt{K}_{\mathrm t}\text\texttt{T4}\). Zbl 06983878Degauquier, Vincent 2 2018 Rule-generation theorem and its applications. Zbl 1437.03161Indrzejczak, Andrzej 2 2018 Int-soft ideals of pseudo MV-algebras. Zbl 06983877Jun, Young B.; Song, Seok-Zun; Bordbar, Hashem 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 3 2017 An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068Blasio, Carolina; Marcos, João; Wansing, Heinrich 3 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 Identity, equality, nameability and completeness. Zbl 1423.03042Manzano, Maria; Moreno, Manuel Crescencio 2 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 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 Interpolation in normal extensions of the Brouwer logic. Zbl 1423.03059Kostrzycka, Zofia 1 2016 Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus. Zbl 1423.03058Indrzejczak, Andrzej 1 2016 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 short and readable proof of cut elimination for two first-order modal logics. Zbl 1357.03086Gao, Feng; Tourlakis, George 1 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 15 2014 Kleene logic and inference. Zbl 1338.03046Malinowski, Grzegorz 5 2014 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 4 2014 On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy 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 A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016Kulicki, Piotr 1 2014 Pseudo-BCI-logic. Zbl 1287.03058Dymek, Grzegorz; Kozanecka-Dymek, Anna 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 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 11 2012 Remarks on Heyting algebras with tense operators. Zbl 1287.03110Figallo, A. V.; Pelaitay, G. 4 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 A note on bisimulations of finite Kripke models. Zbl 1287.03080Kruszelnicka, Małgorzata 1 2012 Products of tree languages. Zbl 1286.68277Denecke, K.; Sarasit, N. 5 2011 Remarks on projective unifiers. Zbl 1286.03038Dzik, Wojciech 4 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 Slaney’s logic \(\mathrm{F}^{**}\) is constructive logic with strong negation. Zbl 1286.03035Spinks, M.; Veroff, R. 2 2010 Vaught’s theorem holds for \(L_{2}\) but fails for \(L_{n}\) when \(n > 2\). Zbl 1286.03126Khaled, Mohamed; Sayed Ahmed, Tarek 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 7 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 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 Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108Frankowski, Szymon 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 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 The non-reflexive counterpart of Grz. Zbl 1286.03066Litak, Tadeusz 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 Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321Dzik, Wojciech 2 2006 \(iH\)-propositional calculus. Zbl 1133.03314Figallo, A. V.; Ramón, G.; Saad, S. 1 2006 On formulas of one variable in NEXT(KTB). Zbl 1133.03324Kostrzycka, Zofia 1 2006 Weighted double skeletons. Zbl 1133.06301Grygiel, Joanna 1 2006 Logics of essence and accident. Zbl 1117.03305Marcos, João 8 2005 Remarks on Hertz algebras and implicative semilattices. Zbl 1114.03312Figallo, A. jun.; Ziliani, A. 5 2005 Sequent calculi for monotonic modal logics. Zbl 1117.03022Indrzejczak, Andrzej 5 2005 Syntactical and semantical characterization of a class of paraconsistent logics. Zbl 1117.03036Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 5 2005 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 ...and 94 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 366 Authors 14 Kamide, Norihiro 12 Sudoplatov, Sergeĭ Vladimirovich 10 Indrzejczak, Andrzej 8 Wansing, Heinrich Theodor 7 Figallo, Aldo Victorio 7 Humberstone, Lloyd 7 Pelaitay, Gustavo 6 Kulpeshov, Beibut Shaiykovich 6 Nasieniewski, Marek 6 Pailos, Federico Matias 6 Petrukhin, Yaroslav Igorevich 6 Pietruszczak, Andrzej 6 Sayed Ahmed, Tarek 5 Béziau, Jean-Yves 5 Pynko, Alexej P. 5 Robles, Gemma 4 Emel’yanov, Dmitriĭ Yur’evich 4 Font, Josep Maria 4 Jansana, Ramon 4 Jun, Young Bae 4 Kostrzycka, Zofia 4 Martins, Manuel António 4 Pascual, Inés B. 4 Shramko, Yaroslav V. 4 Szmuc, Damian Enrique 4 Wu, Weizhi 3 Barrio, Eduardo Alejandro 3 Ciabattoni, Agata 3 Citkin, Alex 3 Doria, Francisco Antonio 3 Égré, Paul 3 Fan, Jie 3 Ferenczi, Miklós 3 Gyenis, Zalán 3 Jarmużek, Tomasz 3 Metcalfe, George 3 Mruczek-Nasieniewska, Krystyna 3 Nowak, Marek 3 Rimatskij, V. V. 3 Ripley, David 3 Shangin, Vasily 3 Simon, András 3 Takano, Mitio 3 Tishkovsky, Dmitry 2 Balbiani, Philippe 2 Bandaru, Ravikumar 2 Birštunas, Adomas 2 Borumand Saeid, Arsham 2 Buşneag, Dumitru 2 Chen, Jia 2 Cīrulis, Jānis 2 Ciuciura, Janusz 2 Czédli, Gábor 2 Da Costa, Newton Carneiro Affonso 2 Denecke, Klaus Dieter 2 Diaconescu, Răzvan 2 Dzik, Wojciech 2 Figueroa-García, Juan Carlos 2 Gaĭnă, Daniel 2 Gencer, Çigdem 2 Ghilardi, Silvio 2 Gilbert, David Robert 2 Goré, Rajeev Prabhakar 2 Goudsmit, Jeroen P. 2 Grigor’ev, Oleg 2 Grygiel, Joanna 2 Kitpratyakul, Pongsakorn 2 Kowalski, Tomasz Marek 2 Lellmann, Björn 2 Liao, Shilong 2 Lukyanchuk, Alexandra N. 2 Ma, Minghui 2 Malinowski, Jacek 2 Manzano, María 2 Marcos, João 2 Németi, István 2 Omori, Hitoshi 2 Ono, Hiroakira 2 Pan, Tianqun 2 Paoli, Francesco 2 Peterson, Clayton 2 Pibaljommee, Bundit 2 Pigozzi, Don Leonard 2 Ramanayake, Revantha 2 Sain, Ildikó 2 Sano, Katsuhiko 2 Schmidt, Renate A. 2 Schumann, Andrew 2 Shu, Lan 2 Słomczyńska, Katarzyna 2 Soltys, Michael 2 Spinks, Matthew 2 Stronkowski, Michał Marek 2 Tomova, Natal’ya Evgen’evna 2 Tourlakis, George J. 2 Trybus, Adam 2 Tsinakis, Constantine 2 Veloso, Paulo Augusto S. 2 Veloso, Sheila R. M. 2 Veroff, Robert ...and 266 more Authors all top 5 Cited in 68 Journals 51 Studia Logica 24 Bulletin of the Section of Logic 20 Logica Universalis 18 Journal of Philosophical Logic 16 Journal of Applied Non-Classical Logics 12 Logic and Logical Philosophy 11 Annals of Pure and Applied Logic 11 The Review of Symbolic Logic 10 Journal of Logic, Language and Information 8 Notre Dame Journal of Formal Logic 8 Theoretical Computer Science 7 Algebra and Logic 7 Mathematical Logic Quarterly (MLQ) 7 Soft Computing 6 Algebra Universalis 6 Fuzzy Sets and Systems 6 Archive for Mathematical Logic 6 Asian-European Journal of Mathematics 5 Information Sciences 5 Synthese 3 Siberian Mathematical Journal 3 The Bulletin of Symbolic Logic 3 Central European Journal of Mathematics 2 Computers & Mathematics with Applications 2 Lithuanian Mathematical Journal 2 Applied Mathematics and Computation 2 Journal of Algebra 2 The Journal of Symbolic Logic 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 Siberian Federal University. Mathematics & Physics 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 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 Applied Logic 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 Journal of Logical and Algebraic Methods in Programming 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 308 Mathematical logic and foundations (03-XX) 43 Computer science (68-XX) 42 Order, lattices, ordered algebraic structures (06-XX) 23 General algebraic systems (08-XX) 9 History and biography (01-XX) 7 Category theory; homological algebra (18-XX) 7 General topology (54-XX) 6 Group theory and generalizations (20-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 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 Statistics (62-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