×

zbMATH — the first resource for mathematics

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: 299 Publications (since 2007)
References Indexed: 253 Publications with 8,893 References.
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 Lenzen, Wolfgang
4 Petrukhin, Yaroslav Igorevich
4 Pizzi, Claudio E. A.
3 Arenhart, Jonas Rafael Becker
3 Bimbó, Katalin
3 Caleiro, Carlos
3 Choudhury, Lopamudra
3 Citkin, Alex
3 Diaconescu, Răzvan
3 Hintikka, Jaakko
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 Dubois, Didier
2 Dunn, Jon Michael
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 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
1 Abeles, Francine F.
1 Agudelo-Agudelo, Juan C.
1 Aiguier, Marc
1 Akrami, Musa
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 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
1 Błaszczyk, Piotr
1 Bonelli, Eduardo
1 Bonfiglioli, Stefania
1 Bonzio, Stefano
1 Borja Macías, Verónica
1 Borovik, Alexandre V.
1 Brisson, Janie
...and 193 more Authors

Publications by Year

Citations contained in zbMATH Open

174 Publications have been cited 620 times in 393 Documents Cited by Year
A universal logic approach to adaptive logics. Zbl 1116.03019
Batens, Diderik
38
2007
From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Zbl 1272.03015
Dubois, Didier; Prade, Henri
28
2012
The power of the hexagon. Zbl 1272.03008
Béziau, Jean-Yves
24
2012
Things that are right with the traditional square of opposition. Zbl 1140.03301
Parsons, Terence
23
2008
“Setting” \(n\)-opposition. Zbl 1156.03021
Pellissier, Régis
22
2008
On the 3D visualisation of logical relations. Zbl 1255.03032
Smessaert, Hans
16
2009
From analogical proportion to logical proportions. Zbl 1323.03011
Prade, Henri; Richard, Gilles
14
2013
Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049
Maietti, Maria Emilia; Rosolini, Giuseppe
14
2013
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
13
2009
Logical extensions of Aristotle’s square. Zbl 1138.03314
Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher
12
2008
The geometry of standard deontic logic. Zbl 1255.03031
Moretti, Alessio
12
2009
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Zbl 1118.03049
Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata
11
2007
Generalized definitional reflection and the inversion principle. Zbl 1138.03044
Schroeder-Heister, Peter
10
2007
Quantified multimodal logics in simple type theory. Zbl 1334.03014
Benzmüller, Christoph; Paulson, Lawrence C.
10
2013
Proofs and countermodels in non-classical logics. Zbl 1339.03046
Negri, Sara
9
2014
Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073
Caramello, Olivia
9
2014
Logic and colour. Zbl 1272.03029
Jaspers, Dany
9
2012
New dimensions on translations between logics. Zbl 1255.03029
Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L.
8
2009
Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032
Petrukhin, Yaroslav I.
7
2017
Abelian logic and the logics of pointed lattice-ordered varieties. Zbl 1162.03036
Paoli, Francesco; Spinks, Matthew; Veroff, Robert
7
2008
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik
7
2010
The classical Aristotelian hexagon versus the modern duality hexagon. Zbl 1280.03009
Smessaert, Hans
7
2012
Metalogical decorations of logical diagrams. Zbl 1384.03023
Demey, Lorenz; Smessaert, Hans
7
2016
There is no paradox of logical validity. Zbl 1330.03030
Cook, Roy T.
6
2014
Positive Jonsson theories. Zbl 1456.03060
Poizat, Bruno; Yeshkeyev, Aibat
6
2018
A refutation theory. Zbl 1255.03024
Skura, Tomasz
6
2009
Why the logical hexagon? Zbl 1272.03036
Moretti, Alessio
6
2012
On pairs of dual consequence operations. Zbl 1264.03038
Wybraniec-Skardowska, Urszula; Waldmajer, Jacek
6
2011
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
5
2017
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
5
2017
Liberating paraconsistency from contradiction. Zbl 1373.03039
Becker Arenhart, Jonas R.
5
2015
On preserving. Zbl 1131.03010
Payette, Gillman; Schotch, Peter K.
5
2007
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
5
2007
Birkhoff completeness in institutions. Zbl 1179.03069
Codescu, Mihai; Găină, Daniel
5
2008
Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061
Murinová, Petra; Novák, Vilém
5
2016
A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart. Zbl 1323.03022
Robles, Gemma
4
2013
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
Visualizations of the square of opposition. Zbl 1138.03320
Bernhard, Peter
4
2008
Dagger categories of tame relations. Zbl 1294.68107
Jacobs, Bart
4
2013
A general Lindström theorem for some normal modal logics. Zbl 1345.03035
Enqvist, Sebastian
4
2013
Generalized correspondence analysis for three-valued logics. Zbl 1435.03047
Petrukhin, Yaroslav
4
2018
Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045
Francez, Nissim
3
2014
Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023
Zygmunt, Jan; Purdy, Robert
3
2014
Self-extensional three-valued paraconsistent logics. Zbl 1420.03042
Avron, Arnon
3
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
3
2017
Natural deduction for Post’s logics and their duals. Zbl 1456.03047
Petrukhin, Yaroslav
3
2018
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026
Méndez, José M.; Robles, Gemma
3
2015
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
3
2007
Recovering a logic from its fragments by meta-fibring. Zbl 1131.03005
Coniglio, Marcelo Esteban
3
2007
Contrary-to-duty reasoning: a categorical approach. Zbl 1357.03056
Peterson, Clayton
3
2015
Probabilistic argumentation: an equational approach. Zbl 1337.68241
Gabbay, D. M.; Rodrigues, O.
3
2015
Distributive-lattice semantics of sequent calculi with structural rules. Zbl 1255.03034
Pynko, Alexej P.
3
2009
Minimally generated abstract logics. Zbl 1255.03022
Lewitzka, Steffen; Brunner, Andreas B. M.
3
2009
A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic. Zbl 1280.03021
Guitart, René
3
2012
In defense of logical universalism: taking issue with Jean van Heijenoort. Zbl 1405.03018
de Rouilhan, Philippe
3
2012
A Buchholz rule for modal fixed point logics. Zbl 1278.03044
Jäger, Gerhard; Studer, Thomas
3
2011
Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics. Zbl 1261.00004
Grattan-Guinness, I.
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
Dualities for Płonka sums. Zbl 06992796
Bonzio, Stefano
3
2018
The Vatican square. Zbl 1403.00027
Beziau, Jean-Yves; Giovagnoli, Raffaela
3
2016
Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007
Lachance, Geneviève
3
2016
Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037
Lenzen, Wolfgang
3
2016
Singular propositions, negation and the square of opposition. Zbl 1403.03052
Choudhury, Lopamudra; Chakraborty, Mihir Kumar
3
2016
Logical squares for classical logic sentences. Zbl 1396.03007
Wybraniec-Skardowska, Urszula
3
2016
Probabilization of logics: completeness and decidability. Zbl 1323.03033
Baltazar, Pedro
2
2013
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. Zbl 1344.03028
Bimbó, Katalin; Dunn, J. Michael
2
2014
Toward a clarity of the extreme value theorem. Zbl 1466.26022
Katz, Karin U.; Katz, Mikhail G.; Kudryk, Taras
2
2014
Dugundji’s theorem revisited. Zbl 1330.03042
Coniglio, Marcelo E.; Peron, Newton M.
2
2014
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 categorical interpretation of the intuitionistic, typed, first order logic with Hilbert’s \(\varepsilon\)-terms. Zbl 1436.03093
Pasquali, Fabio
2
2016
Widersinn in Husserl’s pure logic. Zbl 1361.03007
Isaac, Manuel Gustavo
2
2016
Locally tabular \(\neq \) locally finite. Zbl 1420.03023
Marcelino, Sérgio; Rivieccio, Umberto
2
2017
Universal logic: evolution of a project. Zbl 1396.03002
Beziau, Jean-Yves
2
2018
Is the principle of contradiction a consequence of \(x^2=x\)? Zbl 1408.03003
Beziau, Jean-Yves
2
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
2
2018
The universal theory of first order algebras and various reducts. Zbl 1380.03077
Valby, Lawrence
2
2015
N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078
Maximov, D. Y.
2
2016
Non-classical stems from classical: N. A. Vasiliev’s approach to logic and his reassessment of the square of opposition. Zbl 1138.03301
Bazhanov, Valentin A.
2
2008
Aristotle’s cubes and consequential implication. Zbl 1144.03017
Pizzi, Claudio
2
2008
From fibring to cryptofibring. A solution to the collapsing problem. Zbl 1116.03009
Caleiro, Carlos; Ramos, Jaime
2
2007
Structuralist logic: implications, inferences, and consequences. Zbl 1116.03010
Koslow, Arnold
2
2007
Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036
Odintsov, Sergei; Rybakov, Vladimir
2
2015
Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021
Brumberg-Chaumont, Julie
2
2015
Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A.
2
2015
Symmetric generalized Galois logics. Zbl 1255.03033
Bimbó, Katalin; Dunn, J. Michael
2
2009
Russell and his sources for non-classical logics. Zbl 1255.03001
Anellis, Irving H.
2
2009
The place of logic in reasoning. Zbl 1255.03018
Kayser, Daniel
2
2010
How to take advantage of the blur between the finite and the infinite. Zbl 1262.00004
Cartier, Pierre
2
2012
Jean van Heijenoort and the Gödel editorial project. Zbl 1260.03001
Dawson, John W. jun.
2
2012
Historical development of modern logic. Zbl 1268.03006
van Heijenoort, Jean
2
2012
Which mathematical logic is the logic of mathematics? Zbl 1272.03024
Hintikka, Jaakko
2
2012
Herbrand’s fundamental theorem in the eyes of Jean van Heijenoort. Zbl 1267.03054
Wirth, Claus-Peter
2
2012
Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament. Zbl 1272.03031
Korhonen, Anssi
2
2012
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
2
2011
Negation and paraconsistent logics. Zbl 1272.03117
Dutta, Soma; Chakraborty, Mihir K.
2
2011
On refutation rules. Zbl 1264.03037
Skura, Tomasz
2
2011
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Zbl 06992795
Varzinczak, Ivan
2
2018
Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016
Beziau, Jean-Yves
2
2016
The classical constraint on relevance. Zbl 1344.03027
Avron, Arnon
1
2014
Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458
Dubois, Didier; Prade, Henri; Rico, Agnès
1
2020
Bases for structures and theories. I. Zbl 07245832
Ketland, Jeffrey
1
2020
Super models. Zbl 07127902
Hintikka, Jaakko
1
2019
Perspectives on the logical study of language. Zbl 07127903
Hintikka, Jaakko
1
2019
On TAE machines and their computational power. Zbl 1434.68174
Syropoulos, Apostolos
1
2019
Hintikka, free Logician. Hintikka, free Logician, singular terms in World lines Semantics. Zbl 07127906
Fontaine, Matthieu
1
2019
Hintikka and the functions of logic. Zbl 07127907
Link, Montgomery
1
2019
Varieties of rigidity. Zbl 1450.03001
Tanninen, Tuukka
1
2019
To Peirce Hintikka’s thoughts. Zbl 07127909
Pietarinen, Ahti-Veikko
1
2019
Labelled tableau systems for some subintuitionistic logics. Zbl 07127911
Ma, Minghui
1
2019
Duality results for (co)residuated lattices. Zbl 07061143
Hartonas, Chrysafis
1
2019
Positive Jonsson theories. Zbl 1456.03060
Poizat, Bruno; Yeshkeyev, Aibat
6
2018
Generalized correspondence analysis for three-valued logics. Zbl 1435.03047
Petrukhin, Yaroslav
4
2018
Natural deduction for Post’s logics and their duals. Zbl 1456.03047
Petrukhin, Yaroslav
3
2018
Dualities for Płonka sums. Zbl 06992796
Bonzio, Stefano
3
2018
Universal logic: evolution of a project. Zbl 1396.03002
Beziau, Jean-Yves
2
2018
Is the principle of contradiction a consequence of \(x^2=x\)? Zbl 1408.03003
Beziau, Jean-Yves
2
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
2
2018
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Zbl 06992795
Varzinczak, Ivan
2
2018
Aristotle’s prototype rule-based underlying logic. Zbl 1397.01005
Corcoran, John
1
2018
Two early Arabic applications of model-theoretic consequence. Zbl 1395.01011
Hodges, Wilfrid
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 06992797
Perkov, Tin
1
2018
On the modal logic of Jeffrey conditionalization. Zbl 1461.03019
Gyenis, Zalán
1
2018
Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 06992800
Hartonas, Chrysafis
1
2018
Pecularities of some three- and four-valued second order logics. Zbl 1405.03060
Hazen, Allen P.; Pelletier, Francis Jeffry
1
2018
Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032
Petrukhin, Yaroslav I.
7
2017
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
5
2017
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
5
2017
Self-extensional three-valued paraconsistent logics. Zbl 1420.03042
Avron, Arnon
3
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
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
Translating non-classical logics into classical logic by using hidden variables. Zbl 1420.03020
Agudelo-Agudelo, Juan C.
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
Sequent systems for negative modalities. Zbl 1420.03044
Lahav, Ori; Marcos, João; Zohar, Yoni
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
7
2016
Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061
Murinová, Petra; Novák, Vilém
5
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
The Vatican square. Zbl 1403.00027
Beziau, Jean-Yves; Giovagnoli, Raffaela
3
2016
Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007
Lachance, Geneviève
3
2016
Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037
Lenzen, Wolfgang
3
2016
Singular propositions, negation and the square of opposition. Zbl 1403.03052
Choudhury, Lopamudra; Chakraborty, Mihir Kumar
3
2016
Logical squares for classical logic sentences. Zbl 1396.03007
Wybraniec-Skardowska, Urszula
3
2016
A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert’s \(\varepsilon\)-terms. Zbl 1436.03093
Pasquali, Fabio
2
2016
Widersinn in Husserl’s pure logic. Zbl 1361.03007
Isaac, Manuel Gustavo
2
2016
N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078
Maximov, D. Y.
2
2016
Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016
Beziau, Jean-Yves
2
2016
Canonical syllogistic moods in traditional Aristotelian logic. Zbl 1361.03032
Alvarez-Fontecilla, Enrique
1
2016
The future of logic: foundation-independence. Zbl 1436.03179
Rabe, Florian
1
2016
Structuring co-constructive logic for proofs and refutations. Zbl 1394.03071
Trafford, James
1
2016
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition. Zbl 1384.03041
Jacquette, Dale
1
2016
Generalization and composition of modal squares of oppositions. Zbl 1370.03026
Pizzi, Claudio
1
2016
A square of oppositions in intuitionistic logic with strong negation. Zbl 1403.03014
Lepage, François
1
2016
Cubes and hypercubes of opposition, with ethical ruminations on inviolability. Zbl 1350.03017
Bjørdal, Frode
1
2016
The Klein group, squares of opposition and the explanation of fallacies in reasoning. Zbl 1403.03012
Robert, Serge; Brisson, Janie
1
2016
Liberating paraconsistency from contradiction. Zbl 1373.03039
Becker Arenhart, Jonas R.
5
2015
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026
Méndez, José M.; Robles, Gemma
3
2015
Contrary-to-duty reasoning: a categorical approach. Zbl 1357.03056
Peterson, Clayton
3
2015
Probabilistic argumentation: an equational approach. Zbl 1337.68241
Gabbay, D. M.; Rodrigues, O.
3
2015
The universal theory of first order algebras and various reducts. Zbl 1380.03077
Valby, Lawrence
2
2015
Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036
Odintsov, Sergei; Rybakov, Vladimir
2
2015
Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021
Brumberg-Chaumont, Julie
2
2015
Weakening and extending \(\mathbb{Z}\). Zbl 1331.03026
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A.
2
2015
Equilibrium states in numerical argumentation networks. Zbl 1346.68185
Gabbay, D. M.; Rodrigues, O.
1
2015
Characteristic inference rules. Zbl 1377.03053
Citkin, Alex
1
2015
Paradox, closure and indirect speech reports. Zbl 1318.03017
Read, Stephen
1
2015
First-order logic and first-order functions. Zbl 1373.03010
Freire, Rodrigo A.
1
2015
Proofs and countermodels in non-classical logics. Zbl 1339.03046
Negri, Sara
9
2014
Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073
Caramello, Olivia
9
2014
There is no paradox of logical validity. Zbl 1330.03030
Cook, Roy T.
6
2014
Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045
Francez, Nissim
3
2014
Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023
Zygmunt, Jan; Purdy, Robert
3
2014
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. Zbl 1344.03028
Bimbó, Katalin; Dunn, J. Michael
2
2014
Toward a clarity of the extreme value theorem. Zbl 1466.26022
Katz, Karin U.; Katz, Mikhail G.; Kudryk, Taras
2
2014
Dugundji’s theorem revisited. Zbl 1330.03042
Coniglio, Marcelo E.; Peron, Newton M.
2
2014
The classical constraint on relevance. Zbl 1344.03027
Avron, Arnon
1
2014
Universal properties of Łukasiewicz consequence. Zbl 1344.03029
Mundici, Daniele
1
2014
Towards a more general concept of inference. Zbl 1339.03047
Pezlar, Ivo
1
2014
Beyond Rasiowan systems: unital deductive systems. Zbl 1345.03018
Muravitsky, Alexei Y.
1
2014
Hypothetical logic of proofs. Zbl 1335.03020
Bonelli, Eduardo; Steren, Gabriela
1
2014
On non-deterministic quantification. Zbl 1342.03023
Ferguson, Thomas Macaulay
1
2014
The scope of Gödel’s first incompleteness theorem. Zbl 1339.03004
Buldt, Bernd
1
2014
From analogical proportion to logical proportions. Zbl 1323.03011
Prade, Henri; Richard, Gilles
14
2013
Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049
Maietti, Maria Emilia; Rosolini, Giuseppe
14
2013
Quantified multimodal logics in simple type theory. Zbl 1334.03014
Benzmüller, Christoph; Paulson, Lawrence C.
10
2013
A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart. Zbl 1323.03022
Robles, Gemma
4
2013
Dagger categories of tame relations. Zbl 1294.68107
Jacobs, Bart
4
2013
A general Lindström theorem for some normal modal logics. Zbl 1345.03035
Enqvist, Sebastian
4
2013
Probabilization of logics: completeness and decidability. Zbl 1323.03033
Baltazar, Pedro
2
2013
A shared framework for consequence operations and abstract model theory. Zbl 1295.03024
Wallmann, Christian
1
2013
From single agent to multi-agent via hypersequents. Zbl 1345.03030
Poggiolesi, Francesca
1
2013
...and 74 more Documents
all top 5

Cited by 428 Authors

15 Béziau, Jean-Yves
15 Prade, Henri M.
11 Petrukhin, Yaroslav Igorevich
10 Verdée, Peter
9 Benzmüller, Christoph Ewald
9 Strasser, Christian
7 Batens, Diderik
7 Beirlaen, Mathieu
7 Demey, Lorenz
7 Dubois, Didier
7 Richard, Gilles
7 Smessaert, Hans
6 Katz, Mikhail G.
6 Maietti, Maria Emilia
5 Caramello, Olivia
5 Kanovei, Vladimir G.
5 Murinová, Petra
5 Robles, Gemma
5 Shangin, Vasily
4 Arieli, Ofer
4 Avron, Arnon
4 Caleiro, Carlos
4 Chakraborty, Mihir Kumar
4 Diaconescu, Răzvan
4 Humberstone, Lloyd
4 Katz, Karin Usadi
4 Madeira, Alexandre
4 Martins, Manuel António
4 Novák, Vilém
4 Pasquali, Fabio
4 Sherry, David M.
4 Wybraniec-Skardowska, Urszula
3 Bimbó, Katalin
3 Błaszczyk, Piotr
3 Bonzio, Stefano
3 Choudhury, Lopamudra
3 Emmenegger, Jacopo
3 Gaĭnă, Daniel
3 Grattan-Guinness, Ivor
3 Kutateladze, Semën Samsonovich
3 Kutz, Oliver
3 Leszczyńska-Jasion, Dorota
3 Lewitzka, Steffen
3 Meheus, Joke
3 Moretti, Alessio
3 Mossakowski, Till
3 Negri, Sara
3 Peterson, Clayton
3 Read, Stephen
3 Rosolini, Giuseppe
3 Schang, Fabien
3 Van De Putte, Frederik
3 van der Waart van Gulik, Stephan
3 Wansing, Heinrich Theodor
3 Woltzenlogel Paleo, Bruno
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 Botoeva, Elena
2 Bounhas, Myriam
2 Brunner, Andreas Bernhard Michael
2 Carnielli, Walter Alexandre
2 Carrara, Massimiliano
2 Ciabattoni, Agata
2 Ciucci, Davide
2 Coniglio, Marcelo Esteban
2 Desclés, Jean-Pierre
2 Doberkat, Ernst-Erich
2 D’Ottaviano, Itala M. Loffredo
2 Dunn, Jon Michael
2 Dyckhoff, Roy
2 Ferguson, Thomas Macaulay
2 Francez, Nissim
2 Fuenmayor, David
2 Gabbay, Dov M.
2 Grigor’ev, Oleg
2 Gubeladze, Joseph
2 Guitart, René
2 Isaac, Manuel Gustavo
2 Kamide, Norihiro
2 Lahav, Ori
2 Ledda, Antonio
2 Lemanski, Jens
2 Leuridan, Bert
2 Loeb, Iris
2 Lutz, Carsten
2 Marcelino, Sérgio
2 Marcos, João
2 Maschio, Samuele
2 Miclet, Laurent
2 Moriconi, Enrico
2 Odintsov, Sergei P.
2 Olkhovikov, Grigory K.
2 Omori, Hitoshi
...and 328 more Authors
all top 5

Cited in 60 Journals

87 Logica Universalis
37 Studia Logica
14 Journal of Philosophical Logic
13 Journal of Applied Non-Classical Logics
12 Synthese
12 The Review of Symbolic Logic
10 Logic and Logical Philosophy
9 International Journal of Approximate Reasoning
8 Fuzzy Sets and Systems
8 History and Philosophy of Logic
8 Annals of Mathematics and Artificial Intelligence
8 Journal of Applied Logic
7 Artificial Intelligence
6 Archive for Mathematical Logic
6 Journal of Logic, Language and Information
6 Foundations of Science
5 The Bulletin of Symbolic Logic
5 Topoi
4 Journal of Pure and Applied Algebra
4 The Journal of Symbolic Logic
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 Journal of Automated Reasoning
3 Soft Computing
2 Journal of Algebra
2 Annals of Pure and Applied Logic
2 Historia Mathematica
2 Journal of Multiple-Valued Logic and Soft Computing
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Logical Methods in Computer Science
2 Tbilisi Mathematical Journal
2 Axioms
2 Journal of Logical and Algebraic Methods in Programming
1 Information Processing Letters
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 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Theory and Applications of Categories
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

Citations by Year