Logic and Logical Philosophy Short Title: Log. Log. Philos. Publisher: Nicolaus Copernicus University, Faculty of Humanities, Department of Logic, Toruń ISSN: 1425-3305; 2300-9802/e Online: http://apcz.pl/czasopisma/index.php/LLP/issue/archive Comments: Journal; This journal is available open access. Documents Indexed: 527 Publications (since 1993) References Indexed: 216 Publications with 5,994 References. all top 5 Latest Issues 33, No. 1 (2024) 32, No. 4 (2023) 32, No. 3 (2023) 32, No. 2 (2023) 32, No. 1 (2023) 31, No. 4 (2022) 31, No. 3 (2022) 31, No. 2 (2022) 31, No. 1 (2022) 30, No. 4 (2021) 30, No. 3 (2021) 30, No. 2 (2021) 30, No. 1 (2021) 29, No. 4 (2020) 29, No. 3 (2020) 29, No. 2 (2020) 29, No. 1 (2020) 28, No. 4 (2019) 28, No. 3 (2019) 28, No. 2 (2019) 28, No. 1 (2019) 27, No. 4 (2018) 27, No. 3 (2018) 27, No. 2 (2018) 27, No. 1 (2018) 26, No. 4 (2017) 26, No. 3 (2017) 26, No. 2 (2017) 26, No. 1 (2017) 25, No. 4 (2016) 25, No. 3 (2016) 25, No. 2 (2016) 25, No. 1 (2016) 24, No. 4 (2015) 24, No. 3 (2015) 24, No. 2 (2015) 24, No. 1 (2015) 23, No. 4 (2014) 23, No. 3 (2014) 23, No. 2 (2014) 23, No. 1 (2014) 22, No. 4 (2013) 22, No. 3 (2013) 22, No. 2 (2013) 22, No. 1 (2013) 21, No. 4 (2012) 21, No. 3 (2012) 21, No. 2 (2012) 21, No. 1 (2012) 20, No. 4 (2011) 20, No. 3 (2011) 20, No. 1-2 (2011) 19, No. 4 (2010) 19, No. 3 (2010) 19, No. 1-2 (2010) 18, No. 3-4 (2010) 18, No. 2 (2009) 18, No. 1 (2009) 17, No. 4 (2008) 17, No. 3 (2008) 17, No. 1-2 (2008) 16, No. 4 (2007) 16, No. 2-3 (2007) 16, No. 1 (2007) 15, No. 4 (2006) 15, No. 3 (2006) 15, No. 2 (2006) 15, No. 1 (2006) 14, No. 2 (2005) 14, No. 1 (2005) 13 (2004) 11-12 (2003) 10 (2002) 9 (2001) 8 (2000) 7 (1999) 6 (1998) 5 (1997) 4 (1996) 3 (1995) 2 (1994) 1 (1993) all top 5 Authors 10 Pietruszczak, Andrzej 9 Robles, Gemma 9 Urchs, Max Peter 9 Wansing, Heinrich Theodor 8 Indrzejczak, Andrzej 7 Gerla, Giangiacomo 7 Jarmużek, Tomasz 7 Łukowski, Piotr 7 Materna, Pavel 7 Petrukhin, Yaroslav Igorevich 7 Tkaczyk, Marcin 6 Malinowski, Jacek 5 Kamide, Norihiro 5 Kulicki, Piotr 5 Łupkowski, Paweł 5 Méndez, José M. 5 Odintsov, Sergei P. 5 Omori, Hitoshi 5 Shramko, Yaroslav V. 5 Tsai, Hsing-chien 4 Batens, Diderik 4 Bondoni, Davide 4 Brenner, Joseph E. 4 Carnielli, Walter Alexandre 4 Carrara, Massimiliano 4 Meheus, Joke 4 Nasieniewski, Marek 4 Paoli, Francesco 4 Perzanowski, Jerzy 4 Raclavský, Jiří 4 Rönnedal, Daniel 4 Sayward, Charles W. 4 Szmuc, Damian Enrique 4 Trypuz, Robert 4 Urbański, Mariusz 4 Woleński, Jan 3 Allwein, Gerard 3 Antunes, Henrique 3 Béziau, Jean-Yves 3 Blanco, José Miguel 3 Chiffi, Daniele 3 Ciuciura, Janusz 3 Estrada-González, Luis 3 Francez, Nissim 3 Giordani, Alessandro 3 Gołosz, Jerzy 3 Gomolińska, Anna 3 Grigor’ev, Oleg Mikhaĭlovich 3 Gruszczyński, Rafał 3 Harrison, William L. 3 Klonowski, Mateusz 3 López, Sandra M. 3 Łyczak, Marcin 3 Maffezioli, Paolo 3 Mormann, Thomas 3 Mruczek-Nasieniewska, Krystyna 3 Pietryga, Anna 3 Scheffler, Uwe 3 Skura, Tomasz F. 3 Świȩtorzecka, Kordula 3 Varzi, Achille C. 3 Waragai, Toshiharu 3 Wiśniewski, Andrzej 3 Wójtowicz, Krzysztof 2 Abe, Jair Minoro 2 Arazim, Pavel 2 Asenjo, Florencio Gonzalez 2 Augustynek, Zdzisław 2 Barbieri, Giuseppina Gerarda 2 Bellin, Gianluigi 2 Bezerra, Edson Vinícius 2 Bjørdal, Frode Alfson 2 Bressan, Aldo 2 Coniglio, Marcelo Esteban 2 Coppola, Cristina 2 Da Costa, Newton Carneiro Affonso 2 Da Ré, Bruno 2 Degen, Josef Wolfgang 2 Drobyshevich, Sergeĭ Andreevich 2 Epstein, Richard L. 2 Faust, Don H. 2 Frankowski, Szymon 2 Galvan, Sergio 2 Glavaničová, Daniela 2 Jaskowski, Stanislaw 2 Joaquin, Jeremiah Joven B. 2 Karpenko, Aleksandr Stepanovich 2 Kiczuk, Stanisław 2 Koszowy, Marcin 2 Kovač, Srećko 2 Kürbis, Nils 2 Lenzen, Wolfgang 2 Luna, Laureano 2 Malinowski, Grzegorz 2 Menti, Alessandro 2 Moniri, Morteza 2 Muratvitsky, Alexei Y. 2 Murawski, Roman 2 Odrowąż-Sypniewska, Joanna 2 Pailos, Federico Matias ...and 321 more Authors all top 5 Fields 513 Mathematical logic and foundations (03-XX) 46 General and overarching topics; collections (00-XX) 32 History and biography (01-XX) 24 Computer science (68-XX) 13 Geometry (51-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 9 General topology (54-XX) 7 Quantum theory (81-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General algebraic systems (08-XX) 5 Relativity and gravitational theory (83-XX) 4 Category theory; homological algebra (18-XX) 4 Group theory and generalizations (20-XX) 2 Probability theory and stochastic processes (60-XX) 1 Number theory (11-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 253 Publications have been cited 981 times in 659 Documents Cited by ▼ Year ▼ Formal inconsistency and evolutionary databases. Zbl 1005.03509 Carnielli, Walter A.; Marcos, João; de Amo, Sandra 42 2000 A propositional calculus for inconsistent deductive systems. Zbl 1013.03004 Jaśkowski, Stanisław 32 1999 The paraconsistent logic Z. A possible solution to Jaśkowski’s problem. Zbl 1134.03018 Béziau, Jean-Yves 19 2006 On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Zbl 1013.03005 Jaśkowski, Stanisław 19 1999 Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027 Odintsov, S. P. 18 2001 Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074 Karpenko, Alexander; Tomova, Natalya 18 2017 Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024 Jarmużek, Tomasz; Malinowski, Jacek 17 2019 Jaśkowski’s criterion and three-valued paraconsistent logics. Zbl 1001.03029 Karpenko, Alexander S. 16 1999 Connexive logics. An overview and current trends. Zbl 1458.03005 Omori, Hitoshi; Wansing, Heinrich 15 2019 Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037 Bednarska, Kaja; Indrzejczak, Andrzej 13 2015 Mereology then and now. Zbl 1369.03046 Gruszczyński, Rafał; Varzi, Achille C. 13 2015 The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034 Odintsov, Sergei P.; Speranski, Stanislav O. 13 2016 Fregean description theory in proof-theoretical setting. Zbl 1477.03238 Indrzejczak, Andrzej 13 2019 Natural deduction for three-valued regular logics. Zbl 1417.03181 Petrukhin, Yaroslav 13 2017 Hintikka and Cresswell on logical omniscience. Zbl 1134.03006 Jago, Mark 12 2006 Towards the unification of inconsistency handling mechanisms. Zbl 1005.03508 Batens, Diderik 12 2000 An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070 Szmuc, Damian E. 12 2019 On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038 Jarmużek, Tomasz; Klonowski, Mateusz 12 2020 Connexive conditional logic. I. Zbl 1458.03017 Wansing, Heinrich; Unterhuber, Matthias 11 2019 Paraconsistency and analyticity. Zbl 1001.03031 Oller, Carlos A. 10 1999 Rational agency from a truth-functional perspective. Zbl 1369.03054 Kubyshkina, Ekaterina; Zaitsev, Dmitry V. 10 2016 Humble connexivity. Zbl 1458.03014 Kapsner, Andreas 10 2019 Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019 Gruszczyński, Rafał; Pietruszczak, Andrzej 10 2009 Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048 Petrukhin, Yaroslav 10 2018 A system for proper multiple-conclusion entailment. Zbl 1375.03016 Skura, Tomasz; Wiśniewski, Andrzej 9 2015 Admissibility of cut in congruent modal logics. Zbl 1248.03076 Indrzejczak, Andrzej 9 2011 Paraconsistency and Sette’s calculus P1. Zbl 1372.03050 Ciuciura, Janusz 8 2015 Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018 Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro 8 2014 Classical mereology is not elementarily axiomatizable. Zbl 1369.03068 Pietruszczak, Andrzej 8 2015 Supervenience, dependence, disjunction. Zbl 1477.03052 Humberstone, Lloyd 8 2019 Pieces of mereology. Zbl 1117.03018 Pietruszczak, Andrzej 8 2005 On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012 Grigoriev, Oleg; Petrukhin, Yaroslav 8 2019 Continuous lattices and Whiteheadian theory of space. Zbl 0974.03011 Mormann, Thomas 7 1998 The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028 Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick 7 2008 Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055 Petrukhin, Yaroslav; Shangin, Vasilyi 7 2019 Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009 Lenzen, Wolfgang 7 2019 Decidability of mereological theories. Zbl 1186.03018 Tsai, Hsing-chien 7 2009 Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077 Indrzejczak, Andrzej 7 2020 A deductive-reductive form of logic: General theory and intuitionistic case. Zbl 1028.03011 Łukowski, Piotr 6 2002 On the logics related to A. Arruda’s system V1. Zbl 1001.03030 Popov, V. M. 6 1999 Concepts as hyperintensional objects. Zbl 1321.03017 Materna, Pavel 6 2014 Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014 Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh 6 2015 Dynamic epistemic logic and logical omniscience. Zbl 1375.03018 Rasmussen, Mattias Skipper 6 2015 Set-theoretic mereology. Zbl 1369.03047 Hamkins, Joel David; Kikuchi, Makoto 6 2016 Completeness of minimal positional calculus. Zbl 1117.03328 Jarmużek, Tomasz; Pietruszczak, Andrzej 6 2004 The modes of physical properties in the logical foundations of physics. Zbl 1117.00306 Smets, Sonja 6 2005 Relevant connexive logic. Zbl 1458.03019 Francez, Nissim 6 2019 Towards a bridge over two approaches in connexive logic. Zbl 1458.03016 Omori, Hitoshi 6 2019 Anselm and Russell. Zbl 1134.03300 Nowicki, Maciej 5 2006 From BDI and stit to bdi-stit logic. Zbl 1159.03013 Semmling, Caroline; Wansing, Heinrich 5 2008 Quasi-matrix logic as a paraconsistent logic for dubitable information. Zbl 1005.03511 Ivlev, Yu. V. 5 2000 A meta-logic of inference rules: syntax. Zbl 1375.03015 Citkin, Alex 5 2015 Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472 Łupkowski, Paweł; Leszczyńska-Jasion, Dorota 5 2015 On classical behavior of intuitionistic modalities. Zbl 1375.03022 Drobyshevich, Sergey 5 2015 Trivial dialetheism and the logic of paradox. Zbl 1384.03017 Beziau, Jean-Yves 5 2016 The critics of paraconsistency and of many-valuedness and the geometry of oppositions. Zbl 1243.03037 Moretti, Alessio 5 2010 An adaptive logic framework for conditional obligations and deontic dilemmas. Zbl 1229.03020 Straßer, Christian 5 2010 Abstract logic of oppositions. Zbl 1283.03026 Schang, Fabien 5 2012 Models of possibilism and trivialism. Zbl 1283.03018 Estrada-González, Luis 5 2012 More on the decidability of mereological theories. Zbl 1244.03054 Tsai, Hsing-chien 5 2011 On Béziau’s logic Z. Zbl 1170.03015 Omori, Hitoshi; Waragai, Toshiharu 4 2008 Towards intuitionistic dynamic logic. Zbl 1129.03015 Degen, J. W.; Werner, J. M. 4 2006 Modal hybrid logic. Zbl 1145.03009 Indrzejczak, Andrzej 4 2007 A new axiomatization of Jaśkowski’s discussive logic. Zbl 1028.03020 Vasyukov, Vladimir L. 4 2001 Logic may be simple. Logic, congruence and algebra. Zbl 0985.03006 Béziau, Jean-Yves 4 1997 The laws of non-bivalent probability. Zbl 1134.03017 Cantwell, John 4 2006 Vasil’iev: What did he exactly do? Zbl 1004.03501 Suchoń, Wojciech 4 1999 Negation in weak positional calculi. Zbl 1321.03047 Tkaczyk, Marcin 4 2013 A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038 Robles, Gemma 4 2014 Notes on models of first-order mereological theories. Zbl 1369.03080 Tsai, Hsing-Chien 4 2015 Relational semantics for the 4-valued relevant logics BN4 and E4. Zbl 1396.03040 Robles, Gemma; Blanco, José M.; López, Sandra M.; Paradela, Jesús R.; Recio, Marcos M. 4 2016 Symmetric and dual paraconsistent logics. Zbl 1227.03034 Kamide, Norihiro; Wansing, Heinrich 4 2010 Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026 Pietruszczak, Andrzej 4 2010 A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012 Trypuz, Robert; Kulicki, Piotr 4 2010 On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059 Odintsov, Sergei P.; Speranski, Stanislav O. 4 2012 A formal approach to exploring the interrogator’s perspective in the Turing test. Zbl 1244.03023 Łupkowski, Paweł 4 2011 On axiomatization of Łukasiewicz’s four-valued modal logic. Zbl 1261.03090 Tkaczyk, Marcin 4 2011 A class of simpler logical matrices for the variable-sharing property. Zbl 1254.03045 Robles, Gemma; Méndez, José M. 4 2011 Some adaptive logics for diagnosis. Zbl 1117.03327 Batens, Diderik; Meheus, Joke; Provijn, Dagmar; Verhoeven, Liza 4 2003 A poly-connexive logic. Zbl 1478.03054 Francez, Nissim 4 2020 Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124 Pezlar, Ivo 4 2017 A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220 Vidal, Mathieu 4 2017 Peirce’s triadic logic and its (overlooked) connexive expansion. Zbl 1517.03022 Belikov, Alex 4 2021 Relating logic and relating semantics. History, philosophical applications and some of technical problems. Zbl 1496.03008 Jarmużek, Tomasz; Paoli, Francesco 4 2021 Definite descriptions in intuitionist positive free logic. Zbl 1517.03010 Kürbis, Nils 4 2021 A deductive-reductive form of logic: Intuitionistic S4 modalities. Zbl 1028.03012 Łukowski, Piotr 3 2002 A comparison of two approaches to parainconsistency: Flemish and Polish. Zbl 1043.03019 Nasieniewski, Marek 3 2001 Logic and groups. Zbl 1028.03023 Paoli, Francesco 3 2001 Compositionality is not the problem. Zbl 0978.03024 Hodges, Wilfrid 3 1998 Reasoning about space: The hole story. Zbl 0983.03008 Varzi, Achille C. 3 1996 A mind of a non-countable set of ideas. Zbl 1152.03301 Citkin, Alexander 3 2008 Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Zbl 1157.03040 Esakia, Leo; Grigolia, Revaz 3 2008 Preferences as inconsistency-resolvers: The inconsistency-adaptive logic PRL. Zbl 1005.03513 Vanackere, Guido 3 2000 Inferential paraconsistency. Zbl 1005.03031 Malinowski, Grzegorz 3 2000 Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097 Maietti, Maria Emilia; Sambin, Giovanni 3 2013 Connecting bilattice theory with multivalued logic. Zbl 1321.03040 Genito, Daniele; Gerla, Giangiacomo 3 2014 Reflections on temporal and modal logic. Zbl 1375.03019 Epstein, Richard L. 3 2015 Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026 Hellman, Geoffrey; Shapiro, Stewart 3 2015 Simple cut elimination proof for hybrid logic. Zbl 1377.03051 Indrzejczak, Andrzej 3 2016 Partial and paraconsistent three-valued logics. Zbl 1402.03031 Degauquier, Vincent 3 2016 Varieties of relevant S5. Zbl 1530.03094 Standefer, Shawn 2 2023 Logical forms, substitutions and information types. Zbl 1542.03024 Punčochář, Vít 2 2023 An epimorphism between Fine and Ferguson’s matrices for Angell’s AC. Zbl 1530.03106 Zach, Richard 1 2023 From inconsistency to incompatibility. Zbl 1530.03108 Coniglio, Marcelo E.; Toledo, Guilherme V. 1 2023 Immune logics ain’t that immune. Zbl 1530.03102 Joaquin, Jeremiah Joven 1 2023 Revisiting the conditional construal of conditional probability. Zbl 1530.03098 Węgrecki, Jakub; Wroński, Leszek 1 2023 Logical forms: validity and variety of formalizations. Zbl 1542.03013 Brun, Georg 1 2023 Establishing logical forms. What is assigned to what, how and why. Zbl 1542.03022 Peregrin, Jaroslav; Svoboda, Vladimír 1 2023 Belnap-Dunn semantics for the variants of BN4 and E4 which contain Routley and Meyer’s Logic B. Zbl 07499529 López, Sandra M. 3 2022 A logic for a critical attitude? Zbl 1530.03021 Boem, Federico; Bonzio, Stefano 2 2022 On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth. Zbl 1530.03039 Rodrigues, Abilio; Carnielli, Walter 1 2022 Logica dominans vs. logica serviens. Zbl 1530.03036 Peregrin, Jaroslav; Svoboda, Vladimír 1 2022 Metainferential paraconsistency. Zbl 1530.03024 Da Ré, Bruno; Rubin, Mariela; Teijeiro, Paula 1 2022 Defining measures in a mereological space (an exploratory paper). Zbl 07499530 Barbieri, Giuseppina; Gerla, Giangiacomo 1 2022 EF4, EF4-M and EF4-Ł: a companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. Zbl 07499531 Blanco, José Miguel 1 2022 Peirce’s triadic logic and its (overlooked) connexive expansion. Zbl 1517.03022 Belikov, Alex 4 2021 Relating logic and relating semantics. History, philosophical applications and some of technical problems. Zbl 1496.03008 Jarmużek, Tomasz; Paoli, Francesco 4 2021 Definite descriptions in intuitionist positive free logic. Zbl 1517.03010 Kürbis, Nils 4 2021 History of relating logic. The origin and research directions. Zbl 1496.03004 Klonowski, Mateusz 3 2021 Sequent calculi and interpolation for non-normal modal and deontic logics. Zbl 1517.03018 Orlandelli, Eugenio 3 2021 Disjoint logics. Zbl 1517.03025 Pailos, Federico 2 2021 Modal multilattice logics with Tarski, Kuratowski, and Halmos operators. Zbl 1517.03016 Grigoriev, Oleg; Petrukhin, Yaroslav 2 2021 Normalisation for some quite interesting many-valued logics. Zbl 1517.03023 Kürbis, Nils; Petrukhin, Yaroslav 1 2021 Pure variable inclusion logics. Zbl 1496.03117 Paoli, Francesco; Pra Baldi, Michele; Szmuc, Damian 1 2021 Alternative semantics for normative reasoning with an application to regret and responsibility. Zbl 1496.03082 Glavaničová, Daniela; Pascucci, Matteo 1 2021 Twist-valued models for three-valued paraconsistent set theory. Zbl 1517.03039 Carnielli, Walter A.; Coniglio, Marcelo E. 1 2021 Dialogue games for minimal logic. Zbl 1517.03040 Pavlova, Alexandra 1 2021 On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038 Jarmużek, Tomasz; Klonowski, Mateusz 12 2020 Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077 Indrzejczak, Andrzej 7 2020 A poly-connexive logic. Zbl 1478.03054 Francez, Nissim 4 2020 Beall-ing \(\mathbb{O}\). Zbl 1479.03004 Joaquin, Jeremiah Joven 2 2020 Logic of social ontology and Łoś’s operator. Zbl 1478.03011 Malinowski, Jacek; Pietrowicz, Krzysztof; Szalacha-Jarmużek, Joanna 2 2020 A realistic view on normative conflicts. Zbl 1478.03037 Glavaničová, Daniela; Pascucci, Matteo 2 2020 Kilwardby’s 55\(^{\text{th}}\) lesson. Zbl 1478.03009 Lenzen, Wolfgang 2 2020 Explicit conditionals in the framework of classical conditional logic. Zbl 1478.03039 Pizzi, Claudio Ercole Antonio 1 2020 On the system CB\(^1\) and a lattice of the paraconsistent calculi. Zbl 1478.03053 Ciuciura, Janusz 1 2020 Some formal semantics for epistemic modesty. Zbl 1478.03029 Steinsvold, Christopher 1 2020 Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024 Jarmużek, Tomasz; Malinowski, Jacek 17 2019 Connexive logics. An overview and current trends. Zbl 1458.03005 Omori, Hitoshi; Wansing, Heinrich 15 2019 Fregean description theory in proof-theoretical setting. Zbl 1477.03238 Indrzejczak, Andrzej 13 2019 An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070 Szmuc, Damian E. 12 2019 Connexive conditional logic. I. Zbl 1458.03017 Wansing, Heinrich; Unterhuber, Matthias 11 2019 Humble connexivity. Zbl 1458.03014 Kapsner, Andreas 10 2019 Supervenience, dependence, disjunction. Zbl 1477.03052 Humberstone, Lloyd 8 2019 On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012 Grigoriev, Oleg; Petrukhin, Yaroslav 8 2019 Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055 Petrukhin, Yaroslav; Shangin, Vasilyi 7 2019 Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009 Lenzen, Wolfgang 7 2019 Relevant connexive logic. Zbl 1458.03019 Francez, Nissim 6 2019 Towards a bridge over two approaches in connexive logic. Zbl 1458.03016 Omori, Hitoshi 6 2019 On three axiom systems for classical mereology. Zbl 1477.03020 Varzi, Achille C. 3 2019 Jerzy Łos positional calculus and the origin of temporal logic. Zbl 1443.03010 Tkaczyk, Marcin; Jarmużek, Tomasz 3 2019 Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107 Wójtowicz, Krzysztof 2 2019 Inconsistent models (and infinite models) for arithmetics with constructible falsity. Zbl 1458.03023 Ferguson, Thomas Macaulay 2 2019 Per se modality and natural implication – an account of connexive logic in Robert Kilwardby. Zbl 1458.03004 Johnston, Spencer 2 2019 Connexive extensions of regular conditional logic. Zbl 1458.03018 Weiss, Yale 2 2019 On definability of connectives and modal logics over FDE. Zbl 1458.03015 Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich 2 2019 A “distributive” or a “collective” approach to sentences? Zbl 1443.03003 Łukowski, Piotr 1 2019 Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality. Zbl 1458.03013 Kamide, Norihiro 1 2019 Judging actions on the basis of prima facie duties. The case of self-driving cars. Zbl 1458.68154 Kulicki, Piotr; Trypuz, Robert 1 2019 Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048 Petrukhin, Yaroslav 10 2018 Maximality of the minimal \(\mathcal R\)-logic. Zbl 1456.03053 Karczewska, Anna Maria 2 2018 In defence of dialetheism: a reply to Beziau and Tkaczyk. Zbl 1456.03050 Martin, Ben 2 2018 A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084 Kozhemiachenko, Daniil 2 2018 Existential import and relations of categorical and modal categorical statements. Zbl 1456.03038 Raclavský, Jiří 1 2018 A generalisation of a refutation-related method in paraconsistent logics. Zbl 1412.03011 Trybus, Adam 1 2018 The cumulative force of analogies. Zbl 1436.03023 Botting, David 1 2018 Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074 Karpenko, Alexander; Tomova, Natalya 18 2017 Natural deduction for three-valued regular logics. Zbl 1417.03181 Petrukhin, Yaroslav 13 2017 Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124 Pezlar, Ivo 4 2017 A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220 Vidal, Mathieu 4 2017 The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136 Chiffi, Daniele; Schang, Fabien 3 2017 Tautology elimination, cut elimination, and S5. Zbl 1417.03284 Indrzejczak, Andrzej 2 2017 Further reflections on sentences saying of themselves strange things. Zbl 1436.03081 Zardini, Elia 1 2017 Commentary and illocutionary expressions in linear calculi of natural deduction. Zbl 1417.03129 Cordes, Moritz; Reinmuth, Friedrich 1 2017 First degree entailment, symmetry and paradox. Zbl 1419.03026 Restall, Greg 1 2017 The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034 Odintsov, Sergei P.; Speranski, Stanislav O. 13 2016 Rational agency from a truth-functional perspective. Zbl 1369.03054 Kubyshkina, Ekaterina; Zaitsev, Dmitry V. 10 2016 Set-theoretic mereology. Zbl 1369.03047 Hamkins, Joel David; Kikuchi, Makoto 6 2016 Trivial dialetheism and the logic of paradox. Zbl 1384.03017 Beziau, Jean-Yves 5 2016 Relational semantics for the 4-valued relevant logics BN4 and E4. Zbl 1396.03040 Robles, Gemma; Blanco, José M.; López, Sandra M.; Paradela, Jesús R.; Recio, Marcos M. 4 2016 Simple cut elimination proof for hybrid logic. Zbl 1377.03051 Indrzejczak, Andrzej 3 2016 Partial and paraconsistent three-valued logics. Zbl 1402.03031 Degauquier, Vincent 3 2016 The case of dialetheism. Zbl 1384.03077 Tkaczyk, Marcin 3 2016 “The whole is greater than the part.” Mereology in Euclid’s Elements. Zbl 1369.03019 Robering, Klaus 3 2016 Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030 Steen, Alexander; Benzmüller, Christoph 3 2016 Composition as identity and plural Cantor’s theorem. Zbl 1369.03028 Bohn, Einar Duenger 1 2016 Composition, identity, and emergence. Zbl 1369.03030 Calosi, Claudio 1 2016 The need for pluralism of causality. Zbl 1369.03094 Weingartner, Paul 1 2016 Interplays of knowledge and non-contingency. Zbl 1396.03016 Costa-Leite, Alexandre 1 2016 Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037 Bednarska, Kaja; Indrzejczak, Andrzej 13 2015 Mereology then and now. Zbl 1369.03046 Gruszczyński, Rafał; Varzi, Achille C. 13 2015 A system for proper multiple-conclusion entailment. Zbl 1375.03016 Skura, Tomasz; Wiśniewski, Andrzej 9 2015 Paraconsistency and Sette’s calculus P1. Zbl 1372.03050 Ciuciura, Janusz 8 2015 Classical mereology is not elementarily axiomatizable. Zbl 1369.03068 Pietruszczak, Andrzej 8 2015 Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014 Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh 6 2015 Dynamic epistemic logic and logical omniscience. Zbl 1375.03018 Rasmussen, Mattias Skipper 6 2015 A meta-logic of inference rules: syntax. Zbl 1375.03015 Citkin, Alex 5 2015 Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472 Łupkowski, Paweł; Leszczyńska-Jasion, Dorota 5 2015 On classical behavior of intuitionistic modalities. Zbl 1375.03022 Drobyshevich, Sergey 5 2015 Notes on models of first-order mereological theories. Zbl 1369.03080 Tsai, Hsing-Chien 4 2015 ...and 153 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 531 Authors 26 Petrukhin, Yaroslav Igorevich 17 Indrzejczak, Andrzej 15 Maksimova, Larisa L’vovna 15 Wansing, Heinrich Theodor 14 Omori, Hitoshi 13 Pietruszczak, Andrzej 12 Robles, Gemma 11 Batens, Diderik 11 Béziau, Jean-Yves 11 Kamide, Norihiro 11 Méndez, José M. 10 Estrada-González, Luis 10 Shangin, Vasily 9 Coniglio, Marcelo Esteban 9 Jarmużek, Tomasz 9 Klonowski, Mateusz 9 Odintsov, Sergei P. 9 Yun, Veta Fëdorovna 8 Ferguson, Thomas Macaulay 8 Gruszczyński, Rafał 8 Nasieniewski, Marek 7 Avron, Arnon 7 Kürbis, Nils 7 Szmuc, Damian Enrique 7 Tsai, Hsing-chien 6 Carnielli, Walter Alexandre 6 Gerla, Giangiacomo 6 Mruczek-Nasieniewska, Krystyna 6 Standefer, Shawn 6 Zamansky, Anna 5 Carrara, Massimiliano 5 Chiffi, Daniele 5 Citkin, Alex 5 Grigor’ev, Oleg Mikhaĭlovich 5 Kulicki, Piotr 5 Leszczyńska-Jasion, Dorota 5 Łupkowski, Paweł 5 Paoli, Francesco 5 Pra Baldi, Michele 5 Shramko, Yaroslav V. 5 Strasser, Christian 5 Tomova, Natal’ya Evgen’evna 5 Varzi, Achille C. 5 Wiśniewski, Andrzej 4 Barrio, Eduardo Alejandro 4 Beirlaen, Mathieu 4 Bonzio, Stefano 4 de Ronde, Christian 4 Demey, Lorenz 4 Drobyshevich, Sergeĭ Andreevich 4 Fazio, Davide 4 Giordani, Alessandro 4 Iacona, Andrea 4 Maffezioli, Paolo 4 Moretti, Alessio 4 Osorio, Mauricio A. 4 Pailos, Federico Matias 4 Rodrigues, Abilio 4 Smessaert, Hans 4 Speranski, Stanislav O. 4 Vakarelov, Dimiter 4 Weiss, Yale 4 Wójtowicz, Krzysztof 4 Wybraniec-Skardowska, Urszula B. 3 Arieli, Ofer 3 Baltag, Alexandru 3 Běhounek, Libor 3 Belikov, Alex 3 Berto, Francesco 3 Calosi, Claudio 3 Carballido, José Luis 3 Ciuciura, Janusz 3 Düntsch, Ivo 3 Duzi, Marie 3 Égré, Paul 3 Figallo Orellano, Aldo 3 Francez, Nissim 3 Glavaničová, Daniela 3 Humberstone, Lloyd 3 Joaquin, Jeremiah Joven B. 3 Lenzen, Wolfgang 3 Łukowski, Piotr 3 Meheus, Joke 3 Olkhovikov, Grigory K. 3 Pascucci, Matteo 3 Pezlar, Ivo 3 Raclavský, Jiří 3 Schang, Fabien 3 Sedlár, Igor 3 Tesi, Matteo 3 Trypuz, Robert 3 Verdée, Peter 3 Weber, Zach 3 Zepeda, Claudia 2 Akama, Seiki 2 Allwein, Gerard 2 Anellis, Irving Henry 2 Arenhart, Jonas Rafael Becker 2 Barbieri, Giuseppina Gerarda 2 Barbosa, Luís Soares ...and 431 more Authors all top 5 Cited in 58 Journals 89 Logic and Logical Philosophy 79 Studia Logica 47 Journal of Philosophical Logic 41 Synthese 31 Bulletin of the Section of Logic 31 Journal of Applied Non-Classical Logics 29 Logica Universalis 24 The Review of Symbolic Logic 19 Journal of Logic, Language and Information 14 Notre Dame Journal of Formal Logic 14 Logicheskie Issledovaniya 10 Algebra and Logic 10 History and Philosophy of Logic 9 Journal of Applied Logic 6 Siberian Mathematical Journal 6 Mathematical Logic Quarterly (MLQ) 5 Annals of Pure and Applied Logic 5 Erkenntnis 5 Foundations of Science 4 Artificial Intelligence 4 Fuzzy Sets and Systems 3 Theoretical Computer Science 3 International Journal of Approximate Reasoning 3 Axioms 2 New Generation Computing 2 Journal of Automated Reasoning 2 Archive for Mathematical Logic 2 Soft Computing 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Logical Methods in Computer Science 2 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal 1 Archive for History of Exact Sciences 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 Moscow University Mathematics Bulletin 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Geometry 1 The Journal of Symbolic Logic 1 Science of Computer Programming 1 Order 1 Information and Computation 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Sbornik: Mathematics 1 Journal of Vibration and Control 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 International Studies in the Philosophy of Science 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Foundations of Physics 1 Oberwolfach Reports 1 Journal of Logic and Analysis 1 European Journal for Philosophy of Science 1 Nôus 1 European Journal of Mathematics all top 5 Cited in 24 Fields 610 Mathematical logic and foundations (03-XX) 80 Computer science (68-XX) 37 History and biography (01-XX) 22 General and overarching topics; collections (00-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 11 Geometry (51-XX) 11 General topology (54-XX) 9 Quantum theory (81-XX) 8 Category theory; homological algebra (18-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General algebraic systems (08-XX) 3 Number theory (11-XX) 3 Convex and discrete geometry (52-XX) 2 Associative rings and algebras (16-XX) 2 Biology and other natural sciences (92-XX) 2 Mathematics education (97-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Systems theory; control (93-XX) Citations by Year