×

Bulletin of the Section of Logic

Short Title: Bull. Sect. Log., Univ. Łódź, Dep. Log.
Publisher: University of Łódź, Department of Logic, Łódź
ISSN: 0138-0680
Online: https://czasopisma.uni.lodz.pl/bulletin/issue/archive
http://www.filozof.uni.lodz.pl/bulletin/contents.php
https://bibliotekanauki.pl/journals/1106/issues
Predecessor: Bulletin of the Section of Logic
Comments: Indexed cover-to-cover; This journal is available open access.
Documents Indexed: 584 Publications (since 1993)
References Indexed: 76 Publications with 1,266 References.
all top 5

Latest Issues

50, No. 1 (2021)
49, No. 4 (2020)
49, No. 3 (2020)
49, No. 2 (2020)
49, No. 1 (2020)
48, No. 4 (2019)
48, No. 3 (2019)
48, No. 2 (2019)
48, No. 1 (2019)
47, No. 4 (2018)
47, No. 3 (2018)
47, No. 2 (2018)
47, No. 1 (2018)
46, No. 3-4 (2017)
46, No. 1-2 (2017)
45, No. 3-4 (2016)
45, No. 2 (2016)
45, No. 1 (2016)
44, No. 3-4 (2015)
44, No. 1-2 (2015)
43, No. 3-4 (2014)
43, No. 1-2 (2014)
42, No. 3-4 (2013)
42, No. 1-2 (2013)
41, No. 3-4 (2012)
41, No. 1-2 (2012)
40, No. 3-4 (2011)
40, No. 1-2 (2011)
39, No. 3-4 (2010)
39, No. 1-2 (2010)
38, No. 3-4 (2009)
38, No. 1-2 (2009)
37, No. 3-4 (2008)
37, No. 2 (2008)
37, No. 1 (2008)
36, No. 3-4 (2007)
36, No. 1-2 (2007)
35, No. 4 (2006)
35, No. 2-3 (2006)
35, No. 1 (2006)
34, No. 4 (2005)
34, No. 3 (2005)
34, No. 2 (2005)
34, No. 1 (2005)
33, No. 4 (2004)
33, No. 3 (2004)
33, No. 2 (2004)
33, No. 1 (2004)
32, No. 4 (2003)
32, No. 3 (2003)
32, No. 1-2 (2003)
31, No. 4 (2002)
31, No. 3 (2002)
31, No. 2 (2002)
31, No. 1 (2002)
30, No. 4 (2001)
30, No. 3 (2001)
30, No. 2 (2001)
30, No. 1 (2001)
29, No. 4 (2000)
29, No. 3 (2000)
29, No. 1-2 (2000)
28, No. 4 (1999)
28, No. 3 (1999)
28, No. 2 (1999)
28, No. 1 (1999)
27, No. 4 (1998)
27, No. 3 (1998)
27, No. 1-2 (1998)
26, No. 4 (1997)
26, No. 3 (1997)
26, No. 2 (1997)
26, No. 1 (1997)
25, No. 3-4 (1996)
25, No. 2 (1996)
25, No. 1 (1996)
Index (1996)
24, No. 4 (1995)
24, No. 3 (1995)
24, No. 2 (1995)
24, No. 1 (1995)
23, No. 4 (1994)
23, No. 3 (1994)
23, No. 2 (1994)
23, No. 1 (1994)
22, No. 4 (1993)
22, No. 3 (1993)
22, No. 2 (1993)
22, No. 1 (1993)
all top 5

Authors

16 Indrzejczak, Andrzej
16 Sayed Ahmed, Tarek
12 Kostrzycka, Zofia
12 Pietruszczak, Andrzej
12 Robles, Gemma
11 Graczyńska, Ewa Wanda
11 Rybakov, Vladimir Vladimirovich
11 Veloso, Paulo Augusto S.
10 Frankowski, Szymon
10 Nasieniewski, Marek
9 Kamide, Norihiro
9 Nowak, Marek
9 Tourlakis, George J.
8 Ciuciura, Janusz
8 Figallo, Aldo Victorio
8 Grygiel, Joanna
7 Cīrulis, Jānis
7 Jun, Young Bae
7 Kolany, Adam
7 Malinowski, Jacek
6 Łukowski, Piotr
6 Malinowski, Grzegorz
6 Pynko, Alexej P.
6 Salto, Francisco
6 Takano, Mitio
6 Ulrich, Dolph
5 Borzooei, Rajab Ali
5 Czelakowski, Janusz
5 Dzik, Wojciech
5 Haeusler, Edward Hermann
5 Jarmużek, Tomasz
5 Kowalski, Tomasz
5 Łazarz, Marcin
5 Mruczek-Nasieniewska, Krystyna
5 Németi, István
5 Orłowska, Ewa S.
5 Sági, Gábor
5 Shimura, Tatsuya
4 Béziau, Jean-Yves
4 Da Costa, Newton Carneiro Affonso
4 Geisler, Jacek
4 Inoué, Takao
4 Kaczmarek, Janusz
4 Połacik, Tomasz
4 Schumann, Andrew
4 Suzuki, Nobu-Yuki
4 Vasyukov, Vladimir Leonidovich
4 Weaver, George E.
4 Wos, Larry
3 Buszkowski, Wojciech
3 Chagrov, Aleksandr Vasil’evich
3 Doria, Francisco Antonio
3 Fitelson, Branden
3 Font, Josep Maria
3 Górnicka, Anetta
3 Gruszczyński, Rafał
3 Kabzinski, Jacek K.
3 Komori, Yuichi
3 Kulicki, Piotr
3 Leszczyńska-Jasion, Dorota
3 Manzano, María
3 Martins, Manuel António
3 Ono, Hiroakira
3 Pelaitay, Gustavo
3 Sain, Ildikó
3 Sasaki, Katsumi
3 Song, Seok-Zun
3 Staruch, Bogdan
3 Staruch, Bożena
3 Świȩtorzecka, Kordula
3 Voutsadakis, George
3 Wansing, Heinrich Theodor
3 Woleński, Jan
3 Ziliani, Alicia
2 Adillon, Romà J.
2 Alves, Elias Humberto
2 Bartol, Wiktor
2 Benatti, Haroldo G.
2 Biegańska, Teresa
2 Bilat, Andrzej
2 Bryll, Grzegorz
2 Bunder, Martin W.
2 Caceres-Duque, Luis F.
2 De Queiroz, Ruy José Guerra Barretto
2 Demri, Stéphane P.
2 Dietrich, Jens
2 Dywan, Zdzisław
2 Ernst, Zachary
2 Frias, Marcelo Fabián
2 Gencer, Çigdem
2 George, Benjamin R.
2 Golovanov, Mikhail I.
2 Goranko, Valentin F.
2 Haeberer, Armando Martín
2 Hałkowska, Katarzyna
2 Hasimoto, Yasusi
2 Ishii, Tadao
2 Khaled, Mohamed
2 Kibedi, Francisco
2 Klonowski, Mateusz
...and 262 more Authors

Publications by Year

Citations contained in zbMATH Open

208 Publications have been cited 526 times in 396 Documents Cited by Year
Formalization of a plausible inference. Zbl 1060.03027
Frankowski, Szymon
19
2004
Models of cubic theories. Zbl 1336.03046
Sudoplatov, Sergey
15
2014
Cut-free hypersequent calculus for S4.3. Zbl 1287.03046
Indrzejczak, Andrzej
12
2012
Logics of essence and accident. Zbl 1117.03305
Marcos, João
11
2005
A certain conception of rough sets in topological Boolean algebras. Zbl 0776.04004
Chuchro, Marek
11
1993
Gentzen’s cut-free calculus versus the logic of paradox. Zbl 1286.03084
Pynko, Alexej P.
10
2010
13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood. Zbl 1133.03301
Béziau, Jean-Yves
10
2006
Completeness for various logics of essence and accident. Zbl 1286.03073
Steinsvold, Christopher
9
2008
A modified subformula property for the modal logics K5 and K5D. Zbl 1038.03022
Takano, Mitio
9
2001
\(p\)-consequence versus \(q\)-consequence operations. Zbl 1066.03025
Frankowski, Szymon
9
2004
An essay on unification and inference rules for modal logics. Zbl 0952.03019
Rybakov, V. V.; Terziler, M.; Gencer, C.
8
1999
Sequent calculi for monotonic modal logics. Zbl 1117.03022
Indrzejczak, Andrzej
7
2005
A sequent calculus for Łukasiewicz’s three-valued logic based on Suszko’s bivalent semantics. Zbl 0963.03037
Béziau, Jean-Yves
7
1999
Products of tree languages. Zbl 1286.68277
Denecke, K.; Sarasit, N.
7
2011
On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039
Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy
7
2014
Kleene logic and inference. Zbl 1338.03046
Malinowski, Grzegorz
6
2014
Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009
Dzik, Wojciech
6
2003
Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043
Jarmużek, Tomasz; Malinowski, Jacek
6
2019
Remarks on Hertz algebras and implicative semilattices. Zbl 1114.03312
Figallo, A. jun.; Ziliani, A.
5
2005
Syntactical and semantical characterization of a class of paraconsistent logics. Zbl 1117.03036
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
5
2005
A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154
Metcalfe, George
5
2009
Remarks on projective unifiers. Zbl 1286.03038
Dzik, Wojciech
5
2011
Remarks on Heyting algebras with tense operators. Zbl 1287.03110
Figallo, A. V.; Pelaitay, G.
5
2012
On the equivalence between some systems of non-classical logic. Zbl 0862.03016
Sette, Antonio Mario; Alves, Elias H.
5
1996
Modal interpretation of Heyting-Brouwer logic. Zbl 0861.03010
Łukowski, Piotr
5
1996
Boolean programs and quantified propositional proof systems. Zbl 0951.03052
Cook, Stephen; Soltys, Michael
4
1999
Fregean logics and the strong amalgamation property. Zbl 1286.03123
Czelakowski, Janusz
4
2007
The non-reflexive counterpart of Grz. Zbl 1286.03066
Litak, Tadeusz
4
2007
Paraconsitent logics obtained by J.-Y. Béziau’s method by means of some non-normal modal logics. Zbl 1286.03103
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
4
2008
Pseudo-BCI-logic. Zbl 1287.03058
Dymek, Grzegorz; Kozanecka-Dymek, Anna
4
2013
Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239
Indrzejczak, Andrzej
4
2017
A semantics for equational hybrid propositional type theory. Zbl 1318.03031
Manzano, María; Martins, Manuel A.; Huertas, Antonia
4
2014
Sequential calculi for many-valued logics with equality determinant. Zbl 1061.03028
Pynko, Alexej P.
4
2004
Some properties of \(H\)-irreducible lattices. Zbl 1059.06005
Grygiel, Joanna
4
2004
A relationship between Rauszer’s H-B logic and Nelson’s logic. Zbl 1066.03041
Kamide, Norihiro
4
2004
An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317
Kamide, Norihiro
4
2006
A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024
Kürbis, Nils
4
2019
Rule-generation theorem and its applications. Zbl 1437.03161
Indrzejczak, Andrzej
4
2018
Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002
Aoto, Takahito; Ono, Hiroakira
3
1994
Combining time and knowledge, semantic approach. Zbl 1117.03021
Calardo, E.; Rybakov, V.
3
2005
Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035
Bueno-Soler, Juliana; Carnielli, Walter
3
2005
On the injectivity of the Leibniz operator. Zbl 1117.03351
Descalço, L.; Martins, Manuel A.
3
2005
A finitary 1-equivalential logic not finitely equivalential. Zbl 0841.03037
Dellunde i Clavé, Pilar
3
1995
Paraconsistent extensions of positive logic. Zbl 0854.03022
Tuziak, Roman
3
1996
Ontology can turn negative results to positive. (An overview of recent results). Zbl 0865.03019
Németi, István
3
1996
Kripke semantics for logics with BCK implication. Zbl 0854.03058
MacCaull, Wendy
3
1996
Mixing modal and sufficiency operators. Zbl 0953.03020
Düntsch, Ivo; Orłowska, Ewa
3
1999
An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068
Blasio, Carolina; Marcos, João; Wansing, Heinrich
3
2017
Neat embedding is not sufficient for complete representability. Zbl 1286.03174
Sayed Ahmed, Tarek
3
2007
On substructural logics preserving degrees of truth. Zbl 1286.03079
Font, Josep Maria
3
2007
Entailment relations and/as truth values. Zbl 1286.03088
Shramko, Yaroslav; Wansing, Heinrich
3
2007
Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108
Frankowski, Szymon
3
2008
An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102
Kamide, Norihiro
3
2010
A note on nuclei of quantale algebras. Zbl 1286.06028
Solovyov, Sergey A.
3
2011
A Segerberg-like connection between certain classes of propositional logics. Zbl 1287.03048
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
3
2013
Characterization of Medvedev’s logic by means of Kubiński’s frames. Zbl 1287.03061
Łazarz, Marcin
3
2013
Algebraizability and Beth’s theorem for equivalential logics. Zbl 0790.03059
Herrmann, Burghard
3
1993
On the embedding of Nelson’s logics. Zbl 1034.03028
Odintsov, S. P.
3
2002
Logical approach to \(p\)-adic probabilities. Zbl 1133.03327
Khrennikov, Andrei; Schumann, Andrew
3
2006
Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242
Maffezioli, Paolo; Orlandelli, Eugenio
3
2019
A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106
Klonowski, Mateusz
3
2018
Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026
Kürbis, Nils
3
2019
(H)-Hilbert algebras are not the same as Hertz algebras. Zbl 1114.03311
Cīrulis, Jānis
2
2003
Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL. Zbl 1117.03321
Robles, Gemma; Méndez, José M.
2
2005
A cut-free system for 16-valued reasoning. Zbl 1117.03320
Kamide, Norihiro
2
2005
Even tabular modal logics sometimes do not have independent base for admissible rules. Zbl 0847.03014
Rybakov, Vladimir V.
2
1995
The undecidability of formal definitions in the theory of finite groups. Zbl 0829.03008
da Costa, Newton C. A.; Doria, Francisco A.; Tsuji, Marcelo
2
1995
Fork algebras are representable. Zbl 0831.03036
Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.; Veloso, Paulo A. S.
2
1995
The Craig interpolation theorem in multi-modal logics. Zbl 0841.03006
Madarász, Judit
2
1995
On the equivalence between two systems of paraconsistent logic. Zbl 0853.03006
Sette, A. M.; Alves, E. H.
2
1995
On the free equivalential algebra with three generators. Zbl 0793.03078
Wroński, Andrzej
2
1993
An explicit basis for rules admissible in modal system S4. Zbl 0961.03021
Rybakov, Vladimir V.
2
1999
Identity, equality, nameability and completeness. Zbl 1423.03042
Manzano, Maria; Moreno, Manuel Crescencio
2
2017
A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\). Zbl 1470.03014
Degauquier, Vincent
2
2018
Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz. Zbl 1286.03095
Sochacki, Robert
2
2007
Non-Archimedean valued predicate logic. Zbl 1286.03094
Schumann, Andrew
2
2007
Labelled tableau calculi for weak modal logics. Zbl 1286.03061
Indrzejczak, Andrzej
2
2007
The \(\mathcal{NS}_{n\times m}\)-propositional calculus. Zbl 1286.03182
Figallo, A. V.; Sanza, C. A.
2
2008
Frontiers of the discursive logic. Zbl 1286.03100
Ciuciura, Janusz
2
2008
Variations on Martin’s axiom and omitting types from algebraic logic, lattice theory and topology. Zbl 1286.03148
Sayed Ahmed, Tarek
2
2008
The weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03105
Nasieniewski, Marek; Pietruszczak, Andrzej
2
2008
New axiomatizations of the weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03106
Nasieniewski, Marek; Pietruszczak, Andrzej
2
2009
Between the logic of Parmenides and the logic of liar. Zbl 1286.03023
Świȩtorzecka, Kordula
2
2009
Suszko’s contribution to the theory of nonaxiomatic proof systems. Zbl 1286.03004
Indrzejczak, Andrzej
2
2009
Béziau’s logics obtained by means of quasi-regular logics. Zbl 1286.03104
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
2
2009
On type-2 fuzzy logic and linguistic summarization of databases. Zbl 1286.03097
Niewiadomski, Adam
2
2009
Residuation subreducts of pocrigs. Zbl 1286.06026
Cīrulis, Jānis
2
2010
Vaught’s theorem holds for \(L_{2}\) but fails for \(L_{n}\) when \(n > 2\). Zbl 1286.03126
Khaled, Mohamed; Sayed Ahmed, Tarek
2
2010
Slaney’s logic \(\mathrm{F}^{**}\) is constructive logic with strong negation. Zbl 1286.03035
Spinks, M.; Veroff, R.
2
2010
A note on bisimulations of finite Kripke models. Zbl 1287.03080
Kruszelnicka, Małgorzata
2
2012
On the weakest modal logics defining Jaskowski’s logic \(\mathrm{D}_{2}\) and the \(\mathrm{D}_{2}\)-consequence. Zbl 1287.03049
Nasieniewski, Marek; Pietruszczak, Andrzej
2
2012
Note on some characterization of distributive lattices of finite length. Zbl 1352.06007
Łazarz, Marcin; Siemieńczuk, Krzysztof
2
2015
From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. Zbl 1423.03241
von Plato, Jan
2
2017
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech
2
2017
A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016
Kulicki, Piotr
2
2014
Finite bases of admissible inference rules for modal logics of width 2. Zbl 0897.03016
Rimatskiy, V. V.
2
1997
Paraconsistent logics! Zbl 0926.03004
Restall, Greg
2
1997
Carnot’s logic. Zbl 0796.03032
da Costa, Newton C. A.; Béziau, Jean-Yves
2
1993
Representation theorems for implication structures. Zbl 0881.03042
Buszkowski, Wojciech
2
1996
On negatively restricting Boolean algebras. Zbl 0881.03035
Zuber, R.
2
1997
On GE-algebras. Zbl 07368983
Bandaru, Ravikumar; Borumand Saeid, Arsham; Jun, Young Bae
2
2021
Modal Boolean connexive logics: semantics and tableau approach. Zbl 1446.03043
Jarmużek, Tomasz; Malinowski, Jacek
6
2019
A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 1477.03024
Kürbis, Nils
4
2019
Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 1477.03242
Maffezioli, Paolo; Orlandelli, Eugenio
3
2019
Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026
Kürbis, Nils
3
2019
Positive implicative soju ideals in BCK-algebras. Zbl 1442.06010
Xin, Xiao Long; Borzooei, Rajab Ali; Jun, Young Bae
1
2019
A modified subformula property for the modal logic S4.2. Zbl 1477.03059
Takano, Mitio
1
2019
Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 1477.03244
Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin
1
2019
The method of Socratic proofs meets correspondence analysis. Zbl 1477.03100
Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi
1
2019
An investigation into intuitionistic logic with identity. Zbl 1446.03024
Chlebowski, Szymon; Leszczyńska-Jasion, Dorota
1
2019
Rule-generation theorem and its applications. Zbl 1437.03161
Indrzejczak, Andrzej
4
2018
A post-style proof of completeness theorem for symmetric relatedness logic S. Zbl 1437.03106
Klonowski, Mateusz
3
2018
A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\). Zbl 1470.03014
Degauquier, Vincent
2
2018
Int-soft ideals of pseudo MV-algebras. Zbl 1475.06008
Jun, Young B.; Song, Seok-Zun; Bordbar, Hashem
1
2018
On the definability of Leśniewski’s copula ‘is’ in some ontology-like theories. Zbl 1437.03107
Łyczak, Marcin; Pietruszczak, Andrzej
1
2018
Identity, equality, nameability and completeness. II. Zbl 1437.03051
Manzano, Maria; Moreno, Manuel Crescenio
1
2018
Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239
Indrzejczak, Andrzej
4
2017
An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068
Blasio, Carolina; Marcos, João; Wansing, Heinrich
3
2017
Identity, equality, nameability and completeness. Zbl 1423.03042
Manzano, Maria; Moreno, Manuel Crescencio
2
2017
From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. Zbl 1423.03241
von Plato, Jan
2
2017
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech
2
2017
Bayesian propositional logic. Zbl 1423.03067
Jarmuzek, Tomasz; Klonowski, Mateusz; Malinowski, Jacek
1
2017
On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II. Zbl 1423.03063
Pietruszczak, Andrzej
1
2017
A syntactic approach to closure operation. Zbl 1423.06019
Nowak, Marek
1
2017
Logics with impossibility as the negation and regular extensions of the deontic logic \(\mathbf D2\). Zbl 1423.03060
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
1
2017
Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. Zbl 1423.03070
Karpenko, Alexander S.
1
2017
On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I. Zbl 1423.03062
Pietruszczak, Andrzej
1
2017
A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4. Zbl 1423.03066
Robles, Gemma; López, S. M.; Blanco, J. M.; Recio, M. M.; Paradela, J. R.
1
2016
Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus. Zbl 1423.03058
Indrzejczak, Andrzej
1
2016
Interpolation in normal extensions of the Brouwer logic. Zbl 1423.03059
Kostrzycka, Zofia
1
2016
Note on some characterization of distributive lattices of finite length. Zbl 1352.06007
Łazarz, Marcin; Siemieńczuk, Krzysztof
2
2015
Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096
Figallo, A. V.; Pelaitay, G.
2
2015
An observation concerning Porte’s rule in modal logic. Zbl 1357.03053
French, Rohan; Humberstone, Lloyd
1
2015
Categorical abstract algebraic logic referential \(\pi\)-institutions. Zbl 1368.03071
Voutsadakis, George
1
2015
Closure operators on complete almost distributive lattices. III. Zbl 1321.06010
Rao, G. C.; Undurthi, Venugopalam
1
2015
A short and readable proof of cut elimination for two first-order modal logics. Zbl 1357.03086
Gao, Feng; Tourlakis, George
1
2015
Models of cubic theories. Zbl 1336.03046
Sudoplatov, Sergey
15
2014
On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039
Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy
7
2014
Kleene logic and inference. Zbl 1338.03046
Malinowski, Grzegorz
6
2014
A semantics for equational hybrid propositional type theory. Zbl 1318.03031
Manzano, María; Martins, Manuel A.; Huertas, Antonia
4
2014
A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016
Kulicki, Piotr
2
2014
On a four-valued modal logic with deductive implication. Zbl 1336.03023
Coniglio, Marcelo E.; Figallo, Martin
1
2014
Minimal sequent calculi for monotonic chain finitely-valued logics. Zbl 1338.03047
Pynko, Alexej
1
2014
Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems. Zbl 1322.03021
Ciuciura, Janusz
1
2014
Pseudo-BCI-logic. Zbl 1287.03058
Dymek, Grzegorz; Kozanecka-Dymek, Anna
4
2013
A Segerberg-like connection between certain classes of propositional logics. Zbl 1287.03048
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
3
2013
Characterization of Medvedev’s logic by means of Kubiński’s frames. Zbl 1287.03061
Łazarz, Marcin
3
2013
Congruences and ideals in a distributive lattice with respect to a derivation. Zbl 1287.06009
Sambasiva Rao, M.
1
2013
On some application of residuated mappings. Zbl 1287.06006
Nowak, Marek
1
2013
A proof theoretic tool for first-order modal logic. Zbl 1287.03052
Schwartz, Yehuda; Tourlakis, George
1
2013
Cut-free hypersequent calculus for S4.3. Zbl 1287.03046
Indrzejczak, Andrzej
12
2012
Remarks on Heyting algebras with tense operators. Zbl 1287.03110
Figallo, A. V.; Pelaitay, G.
5
2012
A note on bisimulations of finite Kripke models. Zbl 1287.03080
Kruszelnicka, Małgorzata
2
2012
On the weakest modal logics defining Jaskowski’s logic \(\mathrm{D}_{2}\) and the \(\mathrm{D}_{2}\)-consequence. Zbl 1287.03049
Nasieniewski, Marek; Pietruszczak, Andrzej
2
2012
Single axiom for relevant implication. Zbl 1286.03089
Ulrich, Dolph
1
2012
Semantical investigations on some weak modal logics. I. Zbl 1286.03070
Pietruszczak, Andrzej
1
2012
Semantical investigations on some weak modal logics. II. Zbl 1287.03050
Pietruszczak, Andrzej
1
2012
Normal filters of distributive lattices. Zbl 1287.06008
Sambasiva Rao, M.
1
2012
Partial probability functions and intuitionistic logic. Zbl 1287.03023
Lepage, François
1
2012
Products of tree languages. Zbl 1286.68277
Denecke, K.; Sarasit, N.
7
2011
Remarks on projective unifiers. Zbl 1286.03038
Dzik, Wojciech
5
2011
A note on nuclei of quantale algebras. Zbl 1286.06028
Solovyov, Sergey A.
3
2011
Gentzen’s cut-free calculus versus the logic of paradox. Zbl 1286.03084
Pynko, Alexej P.
10
2010
An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102
Kamide, Norihiro
3
2010
Residuation subreducts of pocrigs. Zbl 1286.06026
Cīrulis, Jānis
2
2010
Vaught’s theorem holds for \(L_{2}\) but fails for \(L_{n}\) when \(n > 2\). Zbl 1286.03126
Khaled, Mohamed; Sayed Ahmed, Tarek
2
2010
Slaney’s logic \(\mathrm{F}^{**}\) is constructive logic with strong negation. Zbl 1286.03035
Spinks, M.; Veroff, R.
2
2010
Weak implication on generalized Łukasiewicz algebras of order \(n\). Zbl 1286.03180
Figallo, A. V.; Gallardo, C.; Ziliani, A.
1
2010
A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154
Metcalfe, George
5
2009
New axiomatizations of the weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03106
Nasieniewski, Marek; Pietruszczak, Andrzej
2
2009
Between the logic of Parmenides and the logic of liar. Zbl 1286.03023
Świȩtorzecka, Kordula
2
2009
Suszko’s contribution to the theory of nonaxiomatic proof systems. Zbl 1286.03004
Indrzejczak, Andrzej
2
2009
Béziau’s logics obtained by means of quasi-regular logics. Zbl 1286.03104
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
2
2009
On type-2 fuzzy logic and linguistic summarization of databases. Zbl 1286.03097
Niewiadomski, Adam
2
2009
On two open questions concerning the implicational fragment of R-mingle. Zbl 1286.03041
Ulrich, Dolph
1
2009
Classes of algebras that are not closed under completions. Zbl 1286.03170
Khaled, Mohamed; Sayed Ahmed, Tarek
1
2009
Semantics for regular logics connected with Jaśkowski’s \(\mathrm{D}_2\). Zbl 1286.03107
Nasieniewski, Marek; Pietruszczak, Andrzej
1
2009
Completeness for various logics of essence and accident. Zbl 1286.03073
Steinsvold, Christopher
9
2008
Paraconsitent logics obtained by J.-Y. Béziau’s method by means of some non-normal modal logics. Zbl 1286.03103
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
4
2008
Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108
Frankowski, Szymon
3
2008
The \(\mathcal{NS}_{n\times m}\)-propositional calculus. Zbl 1286.03182
Figallo, A. V.; Sanza, C. A.
2
2008
Frontiers of the discursive logic. Zbl 1286.03100
Ciuciura, Janusz
2
2008
Variations on Martin’s axiom and omitting types from algebraic logic, lattice theory and topology. Zbl 1286.03148
Sayed Ahmed, Tarek
2
2008
The weakest regular modal logic defining Jaśkowski’s logic \(\mathrm D_2\). Zbl 1286.03105
Nasieniewski, Marek; Pietruszczak, Andrzej
2
2008
Tableau system for logic of categorial propositions and decidability. Zbl 1286.03109
Jarmużek, Tomasz
1
2008
What is a formalized ontology today? An example of IIC. Zbl 1286.03017
Kaczmarek, Janusz
1
2008
The logics of analytic equivalence. Zbl 1286.03110
Nowak, Marek
1
2008
Fregean logics and the strong amalgamation property. Zbl 1286.03123
Czelakowski, Janusz
4
2007
The non-reflexive counterpart of Grz. Zbl 1286.03066
Litak, Tadeusz
4
2007
Neat embedding is not sufficient for complete representability. Zbl 1286.03174
Sayed Ahmed, Tarek
3
2007
On substructural logics preserving degrees of truth. Zbl 1286.03079
Font, Josep Maria
3
2007
Entailment relations and/as truth values. Zbl 1286.03088
Shramko, Yaroslav; Wansing, Heinrich
3
2007
Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz. Zbl 1286.03095
Sochacki, Robert
2
2007
Non-Archimedean valued predicate logic. Zbl 1286.03094
Schumann, Andrew
2
2007
Labelled tableau calculi for weak modal logics. Zbl 1286.03061
Indrzejczak, Andrzej
2
2007
On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\). Zbl 1286.03063
Kostrzycka, Zofia
1
2007
The basic constructive logic for negation-consistency defined with a propositional falsity constant. Zbl 1286.03083
Méndez, José M.; Robles, Gemma; Salto, Francisco
1
2007
13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood. Zbl 1133.03301
Béziau, Jean-Yves
10
2006
An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317
Kamide, Norihiro
4
2006
Logical approach to \(p\)-adic probabilities. Zbl 1133.03327
Khrennikov, Andrei; Schumann, Andrew
3
2006
...and 108 more Documents
all top 5

Cited by 403 Authors

15 Kamide, Norihiro
12 Indrzejczak, Andrzej
12 Sudoplatov, Sergeĭ Vladimirovich
8 Figallo, Aldo Victorio
8 Humberstone, Lloyd
8 Pailos, Federico Matias
8 Pelaitay, Gustavo
8 Wansing, Heinrich Theodor
7 Petrukhin, Yaroslav Igorevich
6 Jarmużek, Tomasz
6 Kulpeshov, Beibut Shaiykovich
6 Nasieniewski, Marek
6 Pietruszczak, Andrzej
6 Sayed Ahmed, Tarek
5 Béziau, Jean-Yves
5 Fan, Jie
5 Jansana, Ramon
5 Jun, Young Bae
5 Klonowski, Mateusz
5 Pynko, Alexej P.
5 Robles, Gemma
5 Szmuc, Damian Enrique
4 Emel’yanov, Dmitriĭ Yur’evich
4 Font, Josep Maria
4 Kostrzycka, Zofia
4 Martins, Manuel António
4 Pascual, Inés B.
4 Shramko, Yaroslav V.
4 Wu, Weizhi
3 Balbiani, Philippe
3 Bandaru, Ravikumar
3 Barrio, Eduardo Alejandro
3 Bashmakov, Stepan Igorevich
3 Ciabattoni, Agata
3 Citkin, Alex
3 Ciuciura, Janusz
3 Doria, Francisco Antonio
3 Dzik, Wojciech
3 Égré, Paul
3 Ferenczi, Miklós
3 Gencer, Çigdem
3 Grigor’ev, Oleg
3 Gyenis, Zalán
3 Kitpratyakul, Pongsakorn
3 Kürbis, Nils
3 Metcalfe, George
3 Mruczek-Nasieniewska, Krystyna
3 Németi, István
3 Nowak, Marek
3 Paoli, Francesco
3 Pibaljommee, Bundit
3 Rimatskij, V. V.
3 Ripley, David
3 Shangin, Vasily
3 Simon, András
3 Takano, Mitio
3 Tishkovsky, Dmitry
2 Andréka, Hajnal
2 Birštunas, Adomas
2 Borumand Saeid, Arsham
2 Buşneag, Dumitru
2 Chen, Jia
2 Cīrulis, Jānis
2 Czédli, Gábor
2 Da Costa, Newton Carneiro Affonso
2 Da Ré, Bruno
2 Denecke, Klaus Dieter
2 Diaconescu, Răzvan
2 Estrada-González, Luis
2 Ferguson, Thomas Macaulay
2 Figueroa-García, Juan Carlos
2 Gaĭnă, Daniel
2 Ghilardi, Silvio
2 Gilbert, David Robert
2 Giordani, Alessandro
2 Goré, Rajeev Prabhakar
2 Goudsmit, Jeroen P.
2 Grygiel, Joanna
2 Kowalski, Tomasz
2 Lellmann, Björn
2 Liao, Shilong
2 Lukyanchuk, Alexandra N.
2 Łyczak, Marcin
2 Ma, Minghui
2 Malinowski, Jacek
2 Manzano, María
2 Marcos, João
2 Moraschini, Tommaso
2 Omori, Hitoshi
2 Ono, Hiroakira
2 Pan, Tianqun
2 Pascucci, Matteo
2 Peterson, Clayton
2 Pigozzi, Don Leonard
2 Ramanayake, Revantha
2 Sain, Ildikó
2 Sano, Katsuhiko
2 Schmidt, Renate A.
2 Schumann, Andrew
2 Shu, Lan
...and 303 more Authors
all top 5

Cited in 72 Journals

60 Studia Logica
26 Logic and Logical Philosophy
24 Bulletin of the Section of Logic
22 Logica Universalis
21 Journal of Philosophical Logic
16 Journal of Applied Non-Classical Logics
13 Annals of Pure and Applied Logic
12 The Review of Symbolic Logic
10 Journal of Logic, Language and Information
9 Notre Dame Journal of Formal Logic
8 Theoretical Computer Science
7 Algebra and Logic
7 Archive for Mathematical Logic
7 Mathematical Logic Quarterly (MLQ)
7 Soft Computing
7 Asian-European Journal of Mathematics
6 Algebra Universalis
6 Fuzzy Sets and Systems
5 Information Sciences
5 Synthese
4 The Journal of Symbolic Logic
3 Siberian Mathematical Journal
3 The Bulletin of Symbolic Logic
3 Central European Journal of Mathematics
3 Journal of Siberian Federal University. Mathematics & Physics
2 Computers & Mathematics with Applications
2 Lithuanian Mathematical Journal
2 Applied Mathematics and Computation
2 Journal of Algebra
2 International Journal of Approximate Reasoning
2 Lobachevskii Journal of Mathematics
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
2 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
2 Journal of Logical and Algebraic Methods in Programming
2 Algebraic Structures and their Applications
1 International Journal of General Systems
1 Information Processing Letters
1 Mathematical Notes
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Annales Universitatis Mariae Curie-Skłodowska. Sectio A. Mathematica
1 Demonstratio Mathematica
1 Kyungpook Mathematical Journal
1 Mathematica Slovaca
1 History and Philosophy of Logic
1 Order
1 SIAM Journal on Discrete Mathematics
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques
1 Indagationes Mathematicae. New Series
1 Russian Mathematics
1 Journal of the Egyptian Mathematical Society
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Matematicheskie Trudy
1 Foundations of Science
1 Annales Mathematicae Silesianae
1 Nihonkai Mathematical Journal
1 Journal of Intelligent and Fuzzy Systems
1 Journal of Algebra and its Applications
1 Journal of Applied Logic
1 Thai Journal of Mathematics
1 Iranian Journal of Fuzzy Systems
1 Logical Methods in Computer Science
1 São Paulo Journal of Mathematical Sciences
1 Formalized Mathematics
1 Eurasian Mathematical Journal
1 Afrika Matematika
1 Arabian Journal of Mathematics
1 European Journal of Mathematics
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year