×

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

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

Publications by Year

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 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

Citations by Year