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: 471 Publications (since 1993) References Indexed: 162 Publications with 4,455 References. all top 5 Latest Issues 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 Urchs, Max Peter 9 Wansing, Heinrich Theodor 8 Indrzejczak, Andrzej 8 Robles, Gemma 7 Jarmużek, Tomasz 7 Łukowski, Piotr 7 Materna, Pavel 7 Tkaczyk, Marcin 6 Gerla, Giangiacomo 6 Malinowski, Jacek 6 Petrukhin, Yaroslav Igorevich 5 Kamide, Norihiro 5 Łupkowski, Paweł 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 Carrara, Massimiliano 4 Kulicki, Piotr 4 Meheus, Joke 4 Nasieniewski, Marek 4 Paoli, Francesco 4 Perzanowski, Jerzy 4 Raclavský, Jiří 4 Rönnedal, Daniel 4 Sayward, Charles W. 4 Urbański, Mariusz 4 Woleński, Jan 3 Allwein, Gerard 3 Béziau, Jean-Yves 3 Carnielli, Walter Alexandre 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 Mormann, Thomas 3 Mruczek-Nasieniewska, Krystyna 3 Pietryga, Anna 3 Scheffler, Uwe 3 Skura, Tomasz F. 3 Szmuc, Damian Enrique 3 Trypuz, Robert 3 Varzi, Achille C. 3 Waragai, Toshiharu 3 Wiśniewski, Andrzej 3 Wójtowicz, Krzysztof 2 Abe, Jair Minoro 2 Asenjo, Florencio Gonzalez 2 Augustynek, Zdzisław 2 Bellin, Gianluigi 2 Bjørdal, Frode Alfson 2 Blanco, José Miguel 2 Bressan, Aldo 2 Coppola, Cristina 2 Da Costa, Newton Carneiro Affonso 2 Degen, Josef Wolfgang 2 Drobyshevich, Sergeĭ Andreevich 2 Epstein, Richard L. 2 Faust, Don H. 2 Frankowski, Szymon 2 Glavaničová, Daniela 2 Jaskowski, Stanislaw 2 Kiczuk, Stanisław 2 Koszowy, Marcin 2 Kovač, Srećko 2 Kürbis, Nils 2 Lenzen, Wolfgang 2 López, Sandra M. 2 Luna, Laureano 2 Łyczak, Marcin 2 Maffezioli, Paolo 2 Malinowski, Grzegorz 2 Menti, Alessandro 2 Moniri, Morteza 2 Muratvitsky, Alexei Y. 2 Murawski, Roman 2 Odrowąż-Sypniewska, Joanna 2 Pascucci, Matteo 2 Paśniczek, Jacek 2 Peliš, Michal 2 Petermann, Uwe 2 Pizzi, Claudio Ercole Antonio 2 Placek, Tomasz 2 Schang, Fabien 2 Segerberg, Krister 2 Silvestre, Ricardo Sousa 2 Slater, Barry Hartley 2 Smets, Sonja J. L. 2 Sochacki, Robert ...and 256 more Authors all top 5 Fields 458 Mathematical logic and foundations (03-XX) 41 General and overarching topics; collections (00-XX) 30 History and biography (01-XX) 24 Computer science (68-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 10 Geometry (51-XX) 8 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) 1 Number theory (11-XX) 1 Probability theory and stochastic processes (60-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 228 Publications have been cited 749 times in 516 Documents Cited by ▼ Year ▼ Formal inconsistency and evolutionary databases. Zbl 1005.03509Carnielli, Walter A.; Marcos, João; de Amo, Sandra 37 2000 A propositional calculus for inconsistent deductive systems. Zbl 1013.03004Jaśkowski, Stanisław 19 1999 Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074Karpenko, Alexander; Tomova, Natalya 17 2017 Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027Odintsov, S. P. 16 2001 Jaśkowski’s criterion and three-valued paraconsistent logics. Zbl 1001.03029Karpenko, Alexander S. 15 1999 The paraconsistent logic Z. A possible solution to Jaśkowski’s problem. Zbl 1134.03018Béziau, Jean-Yves 14 2006 The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034Odintsov, Sergei P.; Speranski, Stanislav O. 12 2016 On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Zbl 1013.03005Jaśkowski, Stanisław 12 1999 Towards the unification of inconsistency handling mechanisms. Zbl 1005.03508Batens, Diderik 12 2000 Fregean description theory in proof-theoretical setting. Zbl 1477.03238Indrzejczak, Andrzej 10 2019 On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038Jarmużek, Tomasz; Klonowski, Mateusz 9 2020 A system for proper multiple-conclusion entailment. Zbl 1375.03016Skura, Tomasz; Wiśniewski, Andrzej 9 2015 Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037Bednarska, Kaja; Indrzejczak, Andrzej 9 2015 Hintikka and Cresswell on logical omniscience. Zbl 1134.03006Jago, Mark 9 2006 Paraconsistency and analyticity. Zbl 1001.03031Oller, Carlos A. 9 1999 Natural deduction for three-valued regular logics. Zbl 1417.03181Petrukhin, Yaroslav 9 2017 Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048Petrukhin, Yaroslav 9 2018 Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro 8 2014 Mereology then and now. Zbl 1369.03046Gruszczyński, Rafał; Varzi, Achille C. 8 2015 Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024Jarmużek, Tomasz; Malinowski, Jacek 8 2019 Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019Gruszczyński, Rafał; Pietruszczak, Andrzej 7 2009 Decidability of mereological theories. Zbl 1186.03018Tsai, Hsing-chien 7 2009 Supervenience, dependence, disjunction. Zbl 1477.03052Humberstone, Lloyd 7 2019 An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070Szmuc, Damian E. 7 2019 Concepts as hyperintensional objects. Zbl 1321.03017Materna, Pavel 6 2014 Paraconsistency and Sette’s calculus P1. Zbl 1372.03050Ciuciura, Janusz 6 2015 Classical mereology is not elementarily axiomatizable. Zbl 1369.03068Pietruszczak, Andrzej 6 2015 Continuous lattices and Whiteheadian theory of space. Zbl 0974.03011Mormann, Thomas 6 1998 Completeness of minimal positional calculus. Zbl 1117.03328Jarmużek, Tomasz; Pietruszczak, Andrzej 6 2004 The modes of physical properties in the logical foundations of physics. Zbl 1117.00306Smets, Sonja 6 2005 Pieces of mereology. Zbl 1117.03018Pietruszczak, Andrzej 6 2005 On the logics related to A. Arruda’s system V1. Zbl 1001.03030Popov, V. M. 6 1999 Admissibility of cut in congruent modal logics. Zbl 1248.03076Indrzejczak, Andrzej 6 2011 Connexive logics. An overview and current trends. Zbl 1458.03005Omori, Hitoshi; Wansing, Heinrich 6 2019 Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472Łupkowski, Paweł; Leszczyńska-Jasion, Dorota 5 2015 Dynamic epistemic logic and logical omniscience. Zbl 1375.03018Rasmussen, Mattias Skipper 5 2015 Trivial dialetheism and the logic of paradox. Zbl 1384.03017Beziau, Jean-Yves 5 2016 Rational agency from a truth-functional perspective. Zbl 1369.03054Kubyshkina, Ekaterina; Zaitsev, Dmitry V. 5 2016 Anselm and Russell. Zbl 1134.03300Nowicki, Maciej 5 2006 From BDI and stit to bdi-stit logic. Zbl 1159.03013Semmling, Caroline; Wansing, Heinrich 5 2008 More on the decidability of mereological theories. Zbl 1244.03054Tsai, Hsing-chien 5 2011 An adaptive logic framework for conditional obligations and deontic dilemmas. Zbl 1229.03020Straßer, Christian 5 2010 Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055Petrukhin, Yaroslav; Shangin, Vasilyi 5 2019 Humble connexivity. Zbl 1458.03014Kapsner, Andreas 5 2019 On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012Grigoriev, Oleg; Petrukhin, Yaroslav 5 2019 A deductive-reductive form of logic: General theory and intuitionistic case. Zbl 1028.03011Łukowski, Piotr 4 2002 Negation in weak positional calculi. Zbl 1321.03047Tkaczyk, Marcin 4 2013 A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038Robles, Gemma 4 2014 On classical behavior of intuitionistic modalities. Zbl 1375.03022Drobyshevich, Sergey 4 2015 A meta-logic of inference rules: syntax. Zbl 1375.03015Citkin, Alex 4 2015 On Béziau’s logic Z. Zbl 1170.03015Omori, Hitoshi; Waragai, Toshiharu 4 2008 Some adaptive logics for diagnosis. Zbl 1117.03327Batens, Diderik; Meheus, Joke; Provijn, Dagmar; Verhoeven, Liza 4 2003 The laws of non-bivalent probability. Zbl 1134.03017Cantwell, John 4 2006 Towards intuitionistic dynamic logic. Zbl 1129.03015Degen, J. W.; Werner, J. M. 4 2006 Modal hybrid logic. Zbl 1145.03009Indrzejczak, Andrzej 4 2007 Vasil’iev: What did he exactly do? Zbl 1004.03501Suchoń, Wojciech 4 1999 The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick 4 2008 Abstract logic of oppositions. Zbl 1283.03026Schang, Fabien 4 2012 Models of possibilism and trivialism. Zbl 1283.03018Estrada-González, Luis 4 2012 On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059Odintsov, 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.03090Tkaczyk, Marcin 4 2011 A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012Trypuz, Robert; Kulicki, Piotr 4 2010 Symmetric and dual paraconsistent logics. Zbl 1227.03034Kamide, Norihiro; Wansing, Heinrich 4 2010 Relevant connexive logic. Zbl 1458.03019Francez, Nissim 4 2019 Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077Indrzejczak, Andrzej 3 2020 A deductive-reductive form of logic: Intuitionistic S4 modalities. Zbl 1028.03012Łukowski, Piotr 3 2002 A new axiomatization of Jaśkowski’s discussive logic. Zbl 1028.03020Vasyukov, Vladimir L. 3 2001 Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097Maietti, Maria Emilia; Sambin, Giovanni 3 2013 Connecting bilattice theory with multivalued logic. Zbl 1321.03040Genito, Daniele; Gerla, Giangiacomo 3 2014 Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124Pezlar, Ivo 3 2017 The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136Chiffi, Daniele; Schang, Fabien 3 2017 Reflections on temporal and modal logic. Zbl 1375.03019Epstein, Richard L. 3 2015 Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh 3 2015 Notes on models of first-order mereological theories. Zbl 1369.03080Tsai, Hsing-Chien 3 2015 Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026Hellman, Geoffrey; Shapiro, Stewart 3 2015 Set-theoretic mereology. Zbl 1369.03047Hamkins, Joel David; Kikuchi, Makoto 3 2016 Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030Steen, Alexander; Benzmüller, Christoph 3 2016 Compositionality is not the problem. Zbl 0978.03024Hodges, Wilfrid 3 1998 Reasoning about space: The hole story. Zbl 0983.03008Varzi, Achille C. 3 1996 The Collatz conjecture. A case study in mathematical problem solving. Zbl 1117.00304Van Bendegem, Jean Paul 3 2005 Preferences as inconsistency-resolvers: The inconsistency-adaptive logic PRL. Zbl 1005.03513Vanackere, Guido 3 2000 Inferential paraconsistency. Zbl 1005.03031Malinowski, Grzegorz 3 2000 A mind of a non-countable set of ideas. Zbl 1152.03301Citkin, Alexander 3 2008 Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Zbl 1157.03040Esakia, Leo; Grigolia, Revaz 3 2008 A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220Vidal, Mathieu 3 2017 Librationist closures of the paradoxes. Zbl 1301.03010Bjørdal, Frode 3 2012 How to define a mereological (collective) set. Zbl 1243.03067Gruszczyński, Rafał; Pietruszczak, Andrzej 3 2010 Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028Pease, Alison; Aberdein, Andrew 3 2011 Conceptual and derivation systems. Zbl 1244.03030Raclavský, Jiří; Kuchyňka, Petr 3 2011 A class of simpler logical matrices for the variable-sharing property. Zbl 1254.03045Robles, Gemma; Méndez, José M. 3 2011 Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026Pietruszczak, Andrzej 3 2010 The ontological argument and Russell’s antinomy. Zbl 1213.03012Uckelman, Sara L. 3 2010 Some new results on PCL1 and its related systems. Zbl 1245.03043Waragai, Toshiharu; Omori, Hitoshi 3 2010 On three axiom systems for classical mereology. Zbl 1477.03020Varzi, Achille C. 3 2019 Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009Lenzen, Wolfgang 3 2019 Connexive conditional logic. I. Zbl 1458.03017Wansing, Heinrich; Unterhuber, Matthias 3 2019 Definite descriptions in intuitionist positive free logic. Zbl 1517.03010Kürbis, Nils 2 2021 Belnap-Dunn semantics for the variants of BN4 and E4 which contain Routley and Meyer’s Logic B. Zbl 07499529López, Sandra M. 2 2022 A poly-connexive logic. Zbl 1478.03054Francez, Nissim 2 2020 Belnap-Dunn semantics for the variants of BN4 and E4 which contain Routley and Meyer’s Logic B. Zbl 07499529López, Sandra M. 2 2022 EF4, EF4-M and EF4-Ł: a companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. Zbl 07499531Blanco, José Miguel 1 2022 Definite descriptions in intuitionist positive free logic. Zbl 1517.03010Kürbis, Nils 2 2021 Disjoint logics. Zbl 1517.03025Pailos, Federico 1 2021 Sequent calculi and interpolation for non-normal modal and deontic logics. Zbl 1517.03018Orlandelli, Eugenio 1 2021 Twist-valued models for three-valued paraconsistent set theory. Zbl 1517.03039Carnielli, Walter A.; Coniglio, Marcelo E. 1 2021 Dialogue games for minimal logic. Zbl 1517.03040Pavlova, Alexandra 1 2021 Modal multilattice logics with Tarski, Kuratowski, and Halmos operators. Zbl 1517.03016Grigoriev, Oleg; Petrukhin, Yaroslav 1 2021 Peirce’s triadic logic and its (overlooked) connexive expansion. Zbl 1517.03022Belikov, Alex 1 2021 History of relating logic. The origin and research directions. Zbl 1496.03004Klonowski, Mateusz 1 2021 On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038Jarmużek, Tomasz; Klonowski, Mateusz 9 2020 Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077Indrzejczak, Andrzej 3 2020 A poly-connexive logic. Zbl 1478.03054Francez, Nissim 2 2020 Logic of social ontology and Łoś’s operator. Zbl 1478.03011Malinowski, Jacek; Pietrowicz, Krzysztof; Szalacha-Jarmużek, Joanna 2 2020 Explicit conditionals in the framework of classical conditional logic. Zbl 1478.03039Pizzi, Claudio Ercole Antonio 1 2020 Beall-ing \(\mathbb{O}\). Zbl 1479.03004Joaquin, Jeremiah Joven 1 2020 A realistic view on normative conflicts. Zbl 1478.03037Glavaničová, Daniela; Pascucci, Matteo 1 2020 Kilwardby’s 55\(^{\text{th}}\) lesson. Zbl 1478.03009Lenzen, Wolfgang 1 2020 Fregean description theory in proof-theoretical setting. Zbl 1477.03238Indrzejczak, Andrzej 10 2019 Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024Jarmużek, Tomasz; Malinowski, Jacek 8 2019 Supervenience, dependence, disjunction. Zbl 1477.03052Humberstone, Lloyd 7 2019 An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070Szmuc, Damian E. 7 2019 Connexive logics. An overview and current trends. Zbl 1458.03005Omori, Hitoshi; Wansing, Heinrich 6 2019 Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055Petrukhin, Yaroslav; Shangin, Vasilyi 5 2019 Humble connexivity. Zbl 1458.03014Kapsner, Andreas 5 2019 On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012Grigoriev, Oleg; Petrukhin, Yaroslav 5 2019 Relevant connexive logic. Zbl 1458.03019Francez, Nissim 4 2019 On three axiom systems for classical mereology. Zbl 1477.03020Varzi, Achille C. 3 2019 Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009Lenzen, Wolfgang 3 2019 Connexive conditional logic. I. Zbl 1458.03017Wansing, Heinrich; Unterhuber, Matthias 3 2019 Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107Wójtowicz, Krzysztof 2 2019 Jerzy Łos positional calculus and the origin of temporal logic. Zbl 1443.03010Tkaczyk, Marcin; Jarmużek, Tomasz 2 2019 Per se modality and natural implication – an account of connexive logic in Robert Kilwardby. Zbl 1458.03004Johnston, Spencer 2 2019 Towards a bridge over two approaches in connexive logic. Zbl 1458.03016Omori, Hitoshi 2 2019 On definability of connectives and modal logics over FDE. Zbl 1458.03015Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich 2 2019 A “distributive” or a “collective” approach to sentences? Zbl 1443.03003Łukowski, Piotr 1 2019 Inconsistent models (and infinite models) for arithmetics with constructible falsity. Zbl 1458.03023Ferguson, Thomas Macaulay 1 2019 Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality. Zbl 1458.03013Kamide, Norihiro 1 2019 Judging actions on the basis of prima facie duties. The case of self-driving cars. Zbl 1458.68154Kulicki, Piotr; Trypuz, Robert 1 2019 Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048Petrukhin, Yaroslav 9 2018 A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084Kozhemiachenko, Daniil 2 2018 Maximality of the minimal \(\mathcal R\)-logic. Zbl 1456.03053Karczewska, Anna Maria 2 2018 The cumulative force of analogies. Zbl 1436.03023Botting, David 1 2018 In defence of dialetheism: a reply to Beziau and Tkaczyk. Zbl 1456.03050Martin, Ben 1 2018 A generalisation of a refutation-related method in paraconsistent logics. Zbl 1412.03011Trybus, Adam 1 2018 Existential import and relations of categorical and modal categorical statements. Zbl 1456.03038Raclavský, Jiří 1 2018 Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074Karpenko, Alexander; Tomova, Natalya 17 2017 Natural deduction for three-valued regular logics. Zbl 1417.03181Petrukhin, Yaroslav 9 2017 Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124Pezlar, Ivo 3 2017 The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136Chiffi, Daniele; Schang, Fabien 3 2017 A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220Vidal, Mathieu 3 2017 Tautology elimination, cut elimination, and S5. Zbl 1417.03284Indrzejczak, Andrzej 1 2017 Further reflections on sentences saying of themselves strange things. Zbl 1436.03081Zardini, Elia 1 2017 Commentary and illocutionary expressions in linear calculi of natural deduction. Zbl 1417.03129Cordes, Moritz; Reinmuth, Friedrich 1 2017 First degree entailment, symmetry and paradox. Zbl 1419.03026Restall, Greg 1 2017 The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034Odintsov, Sergei P.; Speranski, Stanislav O. 12 2016 Trivial dialetheism and the logic of paradox. Zbl 1384.03017Beziau, Jean-Yves 5 2016 Rational agency from a truth-functional perspective. Zbl 1369.03054Kubyshkina, Ekaterina; Zaitsev, Dmitry V. 5 2016 Set-theoretic mereology. Zbl 1369.03047Hamkins, Joel David; Kikuchi, Makoto 3 2016 Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030Steen, Alexander; Benzmüller, Christoph 3 2016 Relational semantics for the 4-valued relevant logics BN4 and E4. Zbl 1396.03040Robles, Gemma; Blanco, José M.; López, Sandra M.; Paradela, Jesús R.; Recio, Marcos M. 2 2016 The case of dialetheism. Zbl 1384.03077Tkaczyk, Marcin 2 2016 “The whole is greater than the part.” Mereology in Euclid’s Elements. Zbl 1369.03019Robering, Klaus 2 2016 Simple cut elimination proof for hybrid logic. Zbl 1377.03051Indrzejczak, Andrzej 1 2016 Partial and paraconsistent three-valued logics. Zbl 1402.03031Degauquier, Vincent 1 2016 The need for pluralism of causality. Zbl 1369.03094Weingartner, Paul 1 2016 Interplays of knowledge and non-contingency. Zbl 1396.03016Costa-Leite, Alexandre 1 2016 A system for proper multiple-conclusion entailment. Zbl 1375.03016Skura, Tomasz; Wiśniewski, Andrzej 9 2015 Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037Bednarska, Kaja; Indrzejczak, Andrzej 9 2015 Mereology then and now. Zbl 1369.03046Gruszczyński, Rafał; Varzi, Achille C. 8 2015 Paraconsistency and Sette’s calculus P1. Zbl 1372.03050Ciuciura, Janusz 6 2015 Classical mereology is not elementarily axiomatizable. Zbl 1369.03068Pietruszczak, Andrzej 6 2015 Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472Łupkowski, Paweł; Leszczyńska-Jasion, Dorota 5 2015 Dynamic epistemic logic and logical omniscience. Zbl 1375.03018Rasmussen, Mattias Skipper 5 2015 On classical behavior of intuitionistic modalities. Zbl 1375.03022Drobyshevich, Sergey 4 2015 A meta-logic of inference rules: syntax. Zbl 1375.03015Citkin, Alex 4 2015 Reflections on temporal and modal logic. Zbl 1375.03019Epstein, Richard L. 3 2015 Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh 3 2015 Notes on models of first-order mereological theories. Zbl 1369.03080Tsai, Hsing-Chien 3 2015 Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026Hellman, Geoffrey; Shapiro, Stewart 3 2015 Question dependency in terms of compliance and erotetic implication. Zbl 1375.03031Łupkowski, Paweł 2 2015 Quantified temporal alethic-deontic logic. Zbl 1375.03021Rönnedal, Daniel 1 2015 In defence of an argument against truthmaker maximalism. Zbl 1369.03043Gołosz, Jerzy 1 2015 A propositional logic of temporal connectives. Zbl 1375.03020Epstein, Richard L.; Buitrago-Díaz, Esperanza 1 2015 Better than zilch? Zbl 1369.03033Casati, Filippo; Fujikawa, Naoya 1 2015 An addendum to: “Notes on models of first-order mereological theories”. Zbl 1369.03081Tsai, Hsing-Chien 1 2015 Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro 8 2014 Concepts as hyperintensional objects. Zbl 1321.03017Materna, Pavel 6 2014 A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038Robles, Gemma 4 2014 Connecting bilattice theory with multivalued logic. Zbl 1321.03040Genito, Daniele; Gerla, Giangiacomo 3 2014 The logical way of being true: truth values and the ontological foundation of logic. Zbl 1321.03021Shramko, Yaroslav 2 2014 A system of the logic of change. Zbl 1321.03045Kiczuk, Stanisław 2 2014 Simulation logic. Zbl 1321.03029Allwein, Gerard; Harrison, William L.; Andrews, David 2 2014 On the proof-theory of a first-order extension of GL. Zbl 1321.03075Schwartz, Yehuda; Tourlakis, George 2 2014 On the interaction of semantics and deduction in transparent intensional logic (is Tichý’s logic a logic?). Zbl 1321.03019Raclavský, Jiři 2 2014 Proof theory of epistemic logic of programs. Zbl 1321.03050Maffezioli, Paolo; Naibo, Alberto 1 2014 Is transparent intensional logic a non-classical logic? Zbl 1321.03018Materna, Pavel 1 2014 Negation in weak positional calculi. Zbl 1321.03047Tkaczyk, Marcin 4 2013 Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097Maietti, Maria Emilia; Sambin, Giovanni 3 2013 Decision procedures for some strong hybrid logics. Zbl 1321.03031Indrzejczak, Andrzej; Zawidzki, Michał 2 2013 ...and 128 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 436 Authors 18 Petrukhin, Yaroslav Igorevich 13 Maksimova, Larisa L’vovna 13 Wansing, Heinrich Theodor 11 Batens, Diderik 11 Omori, Hitoshi 11 Pietruszczak, Andrzej 11 Robles, Gemma 10 Indrzejczak, Andrzej 9 Béziau, Jean-Yves 9 Kamide, Norihiro 8 Coniglio, Marcelo Esteban 8 Odintsov, Sergei P. 7 Shangin, Vasily 7 Tsai, Hsing-chien 7 Yun, Veta Fëdorovna 6 Ferguson, Thomas Macaulay 6 Jarmużek, Tomasz 6 Klonowski, Mateusz 6 Kürbis, Nils 5 Avron, Arnon 5 Carnielli, Walter Alexandre 5 Chiffi, Daniele 5 Estrada-González, Luis 5 Gerla, Giangiacomo 5 Gruszczyński, Rafał 5 Leszczyńska-Jasion, Dorota 5 Łupkowski, Paweł 5 Shramko, Yaroslav V. 5 Strasser, Christian 5 Szmuc, Damian Enrique 5 Wiśniewski, Andrzej 4 Beirlaen, Mathieu 4 Carrara, Massimiliano 4 Citkin, Alex 4 de Ronde, Christian 4 Nasieniewski, Marek 4 Osorio, Mauricio A. 4 Tomova, Natal’ya Evgen’evna 4 Vakarelov, Dimiter 4 Varzi, Achille C. 4 Weiss, Yale 4 Wybraniec-Skardowska, Urszula B. 4 Zamansky, Anna 3 Arieli, Ofer 3 Baldi, Michele Pra 3 Baltag, Alexandru 3 Berto, Francesco 3 Bonzio, Stefano 3 Calosi, Claudio 3 Carballido, José Luis 3 Ciuciura, Janusz 3 Demey, Lorenz 3 Drobyshevich, Sergeĭ Andreevich 3 Düntsch, Ivo 3 Duzi, Marie 3 Francez, Nissim 3 Giordani, Alessandro 3 Grigor’ev, Oleg Mikhaĭlovich 3 Humberstone, Lloyd 3 Kulicki, Piotr 3 Łukowski, Piotr 3 Maffezioli, Paolo 3 Meheus, Joke 3 Paoli, Francesco 3 Pascucci, Matteo 3 Raclavský, Jiří 3 Sedlár, Igor 3 Smessaert, Hans 3 Speranski, Stanislav O. 3 Standefer, Shawn 3 Trypuz, Robert 3 Verdée, Peter 3 Weber, Zach 3 Wójtowicz, Krzysztof 3 Zepeda, Claudia 2 Akama, Seiki 2 Allwein, Gerard 2 Anellis, Irving H. 2 Barbosa, Luís Soares 2 Barrio, Eduardo Alejandro 2 Běhounek, Libor 2 Belikov, Alex 2 Bennett, Brandon 2 Bjerring, Jens Christian 2 Bjørdal, Frode Alfson 2 Bohrer, Rose 2 Borja Macías, Verónica 2 Cabalar, Pedro 2 Cantwell, John C. 2 Cavaliere, Ferdinando 2 Chakraborty, Mihir Kumar 2 Coppola, Cristina 2 Cordes, Moritz 2 Crupi, Vincenzo 2 Da Costa, Newton Carneiro Affonso 2 De Florio, Ciro 2 De Risi, Vincenzo 2 De, Michael 2 Desharnais, Jules 2 Epstein, Richard L. ...and 336 more Authors all top 5 Cited in 57 Journals 72 Logic and Logical Philosophy 55 Studia Logica 39 Journal of Philosophical Logic 28 Synthese 28 Journal of Applied Non-Classical Logics 25 Logica Universalis 21 Bulletin of the Section of Logic 18 The Review of Symbolic Logic 14 Journal of Logic, Language and Information 11 Notre Dame Journal of Formal Logic 10 Logicheskie Issledovaniya 9 Algebra and Logic 9 Journal of Applied Logic 6 History and Philosophy of Logic 5 Siberian Mathematical Journal 5 Erkenntnis 5 Foundations of Science 4 Artificial Intelligence 4 Annals of Pure and Applied Logic 3 Fuzzy Sets and Systems 3 Theoretical Computer Science 3 Mathematical Logic Quarterly (MLQ) 3 Axioms 2 New Generation Computing 2 International Journal of Approximate Reasoning 2 Archive for Mathematical Logic 2 Soft Computing 2 Logical Methods in Computer Science 2 Nôus 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 Journal of Automated Reasoning 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 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 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Logic and Analysis 1 European Journal for Philosophy of Science 1 European Journal of Mathematics all top 5 Cited in 22 Fields 478 Mathematical logic and foundations (03-XX) 68 Computer science (68-XX) 30 History and biography (01-XX) 18 General and overarching topics; collections (00-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 9 Geometry (51-XX) 9 Quantum theory (81-XX) 8 General topology (54-XX) 5 Category theory; homological algebra (18-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General algebraic systems (08-XX) 3 Convex and discrete geometry (52-XX) 2 Number theory (11-XX) 2 Associative rings and algebras (16-XX) 2 Biology and other natural sciences (92-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Topological groups, Lie groups (22-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year