×

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 265 more Authors

Publications by Year

Citations contained in zbMATH Open

227 Publications have been cited 1,005 times in 623 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
41
2012
From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Zbl 1272.03015
Dubois, Didier; Prade, Henri
41
2012
“Setting” \(n\)-opposition. Zbl 1156.03021
Pellissier, Régis
33
2008
On the 3D visualisation of logical relations. Zbl 1255.03032
Smessaert, Hans
26
2009
Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049
Maietti, Maria Emilia; Rosolini, Giuseppe
26
2013
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Zbl 1118.03049
Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata
22
2007
From analogical proportion to logical proportions. Zbl 1323.03011
Prade, Henri; Richard, Gilles
22
2013
The geometry of standard deontic logic. Zbl 1255.03031
Moretti, Alessio
18
2009
Metalogical decorations of logical diagrams. Zbl 1384.03023
Demey, Lorenz; Smessaert, Hans
17
2016
Quantified multimodal logics in simple type theory. Zbl 1334.03014
Benzmüller, Christoph; Paulson, Lawrence C.
17
2013
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
15
2009
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
Logical extensions of Aristotle’s square. Zbl 1138.03314
Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher
13
2008
Positive Jonsson theories. Zbl 1456.03060
Poizat, Bruno; Yeshkeyev, Aibat
13
2018
Logic and colour. Zbl 1272.03029
Jaspers, Dany
12
2012
New dimensions on translations between logics. Zbl 1255.03029
Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L.
11
2009
Generalized definitional reflection and the inversion principle. Zbl 1138.03044
Schroeder-Heister, Peter
11
2007
Why the logical hexagon? Zbl 1272.03036
Moretti, Alessio
10
2012
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
9
2017
Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061
Murinová, Petra; Novák, Vilém
9
2016
Generalized correspondence analysis for three-valued logics. Zbl 1435.03047
Petrukhin, Yaroslav
9
2018
There is no paradox of logical validity. Zbl 1330.03030
Cook, Roy T.
9
2014
The classical Aristotelian hexagon versus the modern duality hexagon. Zbl 1280.03009
Smessaert, Hans
9
2012
Abelian logic and the logics of pointed lattice-ordered varieties. Zbl 1162.03036
Paoli, Francesco; Spinks, Matthew; Veroff, Robert
9
2008
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
9
2017
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.
8
2015
Equilibrium states in numerical argumentation networks. Zbl 1346.68185
Gabbay, D. M.; Rodrigues, O.
8
2015
Self-extensional three-valued paraconsistent logics. Zbl 1420.03042
Avron, Arnon
7
2017
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
Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032
Petrukhin, Yaroslav I.
7
2017
A general Lindström theorem for some normal modal logics. Zbl 1345.03035
Enqvist, Sebastian
6
2013
Dualities for Płonka sums. Zbl 1523.08001
Bonzio, Stefano
6
2018
Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023
Zygmunt, Jan; Purdy, Robert
6
2014
On pairs of dual consequence operations. Zbl 1264.03038
Wybraniec-Skardowska, Urszula; Waldmajer, Jacek
6
2011
On preserving. Zbl 1131.03010
Payette, Gillman; Schotch, Peter K.
6
2007
Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458
Dubois, Didier; Prade, Henri; Rico, Agnès
6
2020
From fibring to cryptofibring. A solution to the collapsing problem. Zbl 1116.03009
Caleiro, Carlos; Ramos, Jaime
5
2007
Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016
Beziau, Jean-Yves
5
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
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
5
2011
Birkhoff completeness in institutions. Zbl 1179.03069
Codescu, Mihai; Găină, Daniel
5
2008
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
Calculi for many-valued logics. Zbl 07380929
Kaminski, Michael; Francez, Nissim
5
2021
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
Structuralist logic: implications, inferences, and consequences. Zbl 1116.03010
Koslow, Arnold
4
2007
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 Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart. Zbl 1323.03022
Robles, Gemma
4
2013
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 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
Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021
Brumberg-Chaumont, Julie
4
2015
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
Dagger categories of tame relations. Zbl 1294.68107
Jacobs, Bart
4
2013
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
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
A global glance on categories in logic. Zbl 1119.03071
Arndt, Peter; de Alvarenga Freire, Rodrigo; Luciano, Odilon Otavio; Mariano, Hugo Luiz
3
2007
N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078
Maximov, D. Y.
3
2016
Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 1522.03052
Hartonas, Chrysafis
3
2018
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
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
Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007
Gabbay, Dov M.
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
In defense of logical universalism: taking issue with Jean van Heijenoort. Zbl 1405.03018
de Rouilhan, Philippe
3
2012
Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics. Zbl 1261.00004
Grattan-Guinness, I.
3
2011
Negation and paraconsistent logics. Zbl 1272.03117
Dutta, Soma; Chakraborty, Mihir K.
3
2011
Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130
Klonowski, Mateusz
3
2021
Structuring the universe of universal logic. Zbl 1149.03013
Vasyukov, Vladimir L.
3
2007
Sequent systems for negative modalities. Zbl 1420.03044
Lahav, Ori; Marcos, João; Zohar, Yoni
3
2017
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141
Kamide, Norihiro
3
2019
Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A.
3
2015
The universal theory of first order algebras and various reducts. Zbl 1380.03077
Valby, Lawrence
3
2015
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
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
Natural deduction for Post’s logics and their duals. Zbl 1456.03047
Petrukhin, Yaroslav
3
2018
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
Logic and religion. Zbl 1364.03007
Beziau, Jean-Yves; Silvestre, Ricardo
2
2017
An unexpected Boolean connective. Zbl 07580912
Marcelino, Sérgio
1
2022
On the logical geometry of geometric angles. Zbl 07659705
Smessaert, Hans; Demey, Lorenz
1
2022
Maximum segments as natural deduction images of some cuts. Zbl 1515.03210
Borisavljević, Mirjana
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
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
Quantified temporal alethic boulesic doxastic logic. Zbl 1493.03003
Rönnedal, Daniel
1
2021
Correspondence analysis for some fragments of classical propositional logic. Zbl 1477.03021
Petrukhin, Yaroslav; Shangin, Vasilyi
1
2021
Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458
Dubois, Didier; Prade, Henri; Rico, Agnès
6
2020
Tree-like proof systems for finitely-many valued non-deterministic consequence relations. Zbl 1472.03023
Pawlowski, Pawel
2
2020
Encoding complete metric structures by classical structures. Zbl 1485.03141
Ackerman, Nathanael Leedom
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
The normal and self-extensional extension of Dunn-Belnap logic. Zbl 1472.03019
Avron, Arnon
2
2020
Graded structures of opposition in fuzzy natural logic. Zbl 1497.68461
Murinová, Petra
1
2020
Positive amalgamation. Zbl 1484.03074
Belkasmi, Mohammed
1
2020
On the historical transformations of the square of opposition as semiotic object. Zbl 1442.03002
Vandoulakis, Ioannis M.; Denisova, Tatiana Yu.
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
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
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141
Kamide, Norihiro
3
2019
Non-monotonic logic and the compatibility of science and religion. Zbl 1443.03004
Trepczyński, Marcin
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
To Peirce Hintikka’s thoughts. Zbl 1472.03010
Pietarinen, Ahti-Veikko
2
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
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
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
Positive Jonsson theories. Zbl 1456.03060
Poizat, Bruno; Yeshkeyev, Aibat
13
2018
Generalized correspondence analysis for three-valued logics. Zbl 1435.03047
Petrukhin, Yaroslav
9
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
Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 1522.03052
Hartonas, Chrysafis
3
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
Natural deduction for Post’s logics and their duals. Zbl 1456.03047
Petrukhin, Yaroslav
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
Is the principle of contradiction a consequence of \(x^2=x\)? Zbl 1408.03003
Beziau, Jean-Yves
2
2018
Abstract logical constants. Zbl 1522.03150
Perkov, Tin
1
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
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
9
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
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
Locally tabular \(\neq \) locally finite. Zbl 1420.03023
Marcelino, Sérgio; Rivieccio, Umberto
2
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
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
Metalogical decorations of logical diagrams. Zbl 1384.03023
Demey, Lorenz; Smessaert, Hans
17
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
5
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
N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078
Maximov, D. Y.
3
2016
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
The future of logic: foundation-independence. Zbl 1436.03179
Rabe, Florian
2
2016
Canonical syllogistic moods in traditional Aristotelian logic. Zbl 1361.03032
Alvarez-Fontecilla, Enrique
2
2016
...and 127 more Documents
all top 5

Cited by 620 Authors

23 Prade, Henri M.
18 Béziau, Jean-Yves
15 Petrukhin, Yaroslav Igorevich
14 Demey, Lorenz
12 Benzmüller, Christoph Ewald
12 Richard, Gilles
11 Verdée, Peter
10 Batens, Diderik
10 Robles, Gemma
9 Dubois, Didier
9 Maietti, Maria Emilia
9 Murinová, Petra
9 Smessaert, Hans
9 Strasser, Christian
8 Novák, Vilém
7 Beirlaen, Mathieu
7 Caleiro, Carlos
7 Caramello, Olivia
7 Marcelino, Sérgio
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 Méndez, José M.
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 Moktefi, Amirouche
5 Schang, Fabien
5 Shangin, Vasily
5 Yeshkeyev, Aibat Rafhatovich
4 Arenhart, Jonas Rafael Becker
4 Badia, Guillermo
4 Bhattacharjee, Reetu
4 Carnielli, Walter Alexandre
4 Chakraborty, Mihir Kumar
4 Ciucci, Davide
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 Moretti, Alessio
4 Mossakowski, Till
4 Sherry, David M.
4 Trotta, Davide
4 Woltzenlogel Paleo, Bruno
4 Wybraniec-Skardowska, Urszula B.
3 Anellis, Irving Henry
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 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 Paoli, Francesco
3 Pascu, Anca Christine
3 Payette, Gillman
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
...and 520 more Authors
all top 5

Cited in 72 Journals

99 Logica Universalis
46 Studia Logica
28 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
10 Artificial Intelligence
10 Journal of Logic, Language and Information
9 Annals of Mathematics and Artificial Intelligence
8 Annals of Pure and Applied Logic
8 Archive for Mathematical 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 Applied Categorical Structures
5 The Bulletin of Symbolic Logic
5 Topoi
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 Algebra and Logic
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 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 Bulletin of the Iranian Mathematical Society
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