Logica Universalis Short Title: Log. Univers. Publisher: Springer (Birkhäuser), Basel ISSN: 1661-8297; 1661-8300/e Online: http://link.springer.com/journal/volumesAndIssues/11787 Comments: Indexed cover-to-cover Documents Indexed: 311 Publications (since 2007) References Indexed: 265 Publications with 9,302 References. all top 5 Latest Issues 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 5 Anellis, Irving H. 5 Francez, Nissim 5 Gabbay, Dov M. 4 Avron, Arnon 4 Chakraborty, Mihir Kumar 4 Coniglio, Marcelo Esteban 4 Dunn, Jon Michael 4 Hintikka, Jaakko 4 Lenzen, Wolfgang 4 Petrukhin, Yaroslav Igorevich 4 Pizzi, Claudio Ercole Antonio 3 Arenhart, Jonas Rafael Becker 3 Bimbó, Katalin 3 Caleiro, Carlos 3 Choudhury, Lopamudra 3 Citkin, Alex 3 Diaconescu, Răzvan 3 Kamide, Norihiro 3 Kaminsky, Michael 3 Lewitzka, Steffen 3 Mossakowski, Till 3 Muravitsky, Alexei Yu. 3 Prade, Henri M. 3 Rasga, João 3 Sernadas, Cristina S. 3 Smessaert, Hans 2 Ackerman, Nathanael Leedom 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 Chatti, Saloua 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 Kudryk, Taras S. 2 Lemanski, Jens 2 Moretti, Alessio 2 Murinová, Petra 2 Pasquali, Fabio 2 Perini-Santos, Ernesto 2 Perkov, Tin 2 Peron, Newton M. 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 Schumann, Andrew 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 2 Yang, Eunsuk 1 Abeles, Francine F. 1 Agudelo-Agudelo, Juan C. 1 Ahsan, Abbas 1 Aiguier, Marc 1 Akrami, Musa 1 Alonso-Stenberg, Kristian 1 Alvarez-Fontecilla, Enrique 1 Angelelli, Ignacio 1 Arndt, Peter F. 1 Arrazola Ramírez, José Ramón Enrique 1 Azizi-Sultan, Ahmad-Saher 1 Badici, Emil 1 Baltazar, Pedro 1 Barušs, Imants 1 Bashmakov, Stepan Igorevich 1 Batens, Diderik 1 Bazhanov, Valentin A. 1 Beirlaen, Mathieu 1 Belkasmi, Mohammed 1 Ben-Naim, Jonathan 1 Bernhard, Peter 1 Bilimoria, Purushottama 1 Bjørdal, Frode Alfson ...and 208 more Authors all top 5 Fields 299 Mathematical logic and foundations (03-XX) 64 History and biography (01-XX) 26 General and overarching topics; collections (00-XX) 23 Computer science (68-XX) 15 Category theory; homological algebra (18-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 4 Quantum theory (81-XX) 3 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Real functions (26-XX) 2 Geometry (51-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 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 179 Publications have been cited 680 times in 440 Documents Cited by ▼ Year ▼ A universal logic approach to adaptive logics. Zbl 1116.03019Batens, Diderik 38 2007 From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Zbl 1272.03015Dubois, Didier; Prade, Henri 29 2012 The power of the hexagon. Zbl 1272.03008Béziau, Jean-Yves 25 2012 Things that are right with the traditional square of opposition. Zbl 1140.03301Parsons, Terence 24 2008 “Setting” \(n\)-opposition. Zbl 1156.03021Pellissier, Régis 23 2008 Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049Maietti, Maria Emilia; Rosolini, Giuseppe 19 2013 From analogical proportion to logical proportions. Zbl 1323.03011Prade, Henri; Richard, Gilles 16 2013 On the 3D visualisation of logical relations. Zbl 1255.03032Smessaert, Hans 16 2009 Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Zbl 1118.03049Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata 14 2007 What is a logic translation? Zbl 1255.03023Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 14 2009 The geometry of standard deontic logic. Zbl 1255.03031Moretti, Alessio 12 2009 Logical extensions of Aristotle’s square. Zbl 1138.03314Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher 12 2008 Quantified multimodal logics in simple type theory. Zbl 1334.03014Benzmüller, Christoph; Paulson, Lawrence C. 11 2013 Proofs and countermodels in non-classical logics. Zbl 1339.03046Negri, Sara 10 2014 Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073Caramello, Olivia 10 2014 Generalized definitional reflection and the inversion principle. Zbl 1138.03044Schroeder-Heister, Peter 10 2007 Logic and colour. Zbl 1272.03029Jaspers, Dany 9 2012 New dimensions on translations between logics. Zbl 1255.03029Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L. 9 2009 The classical Aristotelian hexagon versus the modern duality hexagon. Zbl 1280.03009Smessaert, Hans 8 2012 There is no paradox of logical validity. Zbl 1330.03030Cook, Roy T. 8 2014 Modal multilattice logic. Zbl 1404.03018Kamide, Norihiro; Shramko, Yaroslav 7 2017 Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032Petrukhin, Yaroslav I. 7 2017 A new modal Lindström theorem. Zbl 1118.03012van Benthem, Johan 7 2007 Metalogical decorations of logical diagrams. Zbl 1384.03023Demey, Lorenz; Smessaert, Hans 7 2016 Abelian logic and the logics of pointed lattice-ordered varieties. Zbl 1162.03036Paoli, Francesco; Spinks, Matthew; Veroff, Robert 7 2008 Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153Kutz, Oliver; Mossakowski, Till; Lücke, Dominik 7 2010 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 7 2017 Generalized correspondence analysis for three-valued logics. Zbl 1435.03047Petrukhin, Yaroslav 7 2018 Why the logical hexagon? Zbl 1272.03036Moretti, Alessio 6 2012 On pairs of dual consequence operations. Zbl 1264.03038Wybraniec-Skardowska, Urszula; Waldmajer, Jacek 6 2011 Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061Murinová, Petra; Novák, Vilém 6 2016 A refutation theory. Zbl 1255.03024Skura, Tomasz 6 2009 Positive Jonsson theories. Zbl 1456.03060Poizat, Bruno; Yeshkeyev, Aibat 6 2018 Self-extensional three-valued paraconsistent logics. Zbl 1420.03042Avron, Arnon 5 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 Liberating paraconsistency from contradiction. Zbl 1373.03039Becker Arenhart, Jonas R. 5 2015 A general Lindström theorem for some normal modal logics. Zbl 1345.03035Enqvist, Sebastian 5 2013 On preserving. Zbl 1131.03010Payette, Gillman; Schotch, Peter K. 5 2007 Birkhoff completeness in institutions. Zbl 1179.03069Codescu, Mihai; Găină, Daniel 5 2008 Probabilistic argumentation: an equational approach. Zbl 1337.68241Gabbay, D. M.; Rodrigues, O. 4 2015 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 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 Dualities for Płonka sums. Zbl 06992796Bonzio, Stefano 4 2018 Visualizations of the square of opposition. Zbl 1138.03320Bernhard, Peter 4 2008 Equilibrium states in numerical argumentation networks. Zbl 1346.68185Gabbay, D. M.; Rodrigues, O. 3 2015 A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026Méndez, José M.; Robles, Gemma 3 2015 A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic. Zbl 1280.03021Guitart, René 3 2012 Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007Gabbay, Dov M. 3 2011 In defense of logical universalism: taking issue with Jean van Heijenoort. Zbl 1405.03018de Rouilhan, Philippe 3 2012 A Buchholz rule for modal fixed point logics. Zbl 1278.03044Jäger, Gerhard; Studer, Thomas 3 2011 Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics. Zbl 1261.00004Grattan-Guinness, I. 3 2011 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 Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045Francez, Nissim 3 2014 Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023Zygmunt, Jan; Purdy, Robert 3 2014 Dugundji’s theorem revisited. Zbl 1330.03042Coniglio, Marcelo E.; Peron, Newton M. 3 2014 Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006Lewitzka, Steffen 3 2007 Recovering a logic from its fragments by meta-fibring. Zbl 1131.03005Coniglio, Marcelo Esteban 3 2007 The Vatican square. Zbl 1403.00027Beziau, Jean-Yves; Giovagnoli, Raffaela 3 2016 Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007Lachance, Geneviève 3 2016 Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037Lenzen, Wolfgang 3 2016 Singular propositions, negation and the square of opposition. Zbl 1403.03052Choudhury, Lopamudra; Chakraborty, Mihir Kumar 3 2016 Logical squares for classical logic sentences. Zbl 1396.03007Wybraniec-Skardowska, Urszula 3 2016 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 Natural deduction for Post’s logics and their duals. Zbl 1456.03047Petrukhin, Yaroslav 3 2018 Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130Klonowski, Mateusz 3 2021 Locally tabular \(\neq \) locally finite. Zbl 1420.03023Marcelino, Sérgio; Rivieccio, Umberto 2 2017 Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021Brumberg-Chaumont, Julie 2 2015 The universal theory of first order algebras and various reducts. Zbl 1380.03077Valby, Lawrence 2 2015 How to take advantage of the blur between the finite and the infinite. Zbl 1262.00004Cartier, Pierre 2 2012 On refutation rules. Zbl 1264.03037Skura, Tomasz 2 2011 Historical development of modern logic. Zbl 1268.03006van Heijenoort, Jean 2 2012 Which mathematical logic is the logic of mathematics? Zbl 1272.03024Hintikka, Jaakko 2 2012 Herbrand’s fundamental theorem in the eyes of Jean van Heijenoort. Zbl 1267.03054Wirth, Claus-Peter 2 2012 Toward a visual proof system: Lewis Carroll’s method of trees. Zbl 1267.01028Abeles, Francine F. 2 2012 Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament. Zbl 1272.03031Korhonen, Anssi 2 2012 Logic of determination of objects (LDO): how to articulate “extension” with “intension” and “objects” with “concepts”. Zbl 1272.03075Desclés, Jean-Pierre; Pascu, Anca 2 2011 Negation and paraconsistent logics. Zbl 1272.03117Dutta, Soma; Chakraborty, Mihir K. 2 2011 Jean van Heijenoort and the Gödel editorial project. Zbl 1260.03001Dawson, John W. jun. 2 2012 From fibring to cryptofibring. A solution to the collapsing problem. Zbl 1116.03009Caleiro, Carlos; Ramos, Jaime 2 2007 Structuralist logic: implications, inferences, and consequences. Zbl 1116.03010Koslow, Arnold 2 2007 Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A. 2 2015 N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078Maximov, D. Y. 2 2016 Probabilization of logics: completeness and decidability. Zbl 1323.03033Baltazar, Pedro 2 2013 The classical constraint on relevance. Zbl 1344.03027Avron, Arnon 2 2014 Towards a more general concept of inference. Zbl 1339.03047Pezlar, Ivo 2 2014 Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. Zbl 1344.03028Bimbó, Katalin; Dunn, J. Michael 2 2014 Toward a clarity of the extreme value theorem. Zbl 1466.26022Katz, Karin U.; Katz, Mikhail G.; Kudryk, Taras 2 2014 The scope of Gödel’s first incompleteness theorem. Zbl 1339.03004Buldt, Bernd 2 2014 Functorial duality for ortholattices and De Morgan lattices. Zbl 1132.03034Bimbó, Katalin 2 2007 Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141Kamide, Norihiro 2 2019 Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016Beziau, Jean-Yves 2 2016 Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458Dubois, Didier; Prade, Henri; Rico, Agnès 2 2020 Russell and his sources for non-classical logics. Zbl 1255.03001Anellis, Irving H. 2 2009 The place of logic in reasoning. Zbl 1255.03018Kayser, Daniel 2 2010 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 Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130Klonowski, Mateusz 3 2021 Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458Dubois, Didier; Prade, Henri; Rico, Agnès 2 2020 Bases for structures and theories. I. Zbl 07245832Ketland, Jeffrey 1 2020 Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141Kamide, Norihiro 2 2019 A bunch of diagrammatic methods for syllogistic. Zbl 07061140Sautter, Frank Thomas 1 2019 Duality results for (co)residuated lattices. Zbl 07061143Hartonas, Chrysafis 1 2019 Logical consequence in Avicenna’s theory. Zbl 1412.03005Chatti, Saloua 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 To Peirce Hintikka’s thoughts. Zbl 1472.03010Pietarinen, Ahti-Veikko 1 2019 Labelled tableau systems for some subintuitionistic logics. Zbl 1472.03017Ma, Minghui 1 2019 Generalized correspondence analysis for three-valued logics. Zbl 1435.03047Petrukhin, Yaroslav 7 2018 Positive Jonsson theories. Zbl 1456.03060Poizat, Bruno; Yeshkeyev, Aibat 6 2018 Dualities for Płonka sums. Zbl 06992796Bonzio, Stefano 4 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 Universal logic: evolution of a project. Zbl 1396.03002Beziau, Jean-Yves 2 2018 Is the principle of contradiction a consequence of \(x^2=x\)? Zbl 1408.03003Beziau, Jean-Yves 2 2018 Venn diagram with names of individuals and their absence: a non-classical diagram logic. Zbl 1456.03056Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra 2 2018 Abstract logical constants. Zbl 06992797Perkov, Tin 1 2018 Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 06992800Hartonas, Chrysafis 1 2018 Aristotle’s prototype rule-based underlying logic. Zbl 1397.01005Corcoran, John 1 2018 Two early Arabic applications of model-theoretic consequence. Zbl 1395.01011Hodges, Wilfrid 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 7 2017 Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032Petrukhin, Yaroslav I. 7 2017 Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno 7 2017 Self-extensional three-valued paraconsistent logics. Zbl 1420.03042Avron, Arnon 5 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 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 Sequent systems for negative modalities. Zbl 1420.03044Lahav, Ori; Marcos, João; Zohar, Yoni 1 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 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 7 2016 Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061Murinová, Petra; Novák, Vilém 6 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 3 2016 Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007Lachance, Geneviève 3 2016 Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037Lenzen, Wolfgang 3 2016 Singular propositions, negation and the square of opposition. Zbl 1403.03052Choudhury, Lopamudra; Chakraborty, Mihir Kumar 3 2016 Logical squares for classical logic sentences. Zbl 1396.03007Wybraniec-Skardowska, Urszula 3 2016 N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078Maximov, D. Y. 2 2016 Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016Beziau, Jean-Yves 2 2016 A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert’s \(\varepsilon\)-terms. Zbl 1436.03093Pasquali, Fabio 2 2016 Widersinn in Husserl’s pure logic. Zbl 1361.03007Isaac, Manuel Gustavo 2 2016 The future of logic: foundation-independence. Zbl 1436.03179Rabe, Florian 1 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 Generalization and composition of modal squares of oppositions. Zbl 1370.03026Pizzi, Claudio 1 2016 A square of oppositions in intuitionistic logic with strong negation. Zbl 1403.03014Lepage, François 1 2016 Cubes and hypercubes of opposition, with ethical ruminations on inviolability. Zbl 1350.03017Bjørdal, Frode 1 2016 The Klein group, squares of opposition and the explanation of fallacies in reasoning. Zbl 1403.03012Robert, Serge; Brisson, Janie 1 2016 Canonical syllogistic moods in traditional Aristotelian logic. Zbl 1361.03032Alvarez-Fontecilla, Enrique 1 2016 Liberating paraconsistency from contradiction. Zbl 1373.03039Becker Arenhart, Jonas R. 5 2015 Probabilistic argumentation: an equational approach. Zbl 1337.68241Gabbay, D. M.; Rodrigues, O. 4 2015 Equilibrium states in numerical argumentation networks. Zbl 1346.68185Gabbay, D. M.; Rodrigues, O. 3 2015 A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026Méndez, José M.; Robles, Gemma 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 Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021Brumberg-Chaumont, Julie 2 2015 The universal theory of first order algebras and various reducts. Zbl 1380.03077Valby, Lawrence 2 2015 Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A. 2 2015 Paradox, closure and indirect speech reports. Zbl 1318.03017Read, Stephen 1 2015 Characteristic inference rules. Zbl 1377.03053Citkin, Alex 1 2015 First-order logic and first-order functions. Zbl 1373.03010Freire, Rodrigo A. 1 2015 Proofs and countermodels in non-classical logics. Zbl 1339.03046Negri, Sara 10 2014 Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073Caramello, Olivia 10 2014 There is no paradox of logical validity. Zbl 1330.03030Cook, Roy T. 8 2014 Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045Francez, Nissim 3 2014 Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023Zygmunt, Jan; Purdy, Robert 3 2014 Dugundji’s theorem revisited. Zbl 1330.03042Coniglio, Marcelo E.; Peron, Newton M. 3 2014 The classical constraint on relevance. Zbl 1344.03027Avron, Arnon 2 2014 Towards a more general concept of inference. Zbl 1339.03047Pezlar, Ivo 2 2014 Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. Zbl 1344.03028Bimbó, Katalin; Dunn, J. Michael 2 2014 Toward a clarity of the extreme value theorem. Zbl 1466.26022Katz, Karin U.; Katz, Mikhail G.; Kudryk, Taras 2 2014 The scope of Gödel’s first incompleteness theorem. Zbl 1339.03004Buldt, Bernd 2 2014 Universal properties of Łukasiewicz consequence. Zbl 1344.03029Mundici, Daniele 1 2014 Beyond Rasiowan systems: unital deductive systems. Zbl 1345.03018Muravitsky, Alexei Y. 1 2014 Hypothetical logic of proofs. Zbl 1335.03020Bonelli, Eduardo; Steren, Gabriela 1 2014 On non-deterministic quantification. Zbl 1342.03023Ferguson, Thomas Macaulay 1 2014 Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049Maietti, Maria Emilia; Rosolini, Giuseppe 19 2013 From analogical proportion to logical proportions. Zbl 1323.03011Prade, Henri; Richard, Gilles 16 2013 Quantified multimodal logics in simple type theory. Zbl 1334.03014Benzmüller, Christoph; Paulson, Lawrence C. 11 2013 A general Lindström theorem for some normal modal logics. Zbl 1345.03035Enqvist, Sebastian 5 2013 ...and 79 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 469 Authors 17 Prade, Henri M. 15 Béziau, Jean-Yves 13 Petrukhin, Yaroslav Igorevich 10 Benzmüller, Christoph Ewald 10 Verdée, Peter 9 Richard, Gilles 9 Strasser, Christian 7 Batens, Diderik 7 Beirlaen, Mathieu 7 Demey, Lorenz 7 Dubois, Didier 7 Maietti, Maria Emilia 7 Smessaert, Hans 6 Katz, Mikhail G. 6 Murinová, Petra 6 Robles, Gemma 5 Arieli, Ofer 5 Bimbó, Katalin 5 Caleiro, Carlos 5 Caramello, Olivia 5 Emmenegger, Jacopo 5 Kanovei, Vladimir G. 5 Madeira, Alexandre 5 Novák, Vilém 5 Pasquali, Fabio 5 Rosolini, Giuseppe 5 Shangin, Vasily 4 Avron, Arnon 4 Bonzio, Stefano 4 Chakraborty, Mihir Kumar 4 Coniglio, Marcelo Esteban 4 Diaconescu, Răzvan 4 Humberstone, Lloyd 4 Kamide, Norihiro 4 Katz, Karin Usadi 4 Martins, Manuel António 4 Maschio, Samuele 4 Negri, Sara 4 Sherry, David M. 4 Wybraniec-Skardowska, Urszula 3 Błaszczyk, Piotr 3 Choudhury, Lopamudra 3 Dunn, Jon Michael 3 Gaĭnă, Daniel 3 Grattan-Guinness, Ivor 3 Grigor’ev, Oleg 3 Kutateladze, Semën Samsonovich 3 Kutz, Oliver 3 Leszczyńska-Jasion, Dorota 3 Lewitzka, Steffen 3 Marcelino, Sérgio 3 Meheus, Joke 3 Moretti, Alessio 3 Mossakowski, Till 3 Paoli, Francesco 3 Peterson, Clayton 3 Read, Stephen 3 Rybakov, Vladimir Vladimirovich 3 Schang, Fabien 3 Van De Putte, Frederik 3 van der Waart van Gulik, Stephan 3 Wansing, Heinrich Theodor 3 Woltzenlogel Paleo, Bruno 3 Zamansky, Anna 2 Allo, Patrick 2 Alvarez-Fontecilla, Enrique 2 Anellis, Irving H. 2 Arenhart, Jonas Rafael Becker 2 Autexier, Serge 2 Badia, Guillermo 2 Barbosa, Luís Soares 2 Bascelli, Tiziana 2 Bhattacharjee, Reetu 2 Borja Macías, Verónica 2 Botoeva, Elena 2 Bounhas, Myriam 2 Brunner, Andreas Bernhard Michael 2 Carnielli, Walter Alexandre 2 Carrara, Massimiliano 2 Ciabattoni, Agata 2 Ciucci, Davide 2 Desclés, Jean-Pierre 2 Doberkat, Ernst-Erich 2 D’Ottaviano, Itala M. Loffredo 2 Dyckhoff, Roy 2 Estrada-González, Luis 2 Ferguson, Thomas Macaulay 2 Francez, Nissim 2 Fuenmayor, David 2 Gabbay, Dov M. 2 Godo, Lluís 2 Gubeladze, Joseph 2 Guitart, René 2 Hazen, Allen P. 2 Hernández-Tello, Alejandro 2 Hung, Nguyen Duy 2 Isaac, Manuel Gustavo 2 Jarmużek, Tomasz 2 Klonowski, Mateusz 2 Kubiś, Wiesław ...and 369 more Authors all top 5 Cited in 64 Journals 88 Logica Universalis 39 Studia Logica 17 Journal of Philosophical Logic 16 Logic and Logical Philosophy 15 Journal of Applied Non-Classical Logics 13 Synthese 13 International Journal of Approximate Reasoning 13 The Review of Symbolic Logic 8 Artificial Intelligence 8 Fuzzy Sets and Systems 8 History and Philosophy of Logic 8 Journal of Logic, Language and Information 8 Annals of Mathematics and Artificial Intelligence 8 Journal of Applied Logic 7 Archive for Mathematical Logic 6 Foundations of Science 5 The Journal of Symbolic Logic 5 Journal of Automated Reasoning 5 The Bulletin of Symbolic Logic 5 Topoi 4 Journal of Pure and Applied Algebra 4 Bulletin of the Section of Logic 4 Applied Categorical Structures 3 Algebra Universalis 3 Notre Dame Journal of Formal Logic 3 Theoretical Computer Science 3 Annals of Pure and Applied Logic 3 Soft Computing 3 Logical Methods in Computer Science 2 Journal of Algebra 2 Formal Aspects of Computing 2 MSCS. Mathematical Structures in Computer Science 2 Historia Mathematica 2 Theory and Applications of Categories 2 Journal of Multiple-Valued Logic and Soft Computing 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Tbilisi Mathematical Journal 2 Axioms 2 Journal of Logical and Algebraic Methods in Programming 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 AI Communications 1 Matematychni Studiï 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 1 AIMS Mathematics all top 5 Cited in 29 Fields 374 Mathematical logic and foundations (03-XX) 101 Computer science (68-XX) 35 History and biography (01-XX) 32 Category theory; homological algebra (18-XX) 20 General and overarching topics; collections (00-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Real functions (26-XX) 5 Statistics (62-XX) 5 Quantum theory (81-XX) 4 Convex and discrete geometry (52-XX) 3 General algebraic systems (08-XX) 3 Commutative algebra (13-XX) 3 Group theory and generalizations (20-XX) 2 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Algebraic geometry (14-XX) 2 Topological groups, Lie groups (22-XX) 2 Geometry (51-XX) 2 General topology (54-XX) 2 Algebraic topology (55-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 \(K\)-theory (19-XX) 1 Functional analysis (46-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Citations by Year