×

zbMATH — the first resource for mathematics

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

Publications by Year

Citations contained in zbMATH Open

195 Publications have been cited 466 times in 357 Documents Cited by Year
Formalization of a plausible inference. Zbl 1060.03027
Frankowski, Szymon
16
2004
Models of cubic theories. Zbl 1336.03046
Sudoplatov, Sergey
15
2014
A certain conception of rough sets in topological Boolean algebras. Zbl 0776.04004
Chuchro, Marek
11
1993
Cut-free hypersequent calculus for S4.3. Zbl 1287.03046
Indrzejczak, Andrzej
11
2012
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
Logics of essence and accident. Zbl 1117.03305
Marcos, João
9
2005
A modified subformula property for the modal logics K5 and K5D. Zbl 1038.03022
Takano, Mitio
9
2001
Completeness for various logics of essence and accident. Zbl 1286.03073
Steinsvold, Christopher
8
2008
\(p\)-consequence versus \(q\)-consequence operations. Zbl 1066.03025
Frankowski, Szymon
8
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
Kleene logic and inference. Zbl 1338.03046
Malinowski, Grzegorz
6
2014
A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154
Metcalfe, George
5
2009
Products of tree languages. Zbl 1286.68277
Denecke, K.; Sarasit, N.
5
2011
Remarks on projective unifiers. Zbl 1286.03038
Dzik, Wojciech
5
2011
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 Łukasiewicz’s three-valued logic based on Suszko’s bivalent semantics. Zbl 0963.03037
Béziau, Jean-Yves
5
1999
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
Fregean logics and the strong amalgamation property. Zbl 1286.03123
Czelakowski, Janusz
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
Remarks on Heyting algebras with tense operators. Zbl 1287.03110
Figallo, A. V.; Pelaitay, G.
4
2012
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
Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009
Dzik, Wojciech
4
2003
An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317
Kamide, Norihiro
4
2006
A semantics for equational hybrid propositional type theory. Zbl 1318.03031
Manzano, María; Martins, Manuel A.; Huertas, Antonia
4
2014
A finitary 1-equivalential logic not finitely equivalential. Zbl 0841.03037
Dellunde i Clavé, Pilar
3
1995
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
The non-reflexive counterpart of Grz. Zbl 1286.03066
Litak, Tadeusz
3
2007
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
Pseudo-BCI-logic. Zbl 1287.03058
Dymek, Grzegorz; Kozanecka-Dymek, Anna
3
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
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
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
Boolean programs and quantified propositional proof systems. Zbl 0951.03052
Cook, Stephen; Soltys, Michael
3
1999
Mixing modal and sufficiency operators. Zbl 0953.03020
Düntsch, Ivo; Orłowska, Ewa
3
1999
Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. Zbl 0808.03002
Aoto, Takahito; Ono, Hiroakira
3
1994
Logical approach to \(p\)-adic probabilities. Zbl 1133.03327
Khrennikov, Andrei; Schumann, Andrew
3
2006
Rule-generation theorem and its applications. Zbl 1437.03161
Indrzejczak, Andrzej
3
2018
Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239
Indrzejczak, Andrzej
3
2017
An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068
Blasio, Carolina; Marcos, João; Wansing, Heinrich
3
2017
On the free equivalential algebra with three generators. Zbl 0793.03078
Wroński, Andrzej
2
1993
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
On the equivalence between two systems of paraconsistent logic. Zbl 0853.03006
Sette, A. M.; Alves, E. H.
2
1995
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
Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108
Frankowski, Szymon
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
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
On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039
Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy
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
A modal extension of first-order classical logic. I. Zbl 1046.03009
Tourlakis, George; Kibedi, Francisco
2
2003
A modal extension of first order classical logic. II. Zbl 1051.03020
Tourlakis, George; Kibedi, Francisco
2
2004
On set theory as a foundation for computer science. Zbl 1051.03043
da Costa, N. C. A.; Doria, F. A.
2
2004
The logic B and the reductio axioms. Zbl 1051.03022
Robles, Gemma; Méndez, José M.
2
2004
Paraconsistent extensions of positive logic. Zbl 0854.03022
Tuziak, Roman
2
1996
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
An explicit basis for rules admissible in modal system S4. Zbl 0961.03021
Rybakov, Vladimir V.
2
1999
Representation theorems for implication structures. Zbl 0881.03042
Buszkowski, Wojciech
2
1996
On negatively restricting Boolean algebras. Zbl 0881.03035
Zuber, R.
2
1997
Algebraizability and Beth’s theorem for equivalential logics. Zbl 0790.03059
Herrmann, Burghard
2
1993
Extended Frege and Gaussian elimination. Zbl 1032.03048
Soltys, Michael
2
2002
Unification in common knowledge logics. Zbl 1036.03012
Rybakov, V. V.
2
2002
On the embedding of Nelson’s logics. Zbl 1034.03028
Odintsov, S. P.
2
2002
Non-computability of the equational theory of polyadic algebras. Zbl 1037.03054
Sági, Gábor
2
2001
Hilbert’s new problem. Zbl 1037.03052
Wos, Larry; Thiele, Ruediger
2
2001
A concise axiomatization of \(\text{RM}_\rightarrow\). Zbl 1036.03016
Ernst, Zachary; Fitelson, Branden; Harris, Kenneth; Wos, Larry
2
2001
On axiomatic products of PDL and S5: Substitution, tests and knowledge. Zbl 1037.03032
Schmidt, Renate A.; Tishkovsky, Dmitry
2
2002
Constructing counter-models for modal logic K4 from refutation trees. Zbl 1036.03015
Mouri, Motohiko
2
2002
Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321
Dzik, Wojciech
2
2006
Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096
Figallo, A. V.; Pelaitay, G.
2
2015
A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\). Zbl 1470.03014
Degauquier, Vincent
2
2018
A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 07124774
Kürbis, Nils
2
2019
On GE-algebras. Zbl 07368983
Bandaru, Ravikumar; Borumand Saeid, Arsham; Jun, Young Bae
1
2021
A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. Zbl 07124774
Kürbis, Nils
2
2019
Full cut elimination and interpolation for intuitionistic logic with existence predicate. Zbl 07124777
Maffezioli, Paolo; Orlandelli, Eugenio
2
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 07124769
Takano, Mitio
1
2019
Functional completeness in \(\mathbf{CPL}\) via correspondence analysis. Zbl 07124771
Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin
1
2019
The method of Socratic proofs meets correspondence analysis. Zbl 07124775
Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi
1
2019
Two treatments of definite descriptions in intuitionist negative free logic. Zbl 1446.03026
Kürbis, Nils
1
2019
Rule-generation theorem and its applications. Zbl 1437.03161
Indrzejczak, Andrzej
3
2018
A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\). Zbl 1470.03014
Degauquier, Vincent
2
2018
Identity, equality, nameability and completeness. II. Zbl 1437.03051
Manzano, Maria; Moreno, Manuel Crescenio
1
2018
Int-soft ideals of pseudo MV-algebras. Zbl 06983877
Jun, Young B.; Song, Seok-Zun; Bordbar, Hashem
1
2018
Cut elimination theorem for non-commutative hypersequent calculus. Zbl 1423.03239
Indrzejczak, Andrzej
3
2017
An inferentially many-valued two-dimensional notion of entailment. Zbl 1423.03068
Blasio, Carolina; Marcos, João; Wansing, Heinrich
3
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
Identity, equality, nameability and completeness. Zbl 1423.03042
Manzano, Maria; Moreno, Manuel Crescencio
2
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
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
Interpolation in normal extensions of the Brouwer logic. Zbl 1423.03059
Kostrzycka, Zofia
1
2016
Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus. Zbl 1423.03058
Indrzejczak, Andrzej
1
2016
Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras. Zbl 1357.03096
Figallo, A. V.; Pelaitay, G.
2
2015
Note on some characterization of distributive lattices of finite length. Zbl 1352.06007
Łazarz, Marcin; Siemieńczuk, Krzysztof
2
2015
A short and readable proof of cut elimination for two first-order modal logics. Zbl 1357.03086
Gao, Feng; Tourlakis, George
1
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
Models of cubic theories. Zbl 1336.03046
Sudoplatov, Sergey
15
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
On some logic with a relation imposed on formulae: tableau system \(\mathcal F\). Zbl 1336.03039
Jarmużek, Tomasz; Kaczkowski, Bartosz Jerzy
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
A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic. Zbl 1322.03016
Kulicki, Piotr
1
2014
Pseudo-BCI-logic. Zbl 1287.03058
Dymek, Grzegorz; Kozanecka-Dymek, Anna
3
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
11
2012
Remarks on Heyting algebras with tense operators. Zbl 1287.03110
Figallo, A. V.; Pelaitay, G.
4
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
A note on bisimulations of finite Kripke models. Zbl 1287.03080
Kruszelnicka, Małgorzata
1
2012
Products of tree languages. Zbl 1286.68277
Denecke, K.; Sarasit, N.
5
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
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
8
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
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
Plausible reasoning expressed by \(p\)-consequence. Zbl 1286.03108
Frankowski, Szymon
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
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
The non-reflexive counterpart of Grz. Zbl 1286.03066
Litak, Tadeusz
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
Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321
Dzik, Wojciech
2
2006
\(iH\)-propositional calculus. Zbl 1133.03314
Figallo, A. V.; Ramón, G.; Saad, S.
1
2006
On formulas of one variable in NEXT(KTB). Zbl 1133.03324
Kostrzycka, Zofia
1
2006
Weighted double skeletons. Zbl 1133.06301
Grygiel, Joanna
1
2006
Logics of essence and accident. Zbl 1117.03305
Marcos, João
9
2005
Sequent calculi for monotonic modal logics. Zbl 1117.03022
Indrzejczak, Andrzej
7
2005
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
Combining time and knowledge, semantic approach. Zbl 1117.03021
Calardo, E.; Rybakov, V.
3
2005
...and 95 more Documents
all top 5

Cited by 369 Authors

14 Kamide, Norihiro
12 Sudoplatov, Sergeĭ Vladimirovich
11 Indrzejczak, Andrzej
8 Wansing, Heinrich Theodor
7 Figallo, Aldo Victorio
7 Humberstone, Lloyd
7 Pailos, Federico Matias
7 Pelaitay, Gustavo
7 Petrukhin, Yaroslav Igorevich
6 Kulpeshov, Beibut Shaiykovich
6 Nasieniewski, Marek
6 Pietruszczak, Andrzej
6 Sayed Ahmed, Tarek
5 Béziau, Jean-Yves
5 Pynko, Alexej P.
5 Robles, Gemma
4 Emel’yanov, Dmitriĭ Yur’evich
4 Fan, Jie
4 Font, Josep Maria
4 Jansana, Ramon
4 Jun, Young Bae
4 Kostrzycka, Zofia
4 Martins, Manuel António
4 Pascual, Inés B.
4 Shramko, Yaroslav V.
4 Szmuc, Damian Enrique
4 Wu, Weizhi
3 Barrio, Eduardo Alejandro
3 Bashmakov, Stepan Igorevich
3 Ciabattoni, Agata
3 Citkin, Alex
3 Doria, Francisco Antonio
3 Égré, Paul
3 Ferenczi, Miklós
3 Grigor’ev, Oleg
3 Gyenis, Zalán
3 Jarmużek, Tomasz
3 Metcalfe, George
3 Mruczek-Nasieniewska, Krystyna
3 Németi, István
3 Nowak, Marek
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 Balbiani, Philippe
2 Bandaru, Ravikumar
2 Birštunas, Adomas
2 Borumand Saeid, Arsham
2 Buşneag, Dumitru
2 Chen, Jia
2 Cīrulis, Jānis
2 Ciuciura, Janusz
2 Czédli, Gábor
2 Da Costa, Newton Carneiro Affonso
2 Denecke, Klaus Dieter
2 Diaconescu, Răzvan
2 Dzik, Wojciech
2 Figueroa-García, Juan Carlos
2 Gaĭnă, Daniel
2 Gencer, Çigdem
2 Ghilardi, Silvio
2 Gilbert, David Robert
2 Goré, Rajeev Prabhakar
2 Goudsmit, Jeroen P.
2 Grygiel, Joanna
2 Kitpratyakul, Pongsakorn
2 Kowalski, Tomasz
2 Kürbis, Nils
2 Lellmann, Björn
2 Liao, Shilong
2 Lukyanchuk, Alexandra N.
2 Ma, Minghui
2 Malinowski, Jacek
2 Manzano, María
2 Marcos, João
2 Omori, Hitoshi
2 Ono, Hiroakira
2 Pan, Tianqun
2 Paoli, Francesco
2 Peterson, Clayton
2 Pibaljommee, Bundit
2 Pigozzi, Don Leonard
2 Ramanayake, Revantha
2 Sain, Ildikó
2 Sano, Katsuhiko
2 Schmidt, Renate A.
2 Schumann, Andrew
2 Shu, Lan
2 Słomczyńska, Katarzyna
2 Soltys, Michael
2 Spinks, Matthew
2 Stronkowski, Michał Marek
2 Tomova, Natal’ya Evgen’evna
2 Tourlakis, George J.
2 Trybus, Adam
2 Tsinakis, Constantine
...and 269 more Authors
all top 5

Cited in 68 Journals

52 Studia Logica
24 Bulletin of the Section of Logic
21 Logica Universalis
19 Journal of Philosophical Logic
16 Journal of Applied Non-Classical Logics
16 Logic and Logical Philosophy
11 Annals of Pure and Applied Logic
11 The Review of Symbolic Logic
10 Journal of Logic, Language and Information
8 Notre Dame Journal of Formal Logic
8 Theoretical Computer Science
7 Algebra and Logic
7 Mathematical Logic Quarterly (MLQ)
7 Soft Computing
6 Algebra Universalis
6 Fuzzy Sets and Systems
6 Archive for Mathematical Logic
6 Asian-European Journal of Mathematics
5 Information Sciences
5 Synthese
3 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
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 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 Applied Logic
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