×

zbMATH — the first resource for mathematics

Studia Logica

An International Journal for Symbolic Logic

Short Title: Stud. Log.
Publisher: Springer Netherlands, Dordrecht; Polish Academy of Sciences, Institute of Philosophy and Sociology, Warsaw
ISSN: 0039-3215; 1572-8730/e
Online: http://link.springer.com/journal/volumesAndIssues/11225
Comments: Indexed cover-to-cover
Documents Indexed: 2,260 Publications (since 1934)
References Indexed: 1,779 Publications with 32,436 References.
all top 5

Latest Issues

109, No. 3 (2021)
109, No. 2 (2021)
109, No. 1 (2021)
108, No. 6 (2020)
108, No. 5 (2020)
108, No. 4 (2020)
108, No. 3 (2020)
108, No. 2 (2020)
108, No. 1 (2020)
107, No. 6 (2019)
107, No. 5 (2019)
107, No. 4 (2019)
107, No. 3 (2019)
107, No. 2 (2019)
107, No. 1 (2019)
106, No. 6 (2018)
106, No. 5 (2018)
106, No. 4 (2018)
106, No. 3 (2018)
106, No. 2 (2018)
106, No. 1 (2018)
105, No. 6 (2017)
105, No. 5 (2017)
105, No. 4 (2017)
105, No. 3 (2017)
105, No. 2 (2017)
105, No. 1 (2017)
104, No. 6 (2016)
104, No. 5 (2016)
104, No. 4 (2016)
104, No. 3 (2016)
104, No. 2 (2016)
104, No. 1 (2016)
103, No. 6 (2015)
103, No. 5 (2015)
103, No. 4 (2015)
103, No. 3 (2015)
103, No. 2 (2015)
103, No. 1 (2015)
102, No. 6 (2014)
102, No. 5 (2014)
102, No. 4 (2014)
102, No. 3 (2014)
102, No. 2 (2014)
102, No. 1 (2014)
101, No. 6 (2013)
101, No. 5 (2013)
101, No. 4 (2013)
101, No. 3 (2013)
101, No. 2 (2013)
101, No. 1 (2013)
100, No. 6 (2012)
100, No. 5 (2012)
100, No. 4 (2012)
100, No. 3 (2012)
100, No. 1-2 (2012)
99, No. 1-3 (2011)
98, No. 3 (2011)
98, No. 1-2 (2011)
97, No. 3 (2011)
97, No. 2 (2011)
97, No. 1 (2011)
96, No. 3 (2010)
96, No. 2 (2010)
96, No. 1 (2010)
95, No. 3 (2010)
95, No. 1-2 (2010)
94, No. 3 (2010)
94, No. 2 (2010)
94, No. 1 (2010)
93, No. 2-3 (2009)
93, No. 1 (2009)
92, No. 3 (2009)
92, No. 2 (2009)
92, No. 1 (2009)
91, No. 3 (2009)
91, No. 2 (2009)
91, No. 1 (2009)
90, No. 3 (2008)
90, No. 2 (2008)
90, No. 1 (2008)
89, No. 3 (2008)
89, No. 2 (2008)
89, No. 1 (2008)
88, No. 3 (2008)
88, No. 2 (2008)
88, No. 1 (2008)
87, No. 2-3 (2007)
87, No. 1 (2007)
86, No. 3 (2007)
86, No. 2 (2007)
86, No. 1 (2007)
85, No. 3 (2007)
85, No. 2 (2007)
85, No. 1 (2007)
84, No. 3 (2006)
84, No. 2 (2006)
84, No. 1 (2006)
83, No. 1-3 (2006)
82, No. 3 (2006)
...and 156 more Volumes
all top 5

Authors

30 Gabbay, Dov M.
21 Montagna, Franco
20 Czelakowski, Janusz
20 Wansing, Heinrich Theodor
19 van Benthem, Johan F. A. K.
18 Dziobiak, Wiesław
17 Słupecki, Jerzy
16 Jansana, Ramon
15 Borkowski, Ludwik
15 Orłowska, Ewa S.
14 Rasiowa, Helena
13 Cignoli, Roberto
13 Font, Josep Maria
13 Kotas, Jerzy
13 Tokarz, Marek
12 Bezhanishvili, Guram
12 Goldblatt, Robert Ian
12 Hansson, Sven Ove
12 Ono, Hiroakira
12 Sylvan, Richard
11 Mundici, Daniele
11 Suszko, Roman
10 Avron, Arnon
10 Bezhanishvili, Nick
10 Hájek, Petr
10 Odintsov, Sergei P.
10 Paoli, Francesco
10 Pieczkowski, August
10 Pogorzelski, Witold A.
10 Raftery, James G.
10 Shramko, Yaroslav V.
10 Torrens Torrell, Antoni
9 Buszkowski, Wojciech
9 Giuntini, Roberto
9 Kamide, Norihiro
9 Malinowski, Grzegorz
9 Pigozzi, Don Leonard
9 Segerberg, Krister
9 van der Hoek, Wiebe
9 Wolter, Frank
8 Došen, Kosta
8 Fang, Jie
8 Fitting, Melvin Chris
8 Jankowski, Andrzej Wojciech
8 Kubinski, Tadeusz
8 Maksimova, Larisa L’vovna
8 Priest, Graham
8 Prucnal, Tadeusz
8 Suzuki, Nobu-Yuki
8 Wasilewska, Anita
7 Bloom, Stephen L.
7 Da Costa, Newton Carneiro Affonso
7 Dalla Chiara, Maria Luisa
7 Dunn, Jon Michael
7 Makinson, David Clement
7 Meyer, Robert Kenneth
7 Rautenberg, Wolfgang
7 Vakarelov, Dimiter
7 Wojcicki, Ryszard
7 Wronski, Andrzej
7 Zakharyaschev, Michael Viktorovich
6 Batens, Diderik
6 Belnap, Nuel D. jun.
6 Brady, Ross Thomas
6 Bryll, Grzegorz
6 Cornejo, Juan Manuel
6 Cresswell, Maxwell John
6 de Jongh, Dick H. J.
6 Dishkant, Herman
6 Francez, Nissim
6 Grzegorczyk, Andrzej
6 Gumanski, Leon
6 Jaskowski, Stanislaw
6 Komori, Yuichi
6 Ledda, Antonio
6 Lewin, Renato A.
6 Ma, Minghui
6 Pietruszczak, Andrzej
6 Seki, Takahiro
6 Skvortsov, Dmitrij
6 Surma, Stanislaw J.
6 Weaver, George E.
6 Zygmunt, Jan
5 Ajdukiewicz, Kazimierz
5 Castiglioni, José Luis
5 Corsi, Giovanna
5 Davey, Brian A.
5 Demri, Stéphane P.
5 Di Nola, Antonio
5 Díaz Varela, José Patricio
5 Dyckhoff, Roy
5 Gerla, Giangiacomo
5 Goranko, Valentin F.
5 Hodkinson, Ian Martin
5 Iwanus, Boguslaw
5 Kanovei, Vladimir G.
5 Konikowska, Beata
5 Kowalski, Tomasz Marek
5 Lambek, Joachim
5 Németi, István
...and 1,484 more Authors

Publications by Year

Citations contained in zbMATH Open

1,516 Publications have been cited 9,237 times in 5,186 Documents Cited by Year
Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016
Mundici, Daniele
140
1995
A survey of abstract algebraic logic. Zbl 1057.03058
Font, J. M.; Jansana, R.; Pigozzi, D.
103
2003
A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027
Jenei, Sándor; Montagna, Franco
98
2002
States on pseudo MV-algebras. Zbl 0999.06011
Dvurečenskij, Anatolij
72
2001
Protoalgebraic logics. Zbl 0622.03020
Blok, W. J.; Pigozzi, Don
63
1986
Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups. Zbl 0812.06010
Di Nola, Antonio; Lettieri, Ada
56
1994
Belief contraction without recovery. Zbl 0748.03008
Hansson, Sven Ove
51
1991
Notes on \(\eta\)-lattices and constructive logic with strong negation. Zbl 0385.03055
Vakarelov, D.
51
1977
Matrix approach in methodology of sentential calculi. Zbl 0336.02012
Wojcicki, Ryszard
50
1973
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013
van der Hoek, Wiebe; Wooldridge, Michael
50
2003
Positive modal logic. Zbl 0831.03007
Dunn, J. Michael
49
1995
Dependence and independence. Zbl 1272.03125
Grädel, Erich; Väänänen, Jouko
49
2013
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Zbl 1011.03015
Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco
49
2002
Partiality and its dual. Zbl 0988.03012
Dunn, J. Michael
49
2000
Distributive lattices with a dual homomorphic operation. Zbl 0425.06008
Urquhart, Alasdair
46
1979
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
45
2009
On the logic of theory change: safe contraction. Zbl 0605.03002
Alchourrón, Carlos E.; Makinson, David
44
1985
Minimally inconsistent LP. Zbl 0748.03017
Priest, Graham
42
1991
Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049
Aglianò, P.; Ferreirim, I. M. A.; Montagna, F.
42
2007
Equivalential logics. I. Zbl 0476.03032
Czelakowski, Janusz
40
1981
Intuitionistic logic with strong negation. Zbl 0366.02015
Gurevich, Yuri
39
1977
Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033
Németi, István
35
1991
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
33
2001
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case. Zbl 0867.68100
Benferhat, Salem; Dubois, Didier; Prade, Henri
30
1997
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\). Zbl 1115.06006
Cignoli, Roberto; Torrens Torrell, Antoni
30
2006
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021
Galatos, Nikolaos; Ono, Hiroakira
30
2006
Generalized Kripke frames. Zbl 1115.03013
Gehrke, Mai
30
2006
Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.). Zbl 0355.02021
Magari, Roberto
29
1976
On maximal intermediate logics with the disjunction property. Zbl 0635.03019
Maksimova, Larisa L.
29
1986
Time and modality in the logic of agency. Zbl 0788.03002
Chellas, Brian F.
28
1992
A compact representation of proofs. Zbl 0644.03033
Miller, Dale A.
28
1987
The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042
Maddux, Roger D.
27
1991
Five faces of minimality. Zbl 0790.03026
Makinson, David
27
1993
On an intuitionistic modal logic. Zbl 0963.03033
Bierman, G. M.; de Paiva, V. C. V.
27
2000
Propositional calculus for contradictory deductive systems. Zbl 0244.02004
Jaskowski, Stanislaw
27
1969
On the canonicity of Sahlqvist identities. Zbl 0810.03050
Jónsson, Bjarni
26
1994
Models for normal intuitionistic modal logics. Zbl 0634.03014
Božić, Milan; Došen, Kosta
26
1984
Cut-free sequent calculi for some tense logics. Zbl 0813.03012
Kashima, Ryo
25
1994
Contrary-to-duty obligations. Zbl 0873.03025
Prakken, Henry; Sergot, Marek
25
1996
A propositional logic with explicit fixed points. Zbl 0469.03012
Visser, Albert
25
1981
MV-algebras and quantum computation. Zbl 1102.06010
Ledda, Antonio; Konig, Martinvaldo; Paoli, Francesco; Giuntini, Roberto
25
2006
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
24
2011
The Fregean axiom and Polish mathematical logic in the \(1920^s\). Zbl 0404.03004
Suszko, Roman
24
1978
Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048
Esteva, Francesc; Godo, Lluís; Montagna, Franco
24
2004
An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.). Zbl 0357.02028
Sambin, Giovanni
23
1976
Equivalence of consequence operations. Zbl 1106.03059
Blok, W. J.; Jónsson, Bjarni
23
2006
Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009
Blackburn, P.; ten Cate, B.
23
2006
Sequent-systems and groupoid models. I. Zbl 0671.03018
Došen, Kosta
23
1988
Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021
Montagna, Franco; Ono, Hiroakira
23
2002
The Russian cards problem. Zbl 1033.03008
van Ditmarsch, Hans
23
2003
Nelson algebras through Heyting ones. I. Zbl 0714.06004
Sendlewski, Andrzej
23
1990
Kripke semantics for knowledge representation logics. Zbl 0726.03023
Orłowska, Ewa
23
1990
A model of tolerance. Zbl 1162.03012
Zardini, Elia
22
2008
Dynamic algebras: Examples, constructions, applications. Zbl 0752.03033
Pratt, Vaughan
22
1991
Adding involution to residuated structures. Zbl 1062.03059
Galatos, Nikolaos; Raftery, James G.
22
2004
Some theorems on structural consequence operations. Zbl 0311.02016
Bloom, Stephen L.
22
1975
Computably enumerable equivalence relations. Zbl 0981.03046
Gao, Su; Gerdes, Peter
22
2001
Algebraic logic for classical conjunction and disjunction. Zbl 0753.03027
Font, Josep M.; Verdú, Ventura
21
1991
Generalized rough sets (preclusivity fuzzy-intuitionistic (BZ) lattices). Zbl 0864.03040
Cattaneo, Gianpiero
21
1997
Characterizing equivalential and algebraizable logics by the Leibniz operator. Zbl 0879.03023
Herrmann, Burghard
21
1997
Equivalential and algebraizable logics. Zbl 0864.03043
Herrmann, Burghard
21
1996
Pretabular varieties of modal algebras. Zbl 0457.03018
Blok, W. J.
21
1980
Semantics of the minimal logic of quantum mechanics. Zbl 0268.02018
Dishkant, H.
21
1972
A formalization of the propositional calculus of H-B logic. Zbl 0289.02015
Rauszer, Cecylia
21
1974
Modal frame correspondences and fixed-points. Zbl 1106.03017
van Benthem, Johan
21
2006
An impossibility theorem on beliefs in games. Zbl 1114.03013
Brandenburger, Adam; Keisler, H. Jerome
21
2006
A metacompleteness theorem for contraction-free relevant logics. Zbl 0576.03014
Slaney, John K.
21
1984
Graded modalities. I. Zbl 0577.03004
Fattorosi-Barnaba, M.; De Caro, F.
21
1985
Getting started: Beginnings in the logic of action. Zbl 0786.03003
Segerberg, Krister
20
1992
Duality for algebras of relevant logics. Zbl 0844.03032
Urquhart, Alasdair
20
1996
Diodorean modality in Minkowski spacetime. Zbl 0457.03019
Goldblatt, Robert
20
1980
Decidability for branching time. Zbl 0467.03006
Burgess, John P.
20
1980
Theory of rejected propositions. I. Zbl 0253.02049
Slupecki, Jerzy; Bryll, Grzegorz; Wybraniec-Skardowska, Urszula
20
1971
Classical relevant logics. I. Zbl 0316.02029
Meyer, Robert K.; Routley, Richard
20
1973
Standard Gödel modal logics. Zbl 1266.03030
Caicedo, Xavier; Rodriguez, Ricardo O.
20
2010
Algebraic aspects of deduction theorems. Zbl 0612.03016
Czelakowski, Janusz
20
1985
Models for stronger normal intuitionistic modal logics. Zbl 0634.03015
Došen, Kosta
20
1985
On the representation of \(\mathbf{N4}\)-lattices. Zbl 1047.03050
Odintsov, Sergei P.
20
2004
Modal companions of intermediate propositional logics. Zbl 0766.03015
Chagrov, Aleksander; Zakharyashchev, Mikhail
19
1992
The way of the agent. Zbl 0789.03023
Belnap, Nuel; Perloff, Michael
19
1992
Varieties of monadic Heyting algebras. I. Zbl 0964.06008
Bezhanishvili, Guram
19
1998
Classical negation and expansions of Belnap-Dunn logic. Zbl 1373.03029
De, Michael; Omori, Hitoshi
19
2015
Ideal paraconsistent logics. Zbl 1248.03046
Arieli, O.; Avron, A.; Zamansky, A.
19
2011
Aristotle’s syllogistic from the standpoint of modern formal logic. Zbl 0121.01003
Borkowski, L.
19
1957
Interpolation properties of superintuitionistic logics. Zbl 0435.03021
Maksimova, Larisa L.
19
1979
Classical relevant logics. II. Zbl 0316.02030
Meyer, Robert K.; Routley, Richard
19
1974
An axiom system for the modular logic. Zbl 0333.02023
Kotas, Jerzy
19
1967
Applications of Kripke models to Heyting-Brouwer logic. Zbl 0361.02033
Rauszer, Cecylia
19
1977
2-element matrices. Zbl 0493.03006
Rautenberg, Wolfgang
19
1981
The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022
Hawthorne, James; Makinson, David
19
2007
On axiomatizing Shramko-Wansing’s logic. Zbl 1170.03014
Odintsov, Sergei P.
19
2009
A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019
Kozen, Dexter
19
1989
Game logic – an overview. Zbl 1040.03013
Pauly, Marc; Parikh, Rohit
19
2003
Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022
Shramko, Yaroslav
19
2005
On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191
Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa
18
2017
Open questions related to the problem of Birkhoff and Maltsev. Zbl 1105.08007
Adams, M. E.; Adaricheva, K. V.; Dziobiak, W.; Kravchenko, A. V.
18
2004
Undecidability without arithmetization. Zbl 1080.03004
Grzegorczyk, Andrzej
18
2005
Reduced products of logical matrices. Zbl 0445.03009
Czelakowski, Janusz
18
1980
Hyperintensional logic. Zbl 0307.02017
Cresswell, M. J.
18
1975
A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010
Dunn, J. Michael
18
1976
A conservative negation extension of positive semilattice logic without the finite model property. Zbl 07339952
Weiss, Yale
1
2021
Countably many weakenings of Belnap-Dunn logic. Zbl 07183492
Ma, Minghui; Lin, Yuanlei
2
2020
Epimorphisms, definability and cardinalities. Zbl 1442.03036
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J.
2
2020
Complexity of the universal theory of modal algebras. Zbl 07183494
Shkatov, Dmitry; van Alten, Clint J.
1
2020
Proof theory for positive logic with weak negation. Zbl 07239279
Bílková, Marta; Colacito, Almudena
1
2020
Dynamic epistemic logics of diffusion and prediction in social networks. Zbl 07075852
Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja
5
2019
The fundamental problem of general proof theory. Zbl 07055410
Prawitz, Dag
3
2019
A deterministic weakening of Belnap-Dunn logic. Zbl 07067981
Ma, Minghui; Lin, Yuanlei
3
2019
Analyticity, balance and non-admissibility of \(Cut\) in stoic logic. Zbl 07067984
Bobzien, Susanne; Dyckhoff, Roy
3
2019
A duality for involutive bisemilattices. Zbl 07067986
Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa
3
2019
A categorical equivalence for Stonean residuated lattices. Zbl 07067985
Busaniche, Manuela; Cignoli, Roberto; Marcos, Miguel Andrés
2
2019
The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851
Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano
2
2019
The balanced pseudocomplemented Ockham algebras with the strong endomorphism kernel property. Zbl 07142218
Fang, Jie
1
2019
Valuations: bi, tri, and tetra. Zbl 1450.03002
French, Rohan; Ripley, David
1
2019
Proof compression and NP versus PSPACE. Zbl 07055412
Gordeev, L.; Haeusler, E. H.
1
2019
Is there a “Hilbert thesis”? Zbl 1428.03021
Kahle, Reinhard
1
2019
Inference as doxastic agency. I: The basics of justification stit logic. Zbl 07055416
Olkhovikov, Grigory K.; Wansing, Heinrich
1
2019
The naturality of natural deduction. Zbl 07055417
Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia
1
2019
The monodic fragment of propositional term modal logic. Zbl 1439.03046
Padmanabha, Anantha; Ramanujam, R.
1
2019
Axiomatizing the logic of imagination. Zbl 07100696
Giordani, Alessandro
1
2019
A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
1
2019
Truth-tracking by belief revision. Zbl 1439.03039
Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja
1
2019
Arithmetical completeness theorem for modal logic \(\mathsf{K}\). Zbl 1437.03090
Kurahashi, Taishi
6
2018
The structure group of a generalized orthomodular lattice. Zbl 1412.06011
Rump, Wolfgang
5
2018
Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations. Zbl 1437.03167
Kurahashi, Taishi
4
2018
Varieties of BL-algebras. II. Zbl 1437.06017
Aglianò, P.; Montagna, F.
4
2018
Convex MV-algebras: many-valued logics meet decision theory. Zbl 06969626
Flaminio, T.; Hosni, H.; Lapenta, S.
3
2018
Provably true sentences across axiomatizations of Kripke’s theory of truth. Zbl 1437.03162
Nicolai, Carlo
2
2018
The category of node-and-choice preforms for extensive-form games. Zbl 1417.91078
Streufert, Peter A.
2
2018
On argumentation logic and propositional logic. Zbl 1437.68166
Kakas, Antonis C.; Mancarella, Paolo; Toni, Francesca
2
2018
Semi-intuitionistic logic with strong negation. Zbl 1437.03043
Cornejo, Juan Manuel; Viglizzo, Ignacio
2
2018
Stone-type representations and dualities for varieties of bisemilattices. Zbl 1437.06003
Ledda, Antonio
2
2018
Proof theory for functional modal logic. Zbl 1437.03093
Standefer, Shawn
1
2018
The finite model property for logics with the tangle modality. Zbl 1437.03087
Goldblatt, Robert; Hodkinson, Ian
1
2018
Correspondence between Kripke frames and projective geometries. Zbl 1437.03094
Zhong, Shengyang
1
2018
A second pretabular classical relevance logic. Zbl 1437.03096
Fallahi, Asadollah
1
2018
A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures. Zbl 1437.03049
Gruszczyński, Rafał; Pietruszczak, Andrzej
1
2018
Duality theory and skeleta for semisimple MV-algebras. Zbl 1431.06004
Di Nola, Antonio; Lenzi, Giacomo
1
2018
A new proof of the McKinsey-Tarski theorem. Zbl 1437.03084
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2018
First-order modal logic: frame definability and a Lindström theorem. Zbl 1437.03095
Zoghifard, R.; Pourmahdian, M.
1
2018
Poset product and BL-chains. Zbl 1437.06018
Busaniche, Manuela; Gomez, Conrado
1
2018
Principal and Boolean congruences on \(IKt\)-algebras. Zbl 1437.06011
Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo
1
2018
Infinite populations, choice and determinacy. Zbl 06969628
Litak, Tadeusz
1
2018
Propositional epistemic logics with quantification over agents of knowledge. Zbl 1437.03074
Shtakser, Gennady
1
2018
Gödel’s natural deduction. Zbl 1417.03008
Došen, Kosta; Adžić, Miloš
1
2018
Sequent calculi for semi-De Morgan and De Morgan algebras. Zbl 1437.03181
Ma, Minghui; Liang, Fei
1
2018
Hintikka’s independence-friendly logic meets Nelson’s realizability. Zbl 06914013
Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu.
1
2018
On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191
Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa
18
2017
40 years of FDE: an introductory overview. Zbl 1417.03027
Omori, Hitoshi; Wansing, Heinrich
12
2017
Disentangling FDE-based paraconsistent modal logics. Zbl 1417.03160
Odintsov, Sergei P.; Wansing, Heinrich
11
2017
Four-valued paradefinite logics. Zbl 1417.03190
Arieli, Ofer; Avron, Arnon
9
2017
First-degree entailment and its relatives. Zbl 1417.03182
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
9
2017
An algebraic view of super-Belnap logics. Zbl 1417.03175
Albuquerque, Hugo; Přenosil, Adam; Rivieccio, Umberto
6
2017
General-elimination stability. Zbl 1417.03285
Jacinto, Bruno; Read, Stephen
4
2017
Proof analysis of Peirce’s alpha system of graphs. Zbl 1417.03281
Ma, Minghui; Pietarinen, Ahti-Veikko
4
2017
Paraconsistent double negations as classical and intuitionistic negations. Zbl 1417.03193
Kamide, Norihiro
4
2017
Reconstructing the topology on monoids and polymorphism clones of the rationals. Zbl 1371.08002
Behrisch, Mike; Truss, John K.; Vargas-García, Edith
4
2017
Notes on the computational aspects of Kripke’s theory of truth. Zbl 1417.03244
Speranski, Stanislav O.
3
2017
The strong endomorphism kernel property in double MS-algebras. Zbl 1421.06003
Fang, Jie
3
2017
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
3
2017
Equivocation axiom on first order languages. Zbl 1417.03173
Rad, Soroush Rafiee
3
2017
A new hierarchy of infinitary logics in abstract algebraic logic. Zbl 1417.03305
Lávička, Tomáš; Noguera, Carles
2
2017
Rasiowa-Harrop disjunction property. Zbl 1417.03278
Ferreira, Gilda
2
2017
Subdirectly irreducible IKt-algebras. Zbl 1417.06010
Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo
2
2017
Boolean paradoxes and revision periods. Zbl 1417.03068
Hsiung, Ming
2
2017
A simple sequent calculus for Angell’s logic of analytic containment. Zbl 1417.03164
French, Rohan
2
2017
Rivals to Belnap-Dunn logic on interlaced trilattices. Zbl 1417.03177
Ferguson, Thomas M.
2
2017
Cut elimination, identity elimination, and interpolation in super-Belnap logics. Zbl 1417.03287
Přenosil, Adam
2
2017
On the modal logic of subset and superset: tense logic over Medvedev frames. Zbl 1417.03152
Holliday, Wesley H.
2
2017
Non-classical elegance for sequent calculus enthusiasts. Zbl 1417.03200
Fjellstad, Andreas
2
2017
Genuine coherence as mutual confirmation between content elements. Zbl 1417.03174
Schippers, Michael; Schurz, Gerhard
1
2017
Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics. Zbl 1417.03301
Kumar, Arun; Banerjee, Mohua
1
2017
The strong version of a sentential logic. Zbl 1417.03303
Albuquerque, Hugo; Font, Josep Maria; Jansana, Ramon
1
2017
Relativised homomorphism preservation at the finite level. Zbl 1417.03227
Ham, Lucy
1
2017
Expansions of dually pseudocomplemented Heyting algebras. Zbl 1453.06009
Taylor, Christopher J.
1
2017
Restricted Priestley dualities and discriminator varieties. Zbl 06807537
Davey, B. A.; Gair, A.
1
2017
Probabilistic logics with independence and confirmation. Zbl 1417.03171
Doder, Dragan; Ognjanović, Zoran
1
2017
Paraconsistent logic, evidence, and justification. Zbl 1417.03192
Fitting, Melvin
1
2017
Believability relations for select-direct sentential revision. Zbl 1417.03144
Zhang, Li
1
2017
A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations. Zbl 1417.03154
Kjos-Hanssen, Bjørn
1
2017
Erratum to: “Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)”. Zbl 1403.06014
Cignoli, Roberto; Torrens, Antoni
1
2017
Congruence lattices of semilattices with operators. Zbl 1417.06004
Hyndman, Jennifer; Nation, J. B.; Nishida, Joy
6
2016
A new view of effects in a Hilbert space. Zbl 1417.06008
Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco
6
2016
Order in implication zroupoids. Zbl 1392.06011
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P.
5
2016
Bi-simulating in bi-intuitionistic logic. Zbl 1417.03125
Badia, Guillermo
4
2016
Structural completeness in relevance logics. Zbl 1454.03032
Raftery, J. G.; Świrydowicz, K.
3
2016
On all strong Kleene generalizations of classical logic. Zbl 1417.03197
Wintein, Stefan
3
2016
The undecidability of quantified announcements. Zbl 1368.03021
Ågotnes, T.; van Ditmarsch, H.; French, T.
3
2016
Progression and verification of situation calculus agents with bounded beliefs. Zbl 1397.68191
De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros
3
2016
Turing-Taylor expansions for arithmetic theories. Zbl 1417.03297
Joosten, Joost J.
3
2016
Cofinal stable logics. Zbl 1403.03045
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
3
2016
Natural dualities through product representations: bilattices and beyond. Zbl 1360.08005
Cabrer, L. M.; Priestley, H. A.
2
2016
Hard and soft preparation sets in Boolean games. Zbl 1422.91157
Harrenstein, Paul; Turrini, Paolo; Wooldridge, Michael
2
2016
Adaptive logic characterizations of input/output logic. Zbl 1364.03034
Straßer, Christian; Beirlaen, Mathieu; Van De Putte, Frederik
2
2016
Intuitionistic games: determinacy, completeness, and normalization. Zbl 1417.03127
Urzyczyn, Paweł
2
2016
The Lambek calculus extended with intuitionistic propositional logic. Zbl 1417.03165
Kaminski, Michael; Francez, Nissim
2
2016
Categoricity spectra for polymodal algebras. Zbl 1417.03233
Bazhenov, Nikolay
2
2016
Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020
Nakazawa, Koji; Fujita, Ken-etsu
2
2016
Understanding negation implicationally in the relevant logic R. Zbl 1417.03167
Onishi, Takuro
2
2016
On the minimal non-Fregean Grzegorczyk logic. Zbl 1392.03039
Golińska-Pilarek, Joanna
1
2016
...and 1276 more Documents
all top 5

Cited by 3,379 Authors

66 Dvurečenskij, Anatolij
46 Gabbay, Dov M.
44 Montagna, Franco
43 Di Nola, Antonio
43 Wansing, Heinrich Theodor
38 Bezhanishvili, Guram
35 van Benthem, Johan F. A. K.
32 Kamide, Norihiro
31 Hansson, Sven Ove
30 Bezhanishvili, Nick
30 Godo, Lluís
29 Paoli, Francesco
28 Jansana, Ramon
27 Flaminio, Tommaso
26 van Ditmarsch, Hans Pieter
25 Noguera, Carles
24 Czelakowski, Janusz
24 Esteva, Francesc
24 Humberstone, Lloyd
24 Ledda, Antonio
24 Maksimova, Larisa L’vovna
23 Cintula, Petr
21 Sayed Ahmed, Tarek
20 Andréka, Hajnal
20 Avron, Arnon
20 Fernández Duque, David
20 Kowalski, Tomasz Marek
20 Moraschini, Tommaso
20 Robles, Gemma
19 Celani, Sergio Arturo
19 Chajda, Ivan
19 Ciabattoni, Agata
19 Dziobiak, Wiesław
19 Galatos, Nikolaos
19 Giuntini, Roberto
19 Goldblatt, Robert Ian
19 Németi, István
19 Palmigiano, Alessandra
19 Raftery, James G.
18 Brady, Ross Thomas
18 Font, Josep Maria
18 Hodkinson, Ian Martin
18 Priestley, Hilary A.
18 Voutsadakis, George
17 Dunn, Jon Michael
17 Hájek, Petr
17 Odintsov, Sergei P.
17 Petrukhin, Yaroslav Igorevich
17 Venema, Yde
17 Visser, Albert
16 Cignoli, Roberto
16 Ciungu, Lavinia Corina
16 Gehrke, Mai
16 Ma, Minghui
16 Mundici, Daniele
16 Rivieccio, Umberto
16 Torrens Torrell, Antoni
16 Tsinakis, Constantine
15 Arieli, Ofer
15 Davey, Brian A.
15 Francez, Nissim
15 Iemhoff, Rosalie
15 Lenzi, Giacomo
15 Metcalfe, George
15 Orłowska, Ewa S.
15 Priest, Graham
15 Shramko, Yaroslav V.
15 Smets, Sonja J. L.
15 Vakarelov, Dimiter
15 van der Hoek, Wiebe
15 Zakharyaschev, Michael Viktorovich
14 Aguzzoli, Stefano
14 Baltag, Alexandru
14 Bianchi, Matteo
14 Diaconescu, Răzvan
14 Díaz Varela, José Patricio
14 Kern-Isberner, Gabriele
14 Pacuit, Eric
14 Wooldridge, Michael J.
13 Balbiani, Philippe
13 Cabrer, Leonardo Manuel
13 Cornejo, Juan Manuel
13 Ono, Hiroakira
13 Pigozzi, Don Leonard
13 Rachůnek, Jiří
13 Rasga, João
13 Restall, Greg
13 Ripley, David
13 Sernadas, Cristina S.
13 Vetterlein, Thomas
13 Wang, Sanmin
13 Wolter, Frank
13 Wybraniec-Skardowska, Urszula
13 Zamansky, Anna
12 Belluce, Lawrence Peter
12 Bimbó, Katalin
12 Buszkowski, Wojciech
12 Campercholi, Miguel A.
12 Došen, Kosta
12 Égré, Paul
...and 3,279 more Authors
all top 5

Cited in 255 Journals

891 Studia Logica
284 Journal of Philosophical Logic
191 Annals of Pure and Applied Logic
186 The Journal of Symbolic Logic
176 Fuzzy Sets and Systems
169 Synthese
154 Journal of Applied Non-Classical Logics
139 Algebra Universalis
137 The Review of Symbolic Logic
134 Soft Computing
127 Theoretical Computer Science
114 Artificial Intelligence
112 Notre Dame Journal of Formal Logic
98 Archive for Mathematical Logic
97 International Journal of Approximate Reasoning
97 Journal of Logic, Language and Information
95 Journal of Applied Logic
82 Logica Universalis
65 Mathematical Logic Quarterly (MLQ)
53 The Bulletin of Symbolic Logic
49 Information Sciences
47 Information and Computation
46 Logic and Logical Philosophy
45 Annals of Mathematics and Artificial Intelligence
43 Journal of Automated Reasoning
42 International Journal of Theoretical Physics
41 History and Philosophy of Logic
40 Algebra and Logic
35 Order
33 Erkenntnis
31 Bulletin of the Section of Logic
27 MSCS. Mathematical Structures in Computer Science
26 Journal of Logical and Algebraic Methods in Programming
25 Journal of Pure and Applied Algebra
22 International Journal of Algebra and Computation
21 Journal of Algebra
21 Siberian Mathematical Journal
19 Mathematica Slovaca
18 Applied Categorical Structures
18 ACM Transactions on Computational Logic
17 Logical Methods in Computer Science
16 Mathematical Notes
16 Czechoslovak Mathematical Journal
16 Transactions of the American Mathematical Society
14 Communications in Algebra
14 Topoi
14 Theory and Practice of Logic Programming
13 The Journal of Logic and Algebraic Programming
13 Foundations of Physics
12 Journal of Computer and System Sciences
12 Semigroup Forum
11 International Journal of General Systems
10 Kybernetika
10 Indagationes Mathematicae. New Series
9 Discrete Mathematics
9 Mathematical Social Sciences
9 Games and Economic Behavior
8 Journal of Multiple-Valued Logic and Soft Computing
7 Journal of Mathematical Analysis and Applications
7 Topology and its Applications
7 Journal of the Australian Mathematical Society
7 Asian-European Journal of Mathematics
6 Glasgow Mathematical Journal
6 Rendiconti del Seminario Matematico della Università di Padova
6 Lobachevskii Journal of Mathematics
6 Sibirskie Èlektronnye Matematicheskie Izvestiya
6 Frontiers of Computer Science
6 Open Mathematics
5 Information Processing Letters
5 Proceedings of the American Mathematical Society
5 Journal of Symbolic Computation
5 International Journal of Intelligent Systems
5 Theory of Computing Systems
5 Foundations of Science
5 Journal of Intelligent and Fuzzy Systems
5 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
5 Nôus
4 Bulletin of the Australian Mathematical Society
4 Computers & Mathematics with Applications
4 Israel Journal of Mathematics
4 Lithuanian Mathematical Journal
4 Moscow University Mathematics Bulletin
4 Demonstratio Mathematica
4 Journal of Geometry
4 Rendiconti del Circolo Matemàtico di Palermo. Serie II
4 Theory and Decision
4 Tohoku Mathematical Journal. Second Series
4 New Generation Computing
4 International Journal of Computer Mathematics
4 Acta Mathematica Sinica. English Series
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Iranian Journal of Fuzzy Systems
4 Symmetry
4 Games
3 Periodica Mathematica Hungarica
3 Applied Mathematics and Computation
3 International Journal of Game Theory
3 Journal of Computer Science and Technology
3 Random Structures & Algorithms
3 Designs, Codes and Cryptography
...and 155 more Journals
all top 5

Cited in 45 Fields

4,220 Mathematical logic and foundations (03-XX)
1,134 Computer science (68-XX)
915 Order, lattices, ordered algebraic structures (06-XX)
326 General algebraic systems (08-XX)
166 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
140 Category theory; homological algebra (18-XX)
128 Quantum theory (81-XX)
100 History and biography (01-XX)
89 General topology (54-XX)
78 General and overarching topics; collections (00-XX)
72 Probability theory and stochastic processes (60-XX)
69 Group theory and generalizations (20-XX)
45 Combinatorics (05-XX)
27 Measure and integration (28-XX)
24 Geometry (51-XX)
24 Information and communication theory, circuits (94-XX)
22 Functional analysis (46-XX)
19 Convex and discrete geometry (52-XX)
17 Relativity and gravitational theory (83-XX)
16 Statistics (62-XX)
12 Number theory (11-XX)
11 Topological groups, Lie groups (22-XX)
11 Real functions (26-XX)
10 Commutative algebra (13-XX)
10 Associative rings and algebras (16-XX)
10 Systems theory; control (93-XX)
9 Dynamical systems and ergodic theory (37-XX)
8 Linear and multilinear algebra; matrix theory (15-XX)
8 Biology and other natural sciences (92-XX)
6 Operator theory (47-XX)
6 Operations research, mathematical programming (90-XX)
5 Differential geometry (53-XX)
5 Mechanics of particles and systems (70-XX)
4 Field theory and polynomials (12-XX)
4 Algebraic topology (55-XX)
3 Manifolds and cell complexes (57-XX)
3 Mathematics education (97-XX)
2 Numerical analysis (65-XX)
2 Fluid mechanics (76-XX)
1 Algebraic geometry (14-XX)
1 Partial differential equations (35-XX)
1 Difference and functional equations (39-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year