Logica Universalis Short Title: Log. Univers. Publisher: Springer (Birkhäuser), Basel ISSN: 1661-8297; 1661-8300/e Online: https://link.springer.com/journal/11787/volumes-and-issues Comments: Journal; Indexed cover-to-cover Documents Indexed: 361 Publications (since 2007) References Indexed: 314 Publications with 10,594 References. all top 5 Latest Issues 17, No. 4 (2023) 17, No. 3 (2023) 17, No. 2 (2023) 17, No. 1 (2023) 16, No. 4 (2022) 16, No. 3 (2022) 16, No. 1-2 (2022) 15, No. 4 (2021) 15, No. 3 (2021) 15, No. 2 (2021) 15, No. 1 (2021) 14, No. 4 (2020) 14, No. 3 (2020) 14, No. 2 (2020) 14, No. 1 (2020) 13, No. 4 (2019) 13, No. 3 (2019) 13, No. 2 (2019) 13, No. 1 (2019) 12, No. 3-4 (2018) 12, No. 1-2 (2018) 11, No. 4 (2017) 11, No. 3 (2017) 11, No. 2 (2017) 11, No. 1 (2017) 10, No. 4 (2016) 10, No. 2-3 (2016) 10, No. 1 (2016) 9, No. 4 (2015) 9, No. 3 (2015) 9, No. 2 (2015) 9, No. 1 (2015) 8, No. 3-4 (2014) 8, No. 2 (2014) 8, No. 1 (2014) 7, No. 4 (2013) 7, No. 3 (2013) 7, No. 2 (2013) 7, No. 1 (2013) 6, No. 3-4 (2012) 6, No. 1-2 (2012) 5, No. 2 (2011) 5, No. 1 (2011) 4, No. 2 (2010) 4, No. 1 (2010) 3, No. 2 (2009) 3, No. 1 (2009) 2, No. 2 (2008) 2, No. 1 (2008) 1, No. 2 (2007) 1, No. 1 (2007) all top 5 Authors 9 Béziau, Jean-Yves 6 Francez, Nissim 6 Muravitsky, Alexei Yu. 5 Anellis, Irving Henry 5 Chakraborty, Mihir Kumar 5 Citkin, Alex 5 Gabbay, Dov M. 4 Avron, Arnon 4 Coniglio, Marcelo Esteban 4 Dunn, Jon Michael 4 Hintikka, Jaakko 4 Kamide, Norihiro 4 Lenzen, Wolfgang 4 Petrukhin, Yaroslav Igorevich 4 Pizzi, Claudio Ercole Antonio 4 Schumann, Andrew 4 Smessaert, Hans 3 Arenhart, Jonas Rafael Becker 3 Bimbó, Katalin 3 Caleiro, Carlos 3 Chatti, Saloua 3 Choudhury, Lopamudra 3 Diaconescu, Răzvan 3 Kaminski, Michael 3 Lemanski, Jens 3 Lewitzka, Steffen 3 Mossakowski, Till 3 Prade, Henri M. 3 Rasga, João 3 Sernadas, Cristina S. 3 Skura, Tomasz F. 3 Wybraniec-Skardowska, Urszula B. 2 Ackerman, Nathanael Leedom 2 Aiguier, Marc 2 Arazim, Pavel 2 Archambault, Jacob 2 Benzmüller, Christoph Ewald 2 Bhattacharjee, Reetu 2 Brumberg-Chaumont, Julie 2 Brunner, Andreas Bernhard Michael 2 Bueno-Soler, Juliana 2 Carnielli, Walter Alexandre 2 Demey, Lorenz 2 Desclés, Jean-Pierre 2 Drago, Antonino 2 Dubois, Didier 2 Duval, Dominique 2 Estrada-González, Luis 2 Fontaine, Matthieu 2 Gaĭnă, Daniel 2 Grant, John R. 2 Hamelin, Guy 2 Hartonas, Chrysafis 2 Hernández-Tello, Alejandro 2 Katz, Mikhail G. 2 Ketland, Jeffrey 2 Klonowski, Mateusz 2 Kudryk, Taras S. 2 Marcelino, Sérgio 2 Moretti, Alessio 2 Murinová, Petra 2 Newton, Marques Peron 2 Pasquali, Fabio 2 Perini-Santos, Ernesto 2 Perkov, Tin 2 Pezlar, Ivo 2 Pietarinen, Ahti-Veikko 2 Pynko, Alexej P. 2 Ramos, Jaime 2 Read, Stephen 2 Robles, Gemma 2 Rodrigues, Odinaldo T. 2 Schang, Fabien 2 Sernadas, Amilcar C. 2 Silvestre, Ricardo Sousa 2 Studer, Thomas 2 Tarlecki, Andrzej 2 Trafford, James 2 Trepczyński, Marcin 2 Varzinczak, Ivan Jóse 2 Viganò, Luca 2 Woleński, Jan 2 Yang, Eunsuk 1 Abeles, Francine F. 1 Adamatzky, Andrew I. 1 Adlešić, Tin 1 Aghaei, Mojtaba 1 Agudelo-Agudelo, Juan C. 1 Ahsan, Abbas 1 Akrami, Musa 1 Alonso-Stenberg, Kristian 1 Alvarez-Fontecilla, Enrique 1 Angelelli, Ignacio 1 Antunes, Henrique 1 Aranda, Víctor 1 Arndt, Peter F. 1 Arrazola Ramírez, José Ramón Enrique 1 Aucher, Guillaume 1 Ayres, Phil 1 Azizi-Sultan, Ahmad-Saher ...and 264 more Authors all top 5 Fields 347 Mathematical logic and foundations (03-XX) 69 History and biography (01-XX) 28 General and overarching topics; collections (00-XX) 27 Computer science (68-XX) 18 Category theory; homological algebra (18-XX) 15 Order, lattices, ordered algebraic structures (06-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Quantum theory (81-XX) 4 General algebraic systems (08-XX) 3 Combinatorics (05-XX) 3 Geometry (51-XX) 2 Real functions (26-XX) 2 General topology (54-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Topological groups, Lie groups (22-XX) 1 Operator theory (47-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 233 Publications have been cited 1,044 times in 651 Documents Cited by ▼ Year ▼ A universal logic approach to adaptive logics. Zbl 1116.03019 Batens, Diderik 44 2007 Things that are right with the traditional square of opposition. Zbl 1140.03301 Parsons, Terence 43 2008 The power of the hexagon. Zbl 1272.03008 Béziau, Jean-Yves 42 2012 From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Zbl 1272.03015 Dubois, Didier; Prade, Henri 42 2012 “Setting” \(n\)-opposition. Zbl 1156.03021 Pellissier, Régis 33 2008 Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049 Maietti, Maria Emilia; Rosolini, Giuseppe 28 2013 On the 3D visualisation of logical relations. Zbl 1255.03032 Smessaert, Hans 26 2009 Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Zbl 1118.03049 Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata 23 2007 From analogical proportion to logical proportions. Zbl 1323.03011 Prade, Henri; Richard, Gilles 23 2013 Metalogical decorations of logical diagrams. Zbl 1384.03023 Demey, Lorenz; Smessaert, Hans 18 2016 The geometry of standard deontic logic. Zbl 1255.03031 Moretti, Alessio 18 2009 Quantified multimodal logics in simple type theory. Zbl 1334.03014 Benzmüller, Christoph; Paulson, Lawrence C. 18 2013 Positive Jonsson theories. Zbl 1456.03060 Poizat, Bruno; Yeshkeyev, Aibat 15 2018 What is a logic translation? Zbl 1255.03023 Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 15 2009 Logical extensions of Aristotle’s square. Zbl 1138.03314 Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher 14 2008 Proofs and countermodels in non-classical logics. Zbl 1339.03046 Negri, Sara 14 2014 Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073 Caramello, Olivia 14 2014 New dimensions on translations between logics. Zbl 1255.03029 Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L. 13 2009 Logic and colour. Zbl 1272.03029 Jaspers, Dany 12 2012 Generalized definitional reflection and the inversion principle. Zbl 1138.03044 Schroeder-Heister, Peter 11 2007 Why the logical hexagon? Zbl 1272.03036 Moretti, Alessio 11 2012 Abelian logic and the logics of pointed lattice-ordered varieties. Zbl 1162.03036 Paoli, Francesco; Spinks, Matthew; Veroff, Robert 10 2008 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131 Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 10 2017 The classical Aristotelian hexagon versus the modern duality hexagon. Zbl 1280.03009 Smessaert, Hans 10 2012 Generalized correspondence analysis for three-valued logics. Zbl 1435.03047 Petrukhin, Yaroslav 10 2018 Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061 Murinová, Petra; Novák, Vilém 9 2016 Modal multilattice logic. Zbl 1404.03018 Kamide, Norihiro; Shramko, Yaroslav 9 2017 There is no paradox of logical validity. Zbl 1330.03030 Cook, Roy T. 9 2014 A new modal Lindström theorem. Zbl 1118.03012 van Benthem, Johan 8 2007 A refutation theory. Zbl 1255.03024 Skura, Tomasz 8 2009 Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153 Kutz, Oliver; Mossakowski, Till; Lücke, Dominik 8 2010 Probabilistic argumentation: an equational approach. Zbl 1337.68241 Gabbay, D. M.; Rodrigues, O. 7 2015 Self-extensional three-valued paraconsistent logics. Zbl 1420.03042 Avron, Arnon 7 2017 Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032 Petrukhin, Yaroslav I. 7 2017 Equilibrium states in numerical argumentation networks. Zbl 1346.68185 Gabbay, D. M.; Rodrigues, O. 7 2015 A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026 Méndez, José M.; Robles, Gemma 7 2015 Liberating paraconsistency from contradiction. Zbl 1373.03039 Becker Arenhart, Jonas R. 7 2015 On pairs of dual consequence operations. Zbl 1264.03038 Wybraniec-Skardowska, Urszula; Waldmajer, Jacek 7 2011 On preserving. Zbl 1131.03010 Payette, Gillman; Schotch, Peter K. 6 2007 Birkhoff completeness in institutions. Zbl 1179.03069 Codescu, Mihai; Găină, Daniel 6 2008 Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016 Beziau, Jean-Yves 6 2016 Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023 Zygmunt, Jan; Purdy, Robert 6 2014 A general Lindström theorem for some normal modal logics. Zbl 1345.03035 Enqvist, Sebastian 6 2013 Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458 Dubois, Didier; Prade, Henri; Rico, Agnès 6 2020 Logic of determination of objects (LDO): how to articulate “extension” with “intension” and “objects” with “concepts”. Zbl 1272.03075 Desclés, Jean-Pierre; Pascu, Anca 6 2011 Dualities for Płonka sums. Zbl 1523.08001 Bonzio, Stefano 6 2018 From fibring to cryptofibring. A solution to the collapsing problem. Zbl 1116.03009 Caleiro, Carlos; Ramos, Jaime 5 2007 Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006 Lewitzka, Steffen 5 2007 Functorial duality for ortholattices and De Morgan lattices. Zbl 1132.03034 Bimbó, Katalin 5 2007 Visualizations of the square of opposition. Zbl 1138.03320 Bernhard, Peter 5 2008 Singular propositions, negation and the square of opposition. Zbl 1403.03052 Choudhury, Lopamudra; Chakraborty, Mihir Kumar 5 2016 Logical squares for classical logic sentences. Zbl 1396.03007 Wybraniec-Skardowska, Urszula 5 2016 The pursuit of an implication for the logics L3A and L3B. Zbl 1420.03043 Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio 5 2017 A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart. Zbl 1323.03022 Robles, Gemma 5 2013 Calculi for many-valued logics. Zbl 07380929 Kaminski, Michael; Francez, Nissim 5 2021 Structuralist logic: implications, inferences, and consequences. Zbl 1116.03010 Koslow, Arnold 4 2007 Recovering a logic from its fragments by meta-fibring. Zbl 1131.03005 Coniglio, Marcelo Esteban 4 2007 Aristotle’s cubes and consequential implication. Zbl 1144.03017 Pizzi, Claudio 4 2008 The Vatican square. Zbl 1403.00027 Beziau, Jean-Yves; Giovagnoli, Raffaela 4 2016 Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007 Lachance, Geneviève 4 2016 Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037 Lenzen, Wolfgang 4 2016 Generalization and composition of modal squares of oppositions. Zbl 1370.03026 Pizzi, Claudio 4 2016 Towards a more general concept of inference. Zbl 1339.03047 Pezlar, Ivo 4 2014 Dugundji’s theorem revisited. Zbl 1330.03042 Coniglio, Marcelo E.; Peron, Newton M. 4 2014 A non-standard analysis of a cultural icon: the case of Paul Halmos. Zbl 1365.01032 Błaszczyk, Piotr; Borovik, Alexandre; Kanovei, Vladimir; Katz, Mikhail G.; Kudryk, Taras; Kutateladze, Semen S.; Sherry, David 4 2016 Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021 Brumberg-Chaumont, Julie 4 2015 Venn diagram with names of individuals and their absence: a non-classical diagram logic. Zbl 1456.03056 Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra 4 2018 Dagger categories of tame relations. Zbl 1294.68107 Jacobs, Bart 4 2013 A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic. Zbl 1280.03021 Guitart, René 4 2012 A Buchholz rule for modal fixed point logics. Zbl 1278.03044 Jäger, Gerhard; Studer, Thomas 4 2011 A global glance on categories in logic. Zbl 1119.03071 Arndt, Peter; de Alvarenga Freire, Rodrigo; Luciano, Odilon Otavio; Mariano, Hugo Luiz 3 2007 Structuring the universe of universal logic. Zbl 1149.03013 Vasyukov, Vladimir L. 3 2007 Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026 Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A. 3 2015 Sequent systems for negative modalities. Zbl 1420.03044 Lahav, Ori; Marcos, João; Zohar, Yoni 3 2017 N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078 Maximov, D. Y. 3 2016 The classical constraint on relevance. Zbl 1344.03027 Avron, Arnon 3 2014 On non-deterministic quantification. Zbl 1342.03023 Ferguson, Thomas Macaulay 3 2014 Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045 Francez, Nissim 3 2014 The scope of Gödel’s first incompleteness theorem. Zbl 1339.03004 Buldt, Bernd 3 2014 Contrary-to-duty reasoning: a categorical approach. Zbl 1357.03056 Peterson, Clayton 3 2015 Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036 Odintsov, Sergei; Rybakov, Vladimir 3 2015 A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert’s \(\varepsilon\)-terms. Zbl 1436.03093 Pasquali, Fabio 3 2016 Widersinn in Husserl’s pure logic. Zbl 1361.03007 Isaac, Manuel Gustavo 3 2016 Universal logic: evolution of a project. Zbl 1396.03002 Beziau, Jean-Yves 3 2018 Two early Arabic applications of model-theoretic consequence. Zbl 1395.01011 Hodges, Wilfrid 3 2018 Is the principle of contradiction a consequence of \(x^2=x\)? Zbl 1408.03003 Beziau, Jean-Yves 3 2018 Natural deduction for Post’s logics and their duals. Zbl 1456.03047 Petrukhin, Yaroslav 3 2018 The universal theory of first order algebras and various reducts. Zbl 1380.03077 Valby, Lawrence 3 2015 Encoding complete metric structures by classical structures. Zbl 1485.03141 Ackerman, Nathanael Leedom 3 2020 Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141 Kamide, Norihiro 3 2019 Characteristic formulas of partial Heyting algebras. Zbl 1309.03012 Citkin, Alex 3 2013 Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130 Klonowski, Mateusz 3 2021 Distributive-lattice semantics of sequent calculi with structural rules. Zbl 1255.03034 Pynko, Alexej P. 3 2009 Symmetric generalized Galois logics. Zbl 1255.03033 Bimbó, Katalin; Dunn, J. Michael 3 2009 Minimally generated abstract logics. Zbl 1255.03022 Lewitzka, Steffen; Brunner, Andreas B. M. 3 2009 On refutation rules. Zbl 1264.03037 Skura, Tomasz 3 2011 Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007 Gabbay, Dov M. 3 2011 The logic with truth and falsehood operators from a point of view of universal logic. Zbl 1280.03013 Pavlov, Sergey 3 2011 Historical development of modern logic. Zbl 1268.03006 van Heijenoort, Jean 3 2012 Toward a visual proof system: Lewis Carroll’s method of trees. Zbl 1267.01028 Abeles, Francine F. 3 2012 Complementary proof nets for classical logic. Zbl 07786295 Pulcini, Gabriele; Varzi, Achille C. 1 2023 An unexpected Boolean connective. Zbl 07580912 Marcelino, Sérgio 2 2022 A modern rigorous approach to stratification in NF/NFU. Zbl 07603236 Adlešić, Tin; Čačić, Vedran 1 2022 Maximum segments as natural deduction images of some cuts. Zbl 1515.03210 Borisavljević, Mirjana 1 2022 On the logical geometry of geometric angles. Zbl 07659705 Smessaert, Hans; Demey, Lorenz 1 2022 Calculi for many-valued logics. Zbl 07380929 Kaminski, Michael; Francez, Nissim 5 2021 Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130 Klonowski, Mateusz 3 2021 Correspondence analysis for some fragments of classical propositional logic. Zbl 1477.03021 Petrukhin, Yaroslav; Shangin, Vasilyi 2 2021 Implicational tonoid logics: algebraic and relational semantics. Zbl 07462127 Yang, Eunsuk; Dunn, J. Michael 2 2021 Bimodal logic with contingency and accident: bisimulation and axiomatizations. Zbl 07380925 Fan, Jie 2 2021 Why make things simple when you can make them complicated? An appreciation of Lewis Carroll’s symbolic logic. Zbl 1490.03003 Moktefi, Amirouche 1 2021 Unification in pretabular extensions of S4. Zbl 1491.03014 Bashmakov, Stepan I. 1 2021 Quantified temporal alethic boulesic doxastic logic. Zbl 1493.03003 Rönnedal, Daniel 1 2021 Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458 Dubois, Didier; Prade, Henri; Rico, Agnès 6 2020 Encoding complete metric structures by classical structures. Zbl 1485.03141 Ackerman, Nathanael Leedom 3 2020 Tree-like proof systems for finitely-many valued non-deterministic consequence relations. Zbl 1472.03023 Pawlowski, Pawel 2 2020 The normal and self-extensional extension of Dunn-Belnap logic. Zbl 1472.03019 Avron, Arnon 2 2020 On the historical transformations of the square of opposition as semiotic object. Zbl 1442.03002 Vandoulakis, Ioannis M.; Denisova, Tatiana Yu. 2 2020 Swyneshed, Aristotle and the rule of contradictory pairs. Zbl 1442.03005 Read, Stephen 2 2020 A cube of opposition for predicate logic. Zbl 1443.03005 Nilsson, Jørgen Fischer 2 2020 Graded structures of opposition in fuzzy natural logic. Zbl 1497.68461 Murinová, Petra 1 2020 Farewell to suppression-freedom. Zbl 1466.03003 Øgaard, Tore Fjetland 1 2020 Measuring inconsistency in generalized propositional logic. Zbl 1476.03034 Grant, John 1 2020 Bases for structures and theories. I. Zbl 1485.03080 Ketland, Jeffrey 1 2020 Numerical existence property and categories with an internal copy. Zbl 1448.18001 Maschio, Samuele 1 2020 Kant’s antinomies of pure reason and the ‘hexagon of predicate negation’. Zbl 1477.03014 McLaughlin, Peter; Schlaudt, Oliver 1 2020 Existential import, Aristotelian logic, and its generalizations. Zbl 1442.03001 Strößner, Corina 1 2020 Positive amalgamation. Zbl 1484.03074 Belkasmi, Mohammed 1 2020 Introducing \(H\), an institution-based formal specification and verification language. Zbl 1484.68106 Diaconescu, Răzvan 1 2020 Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141 Kamide, Norihiro 3 2019 To Peirce Hintikka’s thoughts. Zbl 1472.03010 Pietarinen, Ahti-Veikko 2 2019 A bunch of diagrammatic methods for syllogistic. Zbl 07061140 Sautter, Frank Thomas 2 2019 Duality results for (co)residuated lattices. Zbl 1516.06009 Hartonas, Chrysafis 2 2019 Non-monotonic logic and the compatibility of science and religion. Zbl 1443.03004 Trepczyński, Marcin 2 2019 Super models. Zbl 1472.03028 Hintikka, Jaakko 1 2019 Perspectives on the logical study of language. Zbl 1472.03011 Hintikka, Jaakko 1 2019 On TAE machines and their computational power. Zbl 1434.68174 Syropoulos, Apostolos 1 2019 Hintikka, free logician. Singular terms in world lines semantics. Zbl 1472.03014 Fontaine, Matthieu 1 2019 Hintikka and the functions of logic. Zbl 1472.03007 Link, Montgomery 1 2019 Varieties of rigidity. Zbl 1450.03001 Tanninen, Tuukka 1 2019 Labelled tableau systems for some subintuitionistic logics. Zbl 1472.03017 Ma, Minghui 1 2019 \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary. Zbl 1456.03057 Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra 1 2019 Structural rules for multi-valued logics. Zbl 07061142 Francez, Nissim; Kaminski, Michael 1 2019 Logical consequence in Avicenna’s theory. Zbl 1412.03005 Chatti, Saloua 1 2019 The Talmudic logic project, ongoing since 2008. Zbl 07170320 Gabbay, Dov M.; Schild, Uri; David, Esther 1 2019 Counterpossibles and normal defaults in the filioque controversy. Zbl 1460.01005 Archambault, Jacob 1 2019 Thomas Manlevelt: God in logic. Zbl 1432.01032 van der Helm, Alfred 1 2019 Mathematics and theology in the thought of Nicholas of Cusa. Zbl 1444.01011 Murawski, Roman 1 2019 Iterated mixed strategies and Pascal’s wager. Zbl 1431.91058 Badici, Emil 1 2019 Logic diagrams, sacred geometry and neural networks. Zbl 07170326 Lemanski, Jens 1 2019 Pavel Florensky’s theory of religious antinomies. Zbl 07170327 Rojek, Paweł 1 2019 Gödel’s second theorem and the provability of God’s existence. Zbl 07170328 Buzaglo, Meir 1 2019 Metalanguage and revelation: rethinking Theology’s language and relevance. Zbl 07170329 Vestrucci, Andrea 1 2019 Knowability and other onto-theological paradoxes. Zbl 07170330 D’Agostini, Franca 1 2019 Positive Jonsson theories. Zbl 1456.03060 Poizat, Bruno; Yeshkeyev, Aibat 15 2018 Generalized correspondence analysis for three-valued logics. Zbl 1435.03047 Petrukhin, Yaroslav 10 2018 Dualities for Płonka sums. Zbl 1523.08001 Bonzio, Stefano 6 2018 Venn diagram with names of individuals and their absence: a non-classical diagram logic. Zbl 1456.03056 Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra 4 2018 Universal logic: evolution of a project. Zbl 1396.03002 Beziau, Jean-Yves 3 2018 Two early Arabic applications of model-theoretic consequence. Zbl 1395.01011 Hodges, Wilfrid 3 2018 Is the principle of contradiction a consequence of \(x^2=x\)? Zbl 1408.03003 Beziau, Jean-Yves 3 2018 Natural deduction for Post’s logics and their duals. Zbl 1456.03047 Petrukhin, Yaroslav 3 2018 Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 1522.03052 Hartonas, Chrysafis 3 2018 A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Zbl 1522.68533 Varzinczak, Ivan 2 2018 On the modal logic of Jeffrey conditionalization. Zbl 1461.03019 Gyenis, Zalán 2 2018 Pecularities of some three- and four-valued second order logics. Zbl 1405.03060 Hazen, Allen P.; Pelletier, Francis Jeffry 2 2018 Aristotle’s prototype rule-based underlying logic. Zbl 1397.01005 Corcoran, John 1 2018 A characterisation of some \(\mathbf{Z}\)-like logics. Zbl 1456.03051 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 1 2018 Composition-nominative logics as institutions. Zbl 1456.03054 Chentsov, Alexey; Nikitchenko, Mykola 1 2018 A molecular logic of chords and their internal harmony. Zbl 1439.03069 Max, Ingolf 1 2018 Abstract logical constants. Zbl 1522.03150 Perkov, Tin 1 2018 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131 Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 10 2017 Modal multilattice logic. Zbl 1404.03018 Kamide, Norihiro; Shramko, Yaroslav 9 2017 Self-extensional three-valued paraconsistent logics. Zbl 1420.03042 Avron, Arnon 7 2017 Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032 Petrukhin, Yaroslav I. 7 2017 The pursuit of an implication for the logics L3A and L3B. Zbl 1420.03043 Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio 5 2017 Sequent systems for negative modalities. Zbl 1420.03044 Lahav, Ori; Marcos, João; Zohar, Yoni 3 2017 Locally tabular \(\neq \) locally finite. Zbl 1420.03023 Marcelino, Sérgio; Rivieccio, Umberto 2 2017 Logic and religion. Zbl 1364.03007 Beziau, Jean-Yves; Silvestre, Ricardo 2 2017 Monotonic and non-monotonic embeddings of Anselm’s proof. Zbl 1365.01005 Archambault, Jacob 2 2017 A note on two’s company: “The humbug of many logical values”. Zbl 1386.03023 Skurt, Daniel 1 2017 An alternative definition of quantifiers on four-valued Łukasiewicz algebras. Zbl 1414.03014 González, Luciano J.; Lattanzi, M. B.; Petrovich, A. G. 1 2017 Thinking negation in early Hinduism and classical Indian philosophy. Zbl 1417.03045 Bilimoria, Purushottama 1 2017 From logic in Islam to Islamic logic. Zbl 1378.01003 Akrami, Musa 1 2017 Leibniz’s ontological proof of the existence of God and the problem of “impossible objects“. Zbl 1375.01014 Lenzen, Wolfgang 1 2017 A logical analysis of the Anselm’s Unum argumentum (from Proslogion). Zbl 1420.03051 Desclés, Jean-Pierre 1 2017 The semiotics of spider diagrams. Zbl 1417.03048 Burton, Jim; Howse, John 1 2017 Translating non-classical logics into classical logic by using hidden variables. Zbl 1420.03020 Agudelo-Agudelo, Juan C. 1 2017 Is ‘no’ a force-indicator? Yes, sooner or later! Zbl 1417.03098 Schang, Fabien; Trafford, James 1 2017 Interconnection of the lattices of extensions of four logics. Zbl 1420.03039 Muravitsky, Alexei Y. 1 2017 Metalogical decorations of logical diagrams. Zbl 1384.03023 Demey, Lorenz; Smessaert, Hans 18 2016 Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061 Murinová, Petra; Novák, Vilém 9 2016 Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016 Beziau, Jean-Yves 6 2016 Singular propositions, negation and the square of opposition. Zbl 1403.03052 Choudhury, Lopamudra; Chakraborty, Mihir Kumar 5 2016 Logical squares for classical logic sentences. Zbl 1396.03007 Wybraniec-Skardowska, Urszula 5 2016 The Vatican square. Zbl 1403.00027 Beziau, Jean-Yves; Giovagnoli, Raffaela 4 2016 Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007 Lachance, Geneviève 4 2016 Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037 Lenzen, Wolfgang 4 2016 Generalization and composition of modal squares of oppositions. Zbl 1370.03026 Pizzi, Claudio 4 2016 A non-standard analysis of a cultural icon: the case of Paul Halmos. Zbl 1365.01032 Błaszczyk, Piotr; Borovik, Alexandre; Kanovei, Vladimir; Katz, Mikhail G.; Kudryk, Taras; Kutateladze, Semen S.; Sherry, David 4 2016 ...and 133 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 627 Authors 23 Prade, Henri M. 19 Béziau, Jean-Yves 16 Petrukhin, Yaroslav Igorevich 15 Demey, Lorenz 12 Benzmüller, Christoph Ewald 12 Richard, Gilles 11 Robles, Gemma 11 Verdée, Peter 10 Batens, Diderik 10 Maietti, Maria Emilia 10 Smessaert, Hans 9 Dubois, Didier 9 Murinová, Petra 9 Strasser, Christian 8 Caleiro, Carlos 8 Marcelino, Sérgio 8 Novák, Vilém 7 Beirlaen, Mathieu 7 Caramello, Olivia 7 Méndez, José M. 7 Pasquali, Fabio 6 Avron, Arnon 6 Bimbó, Katalin 6 Coniglio, Marcelo Esteban 6 Emmenegger, Jacopo 6 Kamide, Norihiro 6 Katz, Mikhail G. 6 Maschio, Samuele 6 Negri, Sara 6 Rosolini, Giuseppe 6 Shangin, Vasily 5 Arieli, Ofer 5 Bonzio, Stefano 5 Chakraborty, Mihir Kumar 5 Citkin, Alex 5 Diaconescu, Răzvan 5 Fuenmayor, David 5 Kanovei, Vladimir G. 5 Madeira, Alexandre 5 Moktefi, Amirouche 5 Schang, Fabien 5 Wybraniec-Skardowska, Urszula B. 5 Yeshkeyev, Aibat Rafhatovich 4 Arenhart, Jonas Rafael Becker 4 Badia, Guillermo 4 Bhattacharjee, Reetu 4 Carnielli, Walter Alexandre 4 Ciucci, Davide 4 Desclés, Jean-Pierre 4 Dunn, Jon Michael 4 Francez, Nissim 4 Gaĭnă, Daniel 4 Humberstone, Lloyd 4 Kamsma, Mark 4 Katz, Karin Usadi 4 Kutz, Oliver 4 Marcos, João 4 Martins, Manuel António 4 Moretti, Alessio 4 Mossakowski, Till 4 Paoli, Francesco 4 Pulcini, Gabriele 4 Sherry, David M. 4 Trotta, Davide 3 Anellis, Irving Henry 3 Bezhanishvili, Nick 3 Błaszczyk, Piotr 3 Boffa, Stefania 3 Bounhas, Myriam 3 Chatti, Saloua 3 Choudhury, Lopamudra 3 Estrada-González, Luis 3 Ferguson, Thomas Macaulay 3 Grattan-Guinness, Ivor 3 Grigor’ev, Oleg Mikhaĭlovich 3 Gubeladze, Joseph 3 Guitart, René 3 Hartonas, Chrysafis 3 Isaac, Manuel Gustavo 3 Jenei, Sándor 3 Kutateladze, Semën Samsonovich 3 Lemanski, Jens 3 Leszczyńska-Jasion, Dorota 3 Lewitzka, Steffen 3 Loi, Andrea 3 Meheus, Joke 3 Miclet, Laurent 3 Moraschini, Tommaso 3 Olkhovikov, Grigory K. 3 Palmgren, Erik 3 Pascu, Anca Christine 3 Payette, Gillman 3 Peterson, Clayton 3 Read, Stephen 3 Rico, Agnés 3 Rybakov, Vladimir Vladimirovich 3 Steen, Alexander 3 Ulbrikht, Olga Ivanovna 3 Van De Putte, Frederik 3 van der Waart van Gulik, Stephan ...and 527 more Authors all top 5 Cited in 72 Journals 105 Logica Universalis 46 Studia Logica 29 Synthese 26 Journal of Philosophical Logic 19 Logic and Logical Philosophy 18 International Journal of Approximate Reasoning 18 Journal of Applied Non-Classical Logics 16 The Review of Symbolic Logic 13 History and Philosophy of Logic 11 Fuzzy Sets and Systems 11 Journal of Logic, Language and Information 10 Artificial Intelligence 10 Annals of Pure and Applied Logic 10 Archive for Mathematical Logic 10 Annals of Mathematics and Artificial Intelligence 8 Bulletin of the Section of Logic 8 Journal of Applied Logic 6 Journal of Automated Reasoning 6 Mathematical Logic Quarterly (MLQ) 6 Foundations of Science 6 Logicheskie Issledovaniya 5 Algebra Universalis 5 Journal of Pure and Applied Algebra 5 The Journal of Symbolic Logic 5 Theoretical Computer Science 5 Applied Categorical Structures 5 The Bulletin of Symbolic Logic 5 Topoi 4 MSCS. Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 3 Notre Dame Journal of Formal Logic 3 Soft Computing 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Journal of Logical and Algebraic Methods in Programming 2 Algebra and Logic 2 Journal of Algebra 2 Bulletin of the Iranian Mathematical Society 2 Formal Aspects of Computing 2 Historia Mathematica 2 Theory and Applications of Categories 2 Fundamenta Informaticae 2 Journal of Multiple-Valued Logic and Soft Computing 2 Tbilisi Mathematical Journal 2 Axioms 1 Information Processing Letters 1 Israel Journal of Mathematics 1 Moscow University Mathematics Bulletin 1 Rocky Mountain Journal of Mathematics 1 Ukrainian Mathematical Journal 1 Journal of Geometry and Physics 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 Geometriae Dedicata 1 Kybernetika 1 Mathematics and Computers in Simulation 1 Mathematische Zeitschrift 1 AI Communications 1 Matematychni Studiï 1 Journal of Group Theory 1 Lobachevskii Journal of Mathematics 1 Advances in Geometry 1 Quantum Information Processing 1 ACM Transactions on Computational Logic 1 Foundations of Physics 1 São Paulo Journal of Mathematical Sciences 1 Symmetry 1 Journal of Mathematics 1 European Journal of Mathematics 1 Journal of Siberian Federal University. Mathematics & Physics 1 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal 1 AIMS Mathematics 1 Model Theory all top 5 Cited in 31 Fields 556 Mathematical logic and foundations (03-XX) 140 Computer science (68-XX) 64 History and biography (01-XX) 44 Category theory; homological algebra (18-XX) 33 Order, lattices, ordered algebraic structures (06-XX) 25 General and overarching topics; collections (00-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 General topology (54-XX) 7 Quantum theory (81-XX) 6 General algebraic systems (08-XX) 6 Statistics (62-XX) 5 Real functions (26-XX) 5 Geometry (51-XX) 5 Convex and discrete geometry (52-XX) 4 Commutative algebra (13-XX) 4 Group theory and generalizations (20-XX) 3 Combinatorics (05-XX) 3 Topological groups, Lie groups (22-XX) 3 Algebraic topology (55-XX) 3 Mathematics education (97-XX) 2 Number theory (11-XX) 2 Algebraic geometry (14-XX) 2 Functional analysis (46-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 \(K\)-theory (19-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Geophysics (86-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year