×

Trends in Logic – Studia Logica Library

Short Title: Trends Log. Stud. Log. Libr.
Publisher: Springer, Cham
ISSN: 1572-6126; 2212-7313/e
Online: http://rd.springer.com/bookseries/6645
Comments: Book series
Documents Indexed: 56 Publications (since 1997)
all top 5

Authors / Editors

4 Malinowski, Jacek
4 Wansing, Heinrich Theodor
3 Paoli, Francesco
2 Czelakowski, Janusz
2 Dalla Chiara, Maria Luisa
2 Giuntini, Roberto
2 Klement, Erich Peter
2 Löwe, Benedikt
2 Mundici, Daniele
2 Piecha, Thomas
2 Räsch, Thoralf
2 Schroeder-Heister, Peter Joseph
1 Adamowicz, Zofia
1 Andreas, Holger
1 Baaz, Matthias
1 Baldi, Michele Pra
1 Bezhanishvili, Guram
1 Bigorajska, Teresa
1 Binder, David A.
1 Bonzio, Stefano
1 Carnielli, Walter Alexandre
1 Chakraborty, Mihir Kumar
1 Cignoli, Roberto
1 Cintula, Petr
1 Ciuni, Roberto
1 Coletti, Giulianella
1 de Paiva, Valeria
1 De Queiroz, Ruy José Guerra Barretto
1 Došen, Kosta
1 D’Ottaviano, Itala M. Loffredo
1 Ejerhed, Eva
1 Esakia, Leo
1 Fazio, Davide
1 Ferguson, Thomas Macaulay
1 Fitting, Melvin Chris
1 Gerla, Giangiacomo
1 Ghilardi, Silvio
1 Giordani, Alessandro
1 Golińska-Pilarek, Joanna
1 Greechie, Richard J.
1 Haeusler, Edward Hermann
1 Hájek, Petr
1 Hansson, Sven Ove
1 Hendricks, Vincent F.
1 Holliday, Wesley H.
1 Indrzejczak, Andrzej
1 Jäger, Gerhard
1 Kapsner, Andreas
1 Kotlarski, Henryk
1 Ledda, Antonio
1 Leitsch, Alexander
1 Leporini, Roberto
1 Lindström, Sten
1 Łukowski, Piotr
1 Makinson, David Clement
1 Malzkorn, Wolfgang
1 Marcja, Annalisa
1 Mesiar, Radko
1 Noguera, Carles
1 Odintsov, Sergei P.
1 Ohlbach, Hans Jürgen
1 Orłowska, Ewa S.
1 Pagliani, Piero
1 Pap, Endre
1 Pereira, Luiz Carlos P. D.
1 Pietruszczak, Andrzej
1 Piwinger, Boris
1 Poggiolesi, Francesca
1 Reyle, Uwe
1 Rodabaugh, Stephen Ernest
1 Schurz, Gerhard
1 Schuster, Peter Michael
1 Scozzafava, Romano
1 Seisenberger, Monika
1 Sergioli, Guiseppe
1 Shramko, Yaroslav V.
1 Stern, Johannes
1 Strasser, Christian
1 Tałasiewicz, Mieszko
1 Toffalori, Carlo
1 Urbaniak, Rafał
1 Verdée, Peter
1 Weiermann, Andreas
1 Willkommen, Caroline
1 Winter, Michael
1 Zawadowski, Marek W.
1 Zdanowski, Konrad

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 3,371 times in 2,874 Documents Cited by Year
Triangular norms. Zbl 0972.03002
Klement, Erich Peter; Mesiar, Radko; Pap, Endre
2000
Metamathematics of fuzzy logic. Zbl 0937.03030
Hájek, Petr
1998
Algebraic foundations of many-valued reasoning. Zbl 0937.06009
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele
413
2000
Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002
Mundici, Daniele
104
2011
Protoalgebraic logics. Zbl 0984.03002
Czelakowski, Janusz
96
2001
Reasoning in quantum theory. Sharp and unsharp quantum logics. Zbl 1059.81003
Dalla Chiara, M.; Giuntini, R.; Greechie, R.
96
2004
Constructive negations and paraconsistency. Zbl 1161.03014
Odintsov, Sergei P.
55
2008
Fuzzy logic. Mathematical tools for approximate reasoning. Zbl 0976.03026
Gerla, Giangiacomo
54
2001
Substructural logics: a primer. Zbl 1025.03002
Paoli, Francesco
44
2002
Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002
Shramko, Yaroslav; Wansing, Heinrich
37
2011
Gentzen calculi for modal propositional logic. Zbl 1232.03007
Poggiolesi, Francesca
32
2011
A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns. Zbl 1213.03002
Pagliani, Piero; Chakraborty, Mihir
30
2008
Natural deduction, hybrid systems and modal logics. Zbl 1236.03002
Indrzejczak, Andrzej
25
2010
Topological and algebraic structures in fuzzy sets. A handbook of recent developments in the mathematics of fuzzy sets. Zbl 1020.00006
23
2003
Displaying modal logic. Zbl 0955.03006
Wansing, Heinrich
22
1998
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics. Zbl 1036.03001
Ghilardi, Silvio; Zawadowski, Marek
22
2002
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
20
2002
Goguen categories. A categorical approach to \(L\)-fuzzy relations. Zbl 1261.03154
Winter, Michael
16
2007
Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning. Zbl 1350.03003
Straßer, Christian
14
2014
Cut elimination in categories. Zbl 0981.03068
Došen, Kosta
13
1999
Methods of cut-elimination. Zbl 1225.03075
Baaz, Matthias; Leitsch, Alexander
10
2011
Logics and falsifications. A new perspective on constructivist semantics. Zbl 1436.03004
Kapsner, Andreas
10
2014
Advances in proof-theoretic semantics. Zbl 1331.03009
9
2016
Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry. Zbl 1441.03002
Ferguson, Thomas Macaulay
8
2017
Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. Zbl 1436.06001
Esakia, Leo
8
2019
A guide to classical and modern model theory. Zbl 1023.03026
Marcja, Annalisa; Toffalori, Carlo
7
2003
Dual tableaux. Foundations, methodology, case studies. Zbl 1210.03001
Orłowska, Ewa; Golińska-Pilarek, Joanna
7
2011
The is-ought problem. An investigation in philosophical logic. Zbl 0927.03005
Schurz, Gerhard
7
1997
Trends in logic. 50 years of Studia Logica. Zbl 1029.00014
6
2003
Probabilistic logic in a coherent setting. Zbl 1040.03017
Coletti, Giulianella; Scozzafava, Romano
6
2003
Leśniewski’s systems of logic and foundations of mathematics. Zbl 1280.03004
Urbaniak, Rafal
6
2014
Toward predicate approaches to modality. Zbl 1334.03004
Stern, Johannes
6
2016
Descriptor revision. Belief change through direct choice. Zbl 1382.03002
Hansson, Sven-Ove
6
2017
Anaphora and type logical grammar. Zbl 1136.03021
Jäger, Gerhard
5
2005
Freedom and enforcement in action. A study in formal action theory. Zbl 1401.68007
Czelakowski, Janusz
4
2015
Foundations of the theory of parthood. A study of mereology. Translated from the Polish by Matthew Carmody. Revised and extended English edition. Zbl 1461.03003
Pietruszczak, Andrzej
2
2020
Logical studies of paraconsistent reasoning in science and mathematics. Zbl 1362.03003
2
2016
Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Zbl 1286.03010
2
2014
Philosophy of syntax. Foundational topics. Zbl 1287.03003
Tałasiewicz, Mieszko
2
2010
Quantum computation and logic. How quantum computers have inspired logical investigations. Zbl 06981553
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Guiseppe
2
2018
Paradoxes. Transl. from the Polish by Marek Gensler. Zbl 1236.03010
Łukowski, Piotr
1
2011
Foundations of the theory of parthood. A study of mereology. Translated from the Polish by Matthew Carmody. Revised and extended English edition. Zbl 1461.03003
Pietruszczak, Andrzej
2
2020
Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. Zbl 1436.06001
Esakia, Leo
8
2019
Quantum computation and logic. How quantum computers have inspired logical investigations. Zbl 06981553
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Guiseppe
2
2018
Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry. Zbl 1441.03002
Ferguson, Thomas Macaulay
8
2017
Descriptor revision. Belief change through direct choice. Zbl 1382.03002
Hansson, Sven-Ove
6
2017
Advances in proof-theoretic semantics. Zbl 1331.03009
9
2016
Toward predicate approaches to modality. Zbl 1334.03004
Stern, Johannes
6
2016
Logical studies of paraconsistent reasoning in science and mathematics. Zbl 1362.03003
2
2016
Freedom and enforcement in action. A study in formal action theory. Zbl 1401.68007
Czelakowski, Janusz
4
2015
Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning. Zbl 1350.03003
Straßer, Christian
14
2014
Logics and falsifications. A new perspective on constructivist semantics. Zbl 1436.03004
Kapsner, Andreas
10
2014
Leśniewski’s systems of logic and foundations of mathematics. Zbl 1280.03004
Urbaniak, Rafal
6
2014
Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Zbl 1286.03010
2
2014
Advanced Łukasiewicz calculus and MV-algebras. Zbl 1235.03002
Mundici, Daniele
104
2011
Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002
Shramko, Yaroslav; Wansing, Heinrich
37
2011
Gentzen calculi for modal propositional logic. Zbl 1232.03007
Poggiolesi, Francesca
32
2011
Methods of cut-elimination. Zbl 1225.03075
Baaz, Matthias; Leitsch, Alexander
10
2011
Dual tableaux. Foundations, methodology, case studies. Zbl 1210.03001
Orłowska, Ewa; Golińska-Pilarek, Joanna
7
2011
Paradoxes. Transl. from the Polish by Marek Gensler. Zbl 1236.03010
Łukowski, Piotr
1
2011
Natural deduction, hybrid systems and modal logics. Zbl 1236.03002
Indrzejczak, Andrzej
25
2010
Philosophy of syntax. Foundational topics. Zbl 1287.03003
Tałasiewicz, Mieszko
2
2010
Constructive negations and paraconsistency. Zbl 1161.03014
Odintsov, Sergei P.
55
2008
A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns. Zbl 1213.03002
Pagliani, Piero; Chakraborty, Mihir
30
2008
Goguen categories. A categorical approach to \(L\)-fuzzy relations. Zbl 1261.03154
Winter, Michael
16
2007
Anaphora and type logical grammar. Zbl 1136.03021
Jäger, Gerhard
5
2005
Reasoning in quantum theory. Sharp and unsharp quantum logics. Zbl 1059.81003
Dalla Chiara, M.; Giuntini, R.; Greechie, R.
96
2004
Topological and algebraic structures in fuzzy sets. A handbook of recent developments in the mathematics of fuzzy sets. Zbl 1020.00006
23
2003
A guide to classical and modern model theory. Zbl 1023.03026
Marcja, Annalisa; Toffalori, Carlo
7
2003
Trends in logic. 50 years of Studia Logica. Zbl 1029.00014
6
2003
Probabilistic logic in a coherent setting. Zbl 1040.03017
Coletti, Giulianella; Scozzafava, Romano
6
2003
Substructural logics: a primer. Zbl 1025.03002
Paoli, Francesco
44
2002
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics. Zbl 1036.03001
Ghilardi, Silvio; Zawadowski, Marek
22
2002
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
20
2002
Protoalgebraic logics. Zbl 0984.03002
Czelakowski, Janusz
96
2001
Fuzzy logic. Mathematical tools for approximate reasoning. Zbl 0976.03026
Gerla, Giangiacomo
54
2001
Triangular norms. Zbl 0972.03002
Klement, Erich Peter; Mesiar, Radko; Pap, Endre
2000
Algebraic foundations of many-valued reasoning. Zbl 0937.06009
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele
413
2000
Cut elimination in categories. Zbl 0981.03068
Došen, Kosta
13
1999
Metamathematics of fuzzy logic. Zbl 0937.03030
Hájek, Petr
1998
Displaying modal logic. Zbl 0955.03006
Wansing, Heinrich
22
1998
The is-ought problem. An investigation in philosophical logic. Zbl 0927.03005
Schurz, Gerhard
7
1997
all top 5

Cited by 2,034 Authors

116 Mesiar, Radko
47 De Baets, Bernard
46 Dvurečenskij, Anatolij
43 Di Nola, Antonio
43 Torrens, Joan
37 Bělohlávek, Radim
35 Liu, Huawen
32 Montagna, Franco
31 Yager, Ronald R.
30 Cintula, Petr
29 Pap, Endre
28 Godo, Lluís
28 Hájek, Petr
28 Novák, Vilém
28 Vychodil, Vilém
27 Flaminio, Tommaso
26 Qin, Feng
26 Zhang, Dexue
25 Chajda, Ivan
24 Bedregal, Benjamín René Callejas
24 Jakubík, Ján
23 Mundici, Daniele
23 Wansing, Heinrich Theodor
22 Esteva, Francesc
22 Hu, Baoqing
22 Kolesárová, Anna
22 Rachůnek, Jiří
21 Bustince, Humberto
21 Klement, Erich Peter
21 Noguera, Carles
21 Su, Yong
21 Vetterlein, Thomas
20 Mesiarová-Zemánková, Andrea
19 Freytes, Hector
19 Gerla, Giangiacomo
19 Massanet, Sebastià
18 Baczynski, Michal
18 Dubois, Didier
18 Recasens, Jordi
18 Ruiz-Aguilera, Daniel
17 Jayaram, Balasubramaniam
17 Lenzi, Giacomo
17 Medina, Jesús
17 Metcalfe, George
17 Paoli, Francesco
17 Wang, Guojun
16 Aguzzoli, Stefano
16 Borumand Saeid, Arsham
16 Ledda, Antonio
16 Xin, Xiaolong
16 Xu, Yang
15 Kühr, Jan
15 Navara, Mirko
15 Pradera, Ana
14 Borzooei, Rajab Ali
14 Botur, Michal
14 Busaniche, Manuela
14 Calvo, Tomasa
14 Giuntini, Roberto
14 Lai, Hongliang
14 Moraschini, Tommaso
14 Qiao, Junsheng
14 Štajner-Papuga, Ivana
14 Zhan, Jianming
13 Jenei, Sándor
13 Leuştean, Ioana
13 Maksimova, Larisa L’vovna
13 Marra, Vincenzo
13 Straccia, Umberto
13 Zhou, Hongjun
12 Bianchi, Matteo
12 De Meyer, Hans E.
12 Došen, Kosta
12 Georgescu, George
12 Kalina, Martin
12 Karaçal, Funda
12 Li, Qingguo
12 Marchioni, Enrico
12 Monserrat, Miquel
12 Montes, Susana
12 Turunen, Esko
12 Zahiri, Omid
12 Zhao, Bin
11 Cabrer, Leonardo Manuel
11 Çaylı, Gül Deniz
11 Ciabattoni, Agata
11 Daňková, Martina
11 Díaz, Susana
11 Dimuro, Graçaliz Pereira
11 Durante, Fabrizio
11 Eslami, Esfandiar
11 Fernández Fernández, Francisco Javier
11 Gerla, Brunella
11 Halaš, Radomír
11 Holcapek, Michal
11 Kerre, Etienne E.
11 Lapenta, Serafina
11 Li, Yongming
11 Ouyang, Yao
11 Pei, Daowu
...and 1,934 more Authors
all top 5

Cited in 218 Journals

780 Fuzzy Sets and Systems
205 Information Sciences
175 International Journal of Approximate Reasoning
166 Soft Computing
121 Studia Logica
60 Archive for Mathematical Logic
48 Annals of Pure and Applied Logic
42 Algebra Universalis
41 Mathematica Slovaca
38 Journal of Philosophical Logic
34 Mathematical Logic Quarterly (MLQ)
33 International Journal of Theoretical Physics
30 Iranian Journal of Fuzzy Systems
28 The Review of Symbolic Logic
25 Logic and Logical Philosophy
23 Journal of Pure and Applied Algebra
23 The Journal of Symbolic Logic
22 Czechoslovak Mathematical Journal
22 Kybernetika
21 Artificial Intelligence
21 Theoretical Computer Science
20 International Journal of General Systems
20 Synthese
19 Order
19 Journal of Applied Non-Classical Logics
18 Computers & Mathematics with Applications
17 Journal of Intelligent and Fuzzy Systems
17 Logica Universalis
16 Journal of Algebra
16 Filomat
16 Journal of Applied Logic
15 Fuzzy Optimization and Decision Making
14 The Bulletin of Symbolic Logic
13 Journal of Mathematical Analysis and Applications
13 Aequationes Mathematicae
13 Afrika Matematika
12 European Journal of Operational Research
12 Foundations of Physics
11 Notre Dame Journal of Formal Logic
11 Journal of Automated Reasoning
10 International Journal of Mathematics and Mathematical Sciences
10 International Journal of Intelligent Systems
9 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
9 Bulletin of the Section of Logic
9 Journal of Logic, Language and Information
8 Reports on Mathematical Physics
8 Annals of Mathematics and Artificial Intelligence
8 Open Mathematics
7 Communications in Algebra
7 MSCS. Mathematical Structures in Computer Science
7 Journal of Multiple-Valued Logic and Soft Computing
6 Algebra and Logic
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
6 Siberian Mathematical Journal
6 Abstract and Applied Analysis
5 Journal of Computer and System Sciences
5 Semigroup Forum
5 Social Choice and Welfare
5 Information and Computation
5 Applied Categorical Structures
5 Topoi
5 Erkenntnis
5 Foundations of Science
5 Journal of the Australian Mathematical Society
5 New Mathematics and Natural Computation
5 Symmetry
5 Dependence Modeling
4 Discrete Mathematics
4 Applied Mathematics and Computation
4 Journal of Multivariate Analysis
4 Forum Mathematicum
4 Journal of Inequalities and Applications
4 International Journal of Applied Mathematics and Computer Science
4 Journal of Function Spaces
4 Journal of Logical and Algebraic Methods in Programming
4 Journal of Algebraic Systems
3 Advances in Mathematics
3 Demonstratio Mathematica
3 Quaestiones Mathematicae
3 Results in Mathematics
3 Topology and its Applications
3 History and Philosophy of Logic
3 Computational and Applied Mathematics
3 Theory and Applications of Categories
3 Mathematical Problems in Engineering
3 Theory and Practice of Logic Programming
3 Journal of Applied Mathematics
3 Fixed Point Theory and Applications
3 Logical Methods in Computer Science
3 Journal of Applied Mathematics & Informatics
3 Fuzzy Information and Engineering
2 Acta Informatica
2 Chaos, Solitons and Fractals
2 Journal of Computational and Applied Mathematics
2 Journal of Statistical Planning and Inference
2 Publications de l’Institut Mathématique. Nouvelle Série
2 Transactions of the American Mathematical Society
2 Acta Mathematica Hungarica
2 Journal of Classification
2 Annals of Operations Research
...and 118 more Journals
all top 5

Cited in 47 Fields

1,948 Mathematical logic and foundations (03-XX)
822 Order, lattices, ordered algebraic structures (06-XX)
558 Computer science (68-XX)
161 General topology (54-XX)
126 Quantum theory (81-XX)
111 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
109 Measure and integration (28-XX)
106 Category theory; homological algebra (18-XX)
100 General algebraic systems (08-XX)
85 Statistics (62-XX)
74 Probability theory and stochastic processes (60-XX)
59 Difference and functional equations (39-XX)
47 Real functions (26-XX)
41 Group theory and generalizations (20-XX)
40 Information and communication theory, circuits (94-XX)
39 Functional analysis (46-XX)
35 Operations research, mathematical programming (90-XX)
26 Associative rings and algebras (16-XX)
24 History and biography (01-XX)
24 Linear and multilinear algebra; matrix theory (15-XX)
20 Systems theory; control (93-XX)
18 Operator theory (47-XX)
17 General and overarching topics; collections (00-XX)
16 Convex and discrete geometry (52-XX)
8 Combinatorics (05-XX)
8 Dynamical systems and ergodic theory (37-XX)
8 Biology and other natural sciences (92-XX)
7 Commutative algebra (13-XX)
5 Algebraic topology (55-XX)
5 Manifolds and cell complexes (57-XX)
5 Numerical analysis (65-XX)
4 Number theory (11-XX)
4 Algebraic geometry (14-XX)
3 Field theory and polynomials (12-XX)
3 Topological groups, Lie groups (22-XX)
3 Partial differential equations (35-XX)
3 Sequences, series, summability (40-XX)
3 Approximations and expansions (41-XX)
3 Geometry (51-XX)
2 \(K\)-theory (19-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 Relativity and gravitational theory (83-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year