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: 348 Publications (since 2007) References Indexed: 302 Publications with 10,328 References. all top 5 Latest Issues 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 5 Anellis, Irving H. 5 Chakraborty, Mihir Kumar 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 Citkin, Alex 3 Diaconescu, Răzvan 3 Kaminski, Michael 3 Lemanski, Jens 3 Lewitzka, Steffen 3 Mossakowski, Till 3 Muravitsky, Alexei Yu. 3 Prade, Henri M. 3 Rasga, João 3 Sernadas, Cristina S. 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 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 Skura, Tomasz F. 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 Wybraniec-Skardowska, Urszula B. 2 Yang, Eunsuk 1 Abeles, Francine F. 1 Adamatzky, Andrew I. 1 Adlešić, Tin 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 1 Badici, Emil 1 Baltazar, Pedro ...and 255 more Authors all top 5 Fields 335 Mathematical logic and foundations (03-XX) 67 History and biography (01-XX) 27 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 219 Publications have been cited 966 times in 590 Documents Cited by ▼ Year ▼ Things that are right with the traditional square of opposition. Zbl 1140.03301Parsons, Terence 43 2008 A universal logic approach to adaptive logics. Zbl 1116.03019Batens, Diderik 42 2007 The power of the hexagon. Zbl 1272.03008Béziau, Jean-Yves 41 2012 From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Zbl 1272.03015Dubois, Didier; Prade, Henri 40 2012 “Setting” \(n\)-opposition. Zbl 1156.03021Pellissier, Régis 33 2008 On the 3D visualisation of logical relations. Zbl 1255.03032Smessaert, Hans 26 2009 Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049Maietti, Maria Emilia; Rosolini, Giuseppe 26 2013 Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Zbl 1118.03049Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata 20 2007 From analogical proportion to logical proportions. Zbl 1323.03011Prade, Henri; Richard, Gilles 19 2013 The geometry of standard deontic logic. Zbl 1255.03031Moretti, Alessio 18 2009 Metalogical decorations of logical diagrams. Zbl 1384.03023Demey, Lorenz; Smessaert, Hans 17 2016 Quantified multimodal logics in simple type theory. Zbl 1334.03014Benzmüller, Christoph; Paulson, Lawrence C. 16 2013 What is a logic translation? Zbl 1255.03023Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 15 2009 Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073Caramello, Olivia 15 2014 Proofs and countermodels in non-classical logics. Zbl 1339.03046Negri, Sara 14 2014 Logical extensions of Aristotle’s square. Zbl 1138.03314Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher 13 2008 Positive Jonsson theories. Zbl 1456.03060Poizat, Bruno; Yeshkeyev, Aibat 13 2018 Logic and colour. Zbl 1272.03029Jaspers, Dany 12 2012 New dimensions on translations between logics. Zbl 1255.03029Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L. 11 2009 Generalized definitional reflection and the inversion principle. Zbl 1138.03044Schroeder-Heister, Peter 11 2007 Why the logical hexagon? Zbl 1272.03036Moretti, Alessio 10 2012 Modal multilattice logic. Zbl 1404.03018Kamide, Norihiro; Shramko, Yaroslav 9 2017 The classical Aristotelian hexagon versus the modern duality hexagon. Zbl 1280.03009Smessaert, Hans 9 2012 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 9 2017 Abelian logic and the logics of pointed lattice-ordered varieties. Zbl 1162.03036Paoli, Francesco; Spinks, Matthew; Veroff, Robert 8 2008 A refutation theory. Zbl 1255.03024Skura, Tomasz 8 2009 A new modal Lindström theorem. Zbl 1118.03012van Benthem, Johan 8 2007 There is no paradox of logical validity. Zbl 1330.03030Cook, Roy T. 8 2014 Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153Kutz, Oliver; Mossakowski, Till; Lücke, Dominik 8 2010 Probabilistic argumentation: an equational approach. Zbl 1337.68241Gabbay, D. M.; Rodrigues, O. 8 2015 Generalized correspondence analysis for three-valued logics. Zbl 1435.03047Petrukhin, Yaroslav 8 2018 Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061Murinová, Petra; Novák, Vilém 8 2016 Self-extensional three-valued paraconsistent logics. Zbl 1420.03042Avron, Arnon 7 2017 Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032Petrukhin, Yaroslav I. 7 2017 Equilibrium states in numerical argumentation networks. Zbl 1346.68185Gabbay, D. M.; Rodrigues, O. 7 2015 A general Lindström theorem for some normal modal logics. Zbl 1345.03035Enqvist, Sebastian 6 2013 Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023Zygmunt, Jan; Purdy, Robert 6 2014 On pairs of dual consequence operations. Zbl 1264.03038Wybraniec-Skardowska, Urszula; Waldmajer, Jacek 6 2011 A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026Méndez, José M.; Robles, Gemma 6 2015 Liberating paraconsistency from contradiction. Zbl 1373.03039Becker Arenhart, Jonas R. 6 2015 Dualities for Płonka sums. Zbl 06992796Bonzio, Stefano 6 2018 Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458Dubois, Didier; Prade, Henri; Rico, Agnès 6 2020 The pursuit of an implication for the logics L3A and L3B. Zbl 1420.03043Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio 5 2017 Birkhoff completeness in institutions. Zbl 1179.03069Codescu, Mihai; Găină, Daniel 5 2008 Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006Lewitzka, Steffen 5 2007 On preserving. Zbl 1131.03010Payette, Gillman; Schotch, Peter K. 5 2007 Logic of determination of objects (LDO): how to articulate “extension” with “intension” and “objects” with “concepts”. Zbl 1272.03075Desclés, Jean-Pierre; Pascu, Anca 5 2011 Calculi for many-valued logics. Zbl 07380929Kaminski, Michael; Francez, Nissim 5 2021 Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016Beziau, Jean-Yves 5 2016 Singular propositions, negation and the square of opposition. Zbl 1403.03052Choudhury, Lopamudra; Chakraborty, Mihir Kumar 5 2016 Logical squares for classical logic sentences. Zbl 1396.03007Wybraniec-Skardowska, Urszula 5 2016 Functorial duality for ortholattices and De Morgan lattices. Zbl 1132.03034Bimbó, Katalin 4 2007 Recovering a logic from its fragments by meta-fibring. Zbl 1131.03005Coniglio, Marcelo Esteban 4 2007 Visualizations of the square of opposition. Zbl 1138.03320Bernhard, Peter 4 2008 From fibring to cryptofibring. A solution to the collapsing problem. Zbl 1116.03009Caleiro, Carlos; Ramos, Jaime 4 2007 Structuralist logic: implications, inferences, and consequences. Zbl 1116.03010Koslow, Arnold 4 2007 A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart. Zbl 1323.03022Robles, Gemma 4 2013 Dagger categories of tame relations. Zbl 1294.68107Jacobs, Bart 4 2013 A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic. Zbl 1280.03021Guitart, René 4 2012 A Buchholz rule for modal fixed point logics. Zbl 1278.03044Jäger, Gerhard; Studer, Thomas 4 2011 Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021Brumberg-Chaumont, Julie 4 2015 A non-standard analysis of a cultural icon: the case of Paul Halmos. Zbl 1365.01032Błaszczyk, Piotr; Borovik, Alexandre; Kanovei, Vladimir; Katz, Mikhail G.; Kudryk, Taras; Kutateladze, Semen S.; Sherry, David 4 2016 The Vatican square. Zbl 1403.00027Beziau, Jean-Yves; Giovagnoli, Raffaela 4 2016 Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007Lachance, Geneviève 4 2016 Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037Lenzen, Wolfgang 4 2016 Venn diagram with names of individuals and their absence: a non-classical diagram logic. Zbl 1456.03056Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra 4 2018 Distributive-lattice semantics of sequent calculi with structural rules. Zbl 1255.03034Pynko, Alexej P. 3 2009 Symmetric generalized Galois logics. Zbl 1255.03033Bimbó, Katalin; Dunn, J. Michael 3 2009 Minimally generated abstract logics. Zbl 1255.03022Lewitzka, Steffen; Brunner, Andreas B. M. 3 2009 Structuring the universe of universal logic. Zbl 1149.03013Vasyukov, Vladimir L. 3 2007 Aristotle’s cubes and consequential implication. Zbl 1144.03017Pizzi, Claudio 3 2008 A global glance on categories in logic. Zbl 1119.03071Arndt, Peter; de Alvarenga Freire, Rodrigo; Luciano, Odilon Otavio; Mariano, Hugo Luiz 3 2007 The classical constraint on relevance. Zbl 1344.03027Avron, Arnon 3 2014 Towards a more general concept of inference. Zbl 1339.03047Pezlar, Ivo 3 2014 Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045Francez, Nissim 3 2014 Dugundji’s theorem revisited. Zbl 1330.03042Coniglio, Marcelo E.; Peron, Newton M. 3 2014 The scope of Gödel’s first incompleteness theorem. Zbl 1339.03004Buldt, Bernd 3 2014 Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007Gabbay, Dov M. 3 2011 Historical development of modern logic. Zbl 1268.03006van Heijenoort, Jean 3 2012 In defense of logical universalism: taking issue with Jean van Heijenoort. Zbl 1405.03018de Rouilhan, Philippe 3 2012 Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics. Zbl 1261.00004Grattan-Guinness, I. 3 2011 Negation and paraconsistent logics. Zbl 1272.03117Dutta, Soma; Chakraborty, Mihir K. 3 2011 The universal theory of first order algebras and various reducts. Zbl 1380.03077Valby, Lawrence 3 2015 Contrary-to-duty reasoning: a categorical approach. Zbl 1357.03056Peterson, Clayton 3 2015 Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036Odintsov, Sergei; Rybakov, Vladimir 3 2015 N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078Maximov, D. Y. 3 2016 A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert’s \(\varepsilon\)-terms. Zbl 1436.03093Pasquali, Fabio 3 2016 Widersinn in Husserl’s pure logic. Zbl 1361.03007Isaac, Manuel Gustavo 3 2016 Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 06992800Hartonas, Chrysafis 3 2018 Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130Klonowski, Mateusz 3 2021 Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141Kamide, Norihiro 3 2019 Universal logic: evolution of a project. Zbl 1396.03002Beziau, Jean-Yves 3 2018 Two early Arabic applications of model-theoretic consequence. Zbl 1395.01011Hodges, Wilfrid 3 2018 Natural deduction for Post’s logics and their duals. Zbl 1456.03047Petrukhin, Yaroslav 3 2018 Sequent systems for negative modalities. Zbl 1420.03044Lahav, Ori; Marcos, João; Zohar, Yoni 2 2017 Locally tabular \(\neq \) locally finite. Zbl 1420.03023Marcelino, Sérgio; Rivieccio, Umberto 2 2017 Russell and his sources for non-classical logics. Zbl 1255.03001Anellis, Irving H. 2 2009 Theory of completeness for logical spaces. Zbl 1255.03021Gomi, Kensaku 2 2009 Applications of squares of oppositions and their generalizations in philosophical analysis. Zbl 1138.03308Woleński, Jan 2 2008 Ploucquet’s “refutation” of the traditional square of opposition. Zbl 1138.03304Lenzen, Wolfgang 2 2008 An unexpected Boolean connective. Zbl 07580912Marcelino, Sérgio 1 2022 Maximum segments as natural deduction images of some cuts. Zbl 1515.03210Borisavljević, Mirjana 1 2022 Calculi for many-valued logics. Zbl 07380929Kaminski, Michael; Francez, Nissim 5 2021 Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130Klonowski, Mateusz 3 2021 Implicational tonoid logics: algebraic and relational semantics. Zbl 07462127Yang, Eunsuk; Dunn, J. Michael 2 2021 Bimodal logic with contingency and accident: bisimulation and axiomatizations. Zbl 07380925Fan, Jie 1 2021 Quantified temporal alethic boulesic doxastic logic. Zbl 1493.03003Rönnedal, Daniel 1 2021 Correspondence analysis for some fragments of classical propositional logic. Zbl 1477.03021Petrukhin, Yaroslav; Shangin, Vasilyi 1 2021 Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458Dubois, Didier; Prade, Henri; Rico, Agnès 6 2020 Tree-like proof systems for finitely-many valued non-deterministic consequence relations. Zbl 1472.03023Pawlowski, Pawel 2 2020 Encoding complete metric structures by classical structures. Zbl 1485.03141Ackerman, Nathanael Leedom 2 2020 Swyneshed, Aristotle and the rule of contradictory pairs. Zbl 1442.03005Read, Stephen 2 2020 A cube of opposition for predicate logic. Zbl 1443.03005Nilsson, Jørgen Fischer 2 2020 The normal and self-extensional extension of Dunn-Belnap logic. Zbl 1472.03019Avron, Arnon 2 2020 Graded structures of opposition in fuzzy natural logic. Zbl 1497.68461Murinová, Petra 1 2020 On the historical transformations of the square of opposition as semiotic object. Zbl 1442.03002Vandoulakis, Ioannis M.; Denisova, Tatiana Yu. 1 2020 Kant’s antinomies of pure reason and the ‘hexagon of predicate negation’. Zbl 1477.03014McLaughlin, Peter; Schlaudt, Oliver 1 2020 Positive amalgamation. Zbl 1484.03074Belkasmi, Mohammed 1 2020 Farewell to suppression-freedom. Zbl 1466.03003Øgaard, Tore Fjetland 1 2020 Bases for structures and theories. I. Zbl 1485.03080Ketland, Jeffrey 1 2020 Numerical existence property and categories with an internal copy. Zbl 1448.18001Maschio, Samuele 1 2020 Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141Kamide, Norihiro 3 2019 Non-monotonic logic and the compatibility of science and religion. Zbl 1443.03004Trepczyński, Marcin 2 2019 To Peirce Hintikka’s thoughts. Zbl 1472.03010Pietarinen, Ahti-Veikko 2 2019 The Talmudic logic project, ongoing since 2008. Zbl 07170320Gabbay, Dov M.; Schild, Uri; David, Esther 1 2019 Counterpossibles and normal defaults in the filioque controversy. Zbl 1460.01005Archambault, Jacob 1 2019 Thomas Manlevelt: God in logic. Zbl 1432.01032van der Helm, Alfred 1 2019 Mathematics and theology in the thought of Nicholas of Cusa. Zbl 1444.01011Murawski, Roman 1 2019 Iterated mixed strategies and Pascal’s wager. Zbl 1431.91058Badici, Emil 1 2019 Logic diagrams, sacred geometry and neural networks. Zbl 07170326Lemanski, Jens 1 2019 Pavel Florensky’s theory of religious antinomies. Zbl 07170327Rojek, Paweł 1 2019 Gödel’s second theorem and the provability of God’s existence. Zbl 07170328Buzaglo, Meir 1 2019 Metalanguage and revelation: rethinking Theology’s language and relevance. Zbl 07170329Vestrucci, Andrea 1 2019 Knowability and other onto-theological paradoxes. Zbl 07170330D’Agostini, Franca 1 2019 \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary. Zbl 1456.03057Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra 1 2019 Super models. Zbl 1472.03028Hintikka, Jaakko 1 2019 Perspectives on the logical study of language. Zbl 1472.03011Hintikka, Jaakko 1 2019 On TAE machines and their computational power. Zbl 1434.68174Syropoulos, Apostolos 1 2019 Hintikka, free logician. Singular terms in world lines semantics. Zbl 1472.03014Fontaine, Matthieu 1 2019 Hintikka and the functions of logic. Zbl 1472.03007Link, Montgomery 1 2019 Varieties of rigidity. Zbl 1450.03001Tanninen, Tuukka 1 2019 Labelled tableau systems for some subintuitionistic logics. Zbl 1472.03017Ma, Minghui 1 2019 A bunch of diagrammatic methods for syllogistic. Zbl 07061140Sautter, Frank Thomas 1 2019 Structural rules for multi-valued logics. Zbl 07061142Francez, Nissim; Kaminski, Michael 1 2019 Duality results for (co)residuated lattices. Zbl 1516.06009Hartonas, Chrysafis 1 2019 Logical consequence in Avicenna’s theory. Zbl 1412.03005Chatti, Saloua 1 2019 Positive Jonsson theories. Zbl 1456.03060Poizat, Bruno; Yeshkeyev, Aibat 13 2018 Generalized correspondence analysis for three-valued logics. Zbl 1435.03047Petrukhin, Yaroslav 8 2018 Dualities for Płonka sums. Zbl 06992796Bonzio, Stefano 6 2018 Venn diagram with names of individuals and their absence: a non-classical diagram logic. Zbl 1456.03056Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra 4 2018 Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 06992800Hartonas, Chrysafis 3 2018 Universal logic: evolution of a project. Zbl 1396.03002Beziau, Jean-Yves 3 2018 Two early Arabic applications of model-theoretic consequence. Zbl 1395.01011Hodges, Wilfrid 3 2018 Natural deduction for Post’s logics and their duals. Zbl 1456.03047Petrukhin, Yaroslav 3 2018 A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Zbl 06992795Varzinczak, Ivan 2 2018 On the modal logic of Jeffrey conditionalization. Zbl 1461.03019Gyenis, Zalán 2 2018 Pecularities of some three- and four-valued second order logics. Zbl 1405.03060Hazen, Allen P.; Pelletier, Francis Jeffry 2 2018 Is the principle of contradiction a consequence of \(x^2=x\)? Zbl 1408.03003Beziau, Jean-Yves 2 2018 Abstract logical constants. Zbl 06992797Perkov, Tin 1 2018 Aristotle’s prototype rule-based underlying logic. Zbl 1397.01005Corcoran, John 1 2018 A characterisation of some \(\mathbf{Z}\)-like logics. Zbl 1456.03051Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek 1 2018 Composition-nominative logics as institutions. Zbl 1456.03054Chentsov, Alexey; Nikitchenko, Mykola 1 2018 A molecular logic of chords and their internal harmony. Zbl 1439.03069Max, Ingolf 1 2018 Modal multilattice logic. Zbl 1404.03018Kamide, Norihiro; Shramko, Yaroslav 9 2017 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 9 2017 Self-extensional three-valued paraconsistent logics. Zbl 1420.03042Avron, Arnon 7 2017 Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032Petrukhin, Yaroslav I. 7 2017 The pursuit of an implication for the logics L3A and L3B. Zbl 1420.03043Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio 5 2017 Sequent systems for negative modalities. Zbl 1420.03044Lahav, Ori; Marcos, João; Zohar, Yoni 2 2017 Locally tabular \(\neq \) locally finite. Zbl 1420.03023Marcelino, Sérgio; Rivieccio, Umberto 2 2017 Logic and religion. Zbl 1364.03007Beziau, Jean-Yves; Silvestre, Ricardo 2 2017 Monotonic and non-monotonic embeddings of Anselm’s proof. Zbl 1365.01005Archambault, Jacob 2 2017 A note on two’s company: “The humbug of many logical values”. Zbl 1386.03023Skurt, Daniel 1 2017 An alternative definition of quantifiers on four-valued Łukasiewicz algebras. Zbl 1414.03014González, Luciano J.; Lattanzi, M. B.; Petrovich, A. G. 1 2017 The semiotics of spider diagrams. Zbl 1417.03048Burton, Jim; Howse, John 1 2017 Translating non-classical logics into classical logic by using hidden variables. Zbl 1420.03020Agudelo-Agudelo, Juan C. 1 2017 Is ‘no’ a force-indicator? Yes, sooner or later! Zbl 1417.03098Schang, Fabien; Trafford, James 1 2017 Thinking negation in early Hinduism and classical Indian philosophy. Zbl 1417.03045Bilimoria, Purushottama 1 2017 From logic in Islam to Islamic logic. Zbl 1378.01003Akrami, Musa 1 2017 Leibniz’s ontological proof of the existence of God and the problem of “impossible objects“. Zbl 1375.01014Lenzen, Wolfgang 1 2017 A logical analysis of the Anselm’s Unum argumentum (from Proslogion). Zbl 1420.03051Desclés, Jean-Pierre 1 2017 Metalogical decorations of logical diagrams. Zbl 1384.03023Demey, Lorenz; Smessaert, Hans 17 2016 Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061Murinová, Petra; Novák, Vilém 8 2016 Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016Beziau, Jean-Yves 5 2016 Singular propositions, negation and the square of opposition. Zbl 1403.03052Choudhury, Lopamudra; Chakraborty, Mihir Kumar 5 2016 Logical squares for classical logic sentences. Zbl 1396.03007Wybraniec-Skardowska, Urszula 5 2016 A non-standard analysis of a cultural icon: the case of Paul Halmos. Zbl 1365.01032Błaszczyk, Piotr; Borovik, Alexandre; Kanovei, Vladimir; Katz, Mikhail G.; Kudryk, Taras; Kutateladze, Semen S.; Sherry, David 4 2016 The Vatican square. Zbl 1403.00027Beziau, Jean-Yves; Giovagnoli, Raffaela 4 2016 Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007Lachance, Geneviève 4 2016 Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037Lenzen, Wolfgang 4 2016 N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078Maximov, D. Y. 3 2016 A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert’s \(\varepsilon\)-terms. Zbl 1436.03093Pasquali, Fabio 3 2016 Widersinn in Husserl’s pure logic. Zbl 1361.03007Isaac, Manuel Gustavo 3 2016 The future of logic: foundation-independence. Zbl 1436.03179Rabe, Florian 2 2016 Canonical syllogistic moods in traditional Aristotelian logic. Zbl 1361.03032Alvarez-Fontecilla, Enrique 2 2016 Generalization and composition of modal squares of oppositions. Zbl 1370.03026Pizzi, Claudio 2 2016 Structuring co-constructive logic for proofs and refutations. Zbl 1394.03071Trafford, James 1 2016 Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition. Zbl 1384.03041Jacquette, Dale 1 2016 A square of oppositions in intuitionistic logic with strong negation. Zbl 1403.03014Lepage, François 1 2016 Violence hexagon. Moral philosophy through drawing. Zbl 1384.03087Magnani, Lorenzo 1 2016 ...and 119 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 590 Authors 20 Prade, Henri M. 18 Béziau, Jean-Yves 14 Petrukhin, Yaroslav Igorevich 12 Demey, Lorenz 11 Benzmüller, Christoph Ewald 10 Batens, Diderik 10 Richard, Gilles 10 Verdée, Peter 9 Dubois, Didier 9 Maietti, Maria Emilia 9 Murinová, Petra 9 Robles, Gemma 9 Strasser, Christian 8 Novák, Vilém 8 Smessaert, Hans 7 Beirlaen, Mathieu 7 Caramello, Olivia 7 Pasquali, Fabio 6 Avron, Arnon 6 Bimbó, Katalin 6 Caleiro, Carlos 6 Coniglio, Marcelo Esteban 6 Emmenegger, Jacopo 6 Kamide, Norihiro 6 Katz, Mikhail G. 6 Marcelino, Sérgio 6 Maschio, Samuele 6 Negri, Sara 6 Rosolini, Giuseppe 5 Arieli, Ofer 5 Bonzio, Stefano 5 Diaconescu, Răzvan 5 Fuenmayor, David 5 Kanovei, Vladimir G. 5 Madeira, Alexandre 5 Schang, Fabien 5 Shangin, Vasily 5 Yeshkeyev, Aibat Rafhatovich 4 Badia, Guillermo 4 Bhattacharjee, Reetu 4 Carnielli, Walter Alexandre 4 Chakraborty, Mihir Kumar 4 Desclés, Jean-Pierre 4 Dunn, Jon Michael 4 Francez, Nissim 4 Gaĭnă, Daniel 4 Humberstone, Lloyd 4 Katz, Karin Usadi 4 Kutz, Oliver 4 Marcos, João 4 Martins, Manuel António 4 Moktefi, Amirouche 4 Moretti, Alessio 4 Mossakowski, Till 4 Sherry, David M. 4 Trotta, Davide 4 Woltzenlogel Paleo, Bruno 4 Wybraniec-Skardowska, Urszula B. 3 Anellis, Irving H. 3 Arenhart, Jonas Rafael Becker 3 Błaszczyk, Piotr 3 Chatti, Saloua 3 Choudhury, Lopamudra 3 Ciucci, Davide 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 Isaac, Manuel Gustavo 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 Olkhovikov, Grigory K. 3 Palmgren, Erik 3 Paoli, Francesco 3 Pascu, Anca Christine 3 Peterson, Clayton 3 Read, Stephen 3 Rico, Agnés 3 Rybakov, Vladimir Vladimirovich 3 Ulbrikht, Olga Ivanovna 3 Van De Putte, Frederik 3 van der Waart van Gulik, Stephan 3 Wansing, Heinrich Theodor 3 Zamansky, Anna 2 Allo, Patrick 2 Alvarez-Fontecilla, Enrique 2 Autexier, Serge 2 Barbosa, Luís Soares 2 Barbot, Nelly 2 Bascelli, Tiziana 2 Boffa, Stefania 2 Borja Macías, Verónica 2 Botoeva, Elena ...and 490 more Authors all top 5 Cited in 72 Journals 98 Logica Universalis 46 Studia Logica 25 Journal of Philosophical Logic 18 International Journal of Approximate Reasoning 17 Synthese 17 Journal of Applied Non-Classical Logics 16 Logic and Logical Philosophy 15 The Review of Symbolic Logic 13 History and Philosophy of Logic 10 Artificial Intelligence 10 Journal of Logic, Language and Information 9 Annals of Mathematics and Artificial Intelligence 8 Fuzzy Sets and Systems 8 Archive for Mathematical Logic 8 Journal of Applied Logic 7 Annals of Pure and Applied Logic 6 Journal of Automated Reasoning 6 Mathematical Logic Quarterly (MLQ) 6 Foundations of Science 5 Journal of Pure and Applied Algebra 5 The Journal of Symbolic Logic 5 Applied Categorical Structures 5 The Bulletin of Symbolic Logic 5 Topoi 5 Logicheskie Issledovaniya 4 Algebra Universalis 4 Theoretical Computer Science 4 Bulletin of the Section of Logic 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 Journal of Algebra 2 Formal Aspects of Computing 2 AI Communications 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 Ukrainian Mathematical Journal 1 Journal of Geometry and Physics 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 Algebra and Logic 1 Geometriae Dedicata 1 Kybernetika 1 Mathematics and Computers in Simulation 1 Mathematische Zeitschrift 1 Bulletin of the Iranian Mathematical Society 1 Russian Journal of Mathematical Physics 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 501 Mathematical logic and foundations (03-XX) 131 Computer science (68-XX) 60 History and biography (01-XX) 43 Category theory; homological algebra (18-XX) 25 Order, lattices, ordered algebraic structures (06-XX) 24 General and overarching topics; collections (00-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Quantum theory (81-XX) 5 General algebraic systems (08-XX) 5 Real functions (26-XX) 5 Convex and discrete geometry (52-XX) 5 General topology (54-XX) 5 Statistics (62-XX) 4 Commutative algebra (13-XX) 4 Geometry (51-XX) 3 Combinatorics (05-XX) 3 Group theory and generalizations (20-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