×

zbMATH — the first resource for mathematics

Reports on Mathematical Logic

Short Title: Rep. Math. Logic
Publisher: Jagiellonian University (Uniwersytet Jagielloński), Cracow
ISSN: 0137-2904; 2084-2589/e
Online: http://www.ejournals.eu/rml/zakladka/74/
http://rml.tcs.uj.edu.pl/issues.htm
Comments: Indexed cover-to-cover; This journal is available open access.
Documents Indexed: 451 Publications (since 1973)
all top 5

Authors

19 Wronski, Andrzej
13 Wojtylak, Piotr
9 Kowalski, Tomasz Marek
9 Ono, Hiroakira
8 Biela, Andrzej
8 Pogorzelski, Witold A.
7 Dzik, Wojciech
7 Kamide, Norihiro
7 Paoli, Francesco
7 Prucnal, Tadeusz
7 Voutsadakis, George
6 Abad, Manuel
6 Idziak, Paweł M.
6 Perzanowski, Jerzy
6 Raftery, James G.
6 Robles, Gemma
6 Stȩpień, Teodor
5 Brunner, Norbert
5 Celani, Sergio Arturo
5 Słomczyńska, Katarzyna
5 Suchon, Wojciech
4 Czelakowski, Janusz
4 Dziobiak, Wiesław
4 Font, Josep Maria
4 Grygiel, Joanna
4 Meyer, Robert Kenneth
4 Pałasińska, Katarzyna
4 Sylvan, Richard
4 Tokarz, Marek
4 van Alten, Clint J.
4 Weaver, George E.
3 Bugajska-Jaszczołt, Beata
3 Castiglioni, José Luis
3 Cowen, Robert H.
3 Díaz Varela, José Patricio
3 Dubikajtis, Lech
3 Epstein, Richard L.
3 Grodzki, Zdzisław
3 Hinnion, Roland
3 Jansana, Ramon
3 Kolany, Adam
3 Kotas, Jerzy
3 Malinowski, Grzegorz
3 Mycka, Jerzy
3 Porebska, Malgorzata
3 Skura, Tomasz F.
3 Surma, Stanislaw J.
3 Takano, Mitio
3 Zarnecka-Bialy, Ewa
2 Amer, Mohamed A.
2 Bendova, Kamila
2 Bernert, Jan
2 Blok, Willem Johannes
2 Buszkowski, Wojciech
2 Capinska, Ewa
2 Carpenter, Amos J.
2 Cintioli, Patrizio
2 Climent Vidal, Juan
2 Cresswell, Maxwell John
2 Da Costa, Newton Carneiro Affonso
2 de Souza, Edelcio G.
2 Dishkant, Herman
2 Dywan, Zdzisław
2 Ferreirim, Isabel M. A.
2 Figallo, Aldo Victorio
2 Gaitán, Hernando
2 Georgescu, George
2 Giambrone, Steve
2 Giuntini, Roberto
2 Goldblatt, Robert Ian
2 Gorazd, Tomasz A.
2 Hanusek, Jerzy
2 Hughes, George E.
2 Humberstone, Lloyd
2 Idziak, Katarzyna
2 Isles, David
2 Krzystek, Piotr S.
2 Latocha, Piotr
2 Lattanzi, Marina Beatriz
2 Ledda, Antonio
2 Lesisz, Włodzimierz
2 Minari, Pierluigi
2 Murawski, Roman
2 Muzio, Jon C.
2 Omori, Hitoshi
2 Paolini, Gianluca
2 Pietruszczak, Andrzej
2 Połacik, Tomasz
2 Porte, Jean
2 Rine, David C.
2 Rodrigues, Alexandre Augusto Martins
2 Sagastume, Marta S.
2 Salto, Francisco
2 San Martín, Hernán J.
2 Schumm, George F.
2 Schuster, Peter Michael
2 Shelah, Saharon
2 Shimura, Tatsuya
2 Šobot, Boris
2 Soliveres Tur, Juan
...and 214 more Authors

Publications by Year

Citations contained in zbMATH Open

211 Publications have been cited 771 times in 601 Documents Cited by Year
Metamathematics of modal logic. I. Zbl 0356.02016
Goldblatt, R. I.
37
1976
Axiomatic extensions of the nilpotent minimum logic. Zbl 1053.03015
Gispert i Brasó, Joan
21
2003
Negation as a modal operator. Zbl 0626.03006
Došen, Kosta
20
1986
The logic of ”actually”. Zbl 0389.03010
Crossley, John N.; Humberstone, Lloyd
20
1978
Model extension theorem and Craig’s interpolation theorem for intermediate predicate logics. Zbl 0519.03016
Ono, Hiroakira
19
1983
\(Q\)-consequence operation. Zbl 0759.03008
Malinowski, Grzegorz
18
1990
The equational definability of truth predicates. Zbl 1136.03011
Raftery, James G.
16
2006
A lattice of implicative extensions of regular Kleene’s logics. Zbl 1308.03042
Tomova, Natalya
16
2012
Metamathematics of modal logic. II. Zbl 0356.02017
Goldblatt, R. I.
14
1977
Varieties of tense algebras. Zbl 0941.03066
Kowalski, Tomasz
14
1998
Some problems in intermediate predicate logics. Zbl 0676.03016
Ono, Hiroakira
12
1987
A complete syntactical characterization of the intuitionistic logic. Zbl 0809.03007
Skura, Tomasz
12
1989
On cardinalities of matrices strongly adequate for the intuitionistic propositional logic. Zbl 0342.02011
Wronski, Andrzej
12
1974
Canonical extensions and completions of posets and lattices. Zbl 1147.06005
Gehrke, Mai; Priestley, Hilary A.
12
2008
Embedding and interpolation for some paralogics. The propositional case. Zbl 0954.03031
Batens, Diderik; De Clercq, Kristof; Kurtonina, Natasha
11
1999
Fully Fregean logics. Zbl 1058.03016
Babyonyshev, Sergei V.
11
2003
Irreducible residuated semilattices and finitely based varieties. Zbl 1156.06007
Galatos, Nikolaos; Olson, Jeffrey S.; Raftery, James G.
11
2008
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono. Zbl 0696.03009
Minari, Pierluigi; Wroński, Andrzej
10
1988
Intermediate logics and the disjunction property. Zbl 0308.02027
Wronski, Andrzej
10
1973
Structural completeness of Medvedev’s propositional calculus. Zbl 0358.02024
Prucnal, Tadeusz
10
1976
On some properties of quasi-MV algebras and \(\sqrt'\)quasi-MV algebras. III. Zbl 1213.06007
Kowalski, Tomasz; Paoli, Francesco
9
2010
On frontal Heyting algebras. Zbl 1228.06003
Castiglioni, José L.; Sagastume, Marta S.; San Martín, Hernán J.
8
2010
Fully adequate Gentzen systems and the deduction theorem. Zbl 1004.03053
Font, Josep Maria; Jansana, Ramon; Pigozzi, Don
8
2001
Modal Tarski algebras. Zbl 1105.03069
Celani, Sergio Arturo
8
2005
Referential semantics: duality and applications. Zbl 1136.03010
Jansana, Ramon; Palmigiano, Alessandra
8
2006
On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras. Zbl 1174.06012
Paoli, Francesco; Ledda, Antonio; Giuntini, Roberto; Freytes, Hector
8
2009
Residuation in commutative ordered monoids with minimal zero. Zbl 0996.03040
Raftery, James G.; van Alten, Clint J.
7
2000
On M-fragments and L-fragments of normal modal propositional logics. Zbl 0328.02012
Perzanowski, Jerzy
7
1975
On the asymptotic density of tautologies in logic of implication and negation. Zbl 1098.03019
Zaionc, Marek
7
2005
The variety of residuated lattices is generated by its finite simple members. Zbl 0991.06004
Kowalski, Tomasz; Ono, Hiroakira
6
2000
Relations between intuitionistic modal logics and intermediate predicate logics. Zbl 0696.03007
Ono, Hiroakira; Suzuki, Nobu-Yuki
6
1988
Boolean products of CW-algebras and pseudo-complementation. Zbl 0741.06009
Torrens, Antoni
6
1989
A characterization of structural completeness of a structural consequence operation. Zbl 0358.02063
Makinson, David
6
1976
Finite embeddability property for residuated groupoids. Zbl 1156.06006
Farulewski, Maciej
6
2008
On homomorphic images and the free distributive lattice extension of a distributive nearlattice. Zbl 1390.06008
Celani, Sergio; Calomino, Ismael
6
2016
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. Zbl 0982.08500
Blok, W. J.; van Alten, C. J.
5
2000
Relative necessity revisited. Zbl 0519.03009
Humberstone, I. L.
5
1981
On the variety of Heyting algebras with successor generated by all finite chains. Zbl 1228.06004
Castiglioni, José L.; San Martín, Hernán J.
5
2010
The first order predicate calculus based on the logic of quantum mechanics. Zbl 0356.02027
Dishkant, Hermann
5
1974
Interpolation in S5 and some related systems. Zbl 0361.02030
Schumm, George F.
5
1976
A syntactic proof of a conjecture of Andrzej Wroński. Zbl 0849.03054
Kowalski, Tomasz
5
1994
Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051
Kreisel, Georg
5
1981
On a problem of H. Friedman and its solution by T. Prucnal. Zbl 1053.03017
Wojtylak, Piotr
5
2004
Algebraic characterizations of variable separation properties. Zbl 1144.03040
Kihara, Hitoshi; Ono, Hiroakira
5
2008
The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\). Zbl 1272.06020
Abad, Manuel; Cornejo, Juan Manuel; Díaz Varela, José Patricio
5
2011
On semilattice-based logics with an algebraizable assertional companion. Zbl 1266.03073
Font, Josep Maria
5
2011
Discriminator varieties of double-Heyting algebras. Zbl 1392.06007
Taylor, Christopher J.
5
2016
Some results on the super-intuitionistic predicate logics. Zbl 0568.03013
Komori, Yuichi
4
1983
The deduction theorems for the modal propositional calculi formalized after the manner of Lemmon. I. Zbl 0278.02016
Perzanowski, Jerzy
4
1973
The degree of completeness of some fragments of the intuitionistic propositional logic. Zbl 0312.02023
Wronski, Andrzej
4
1974
The number of quasivarieties of distributive lattices with pseudocomplementation. Zbl 0388.06009
Wronski, Andrzej
4
1976
A canonical model construction for substructural logics with strong negation. Zbl 1027.03019
Kamide, Norihiro
4
2002
Transparent unification problem. Zbl 0865.08002
Wroński, Andrzej
4
1995
Display logic and gaggle theory. Zbl 0858.03036
Restall, Greg
4
1995
Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties. Zbl 1135.03034
Voutsadakis, George
4
2006
Unification in some substructural logics of BL-algebras and hoops. Zbl 1156.03022
Dzik, Wojciech
4
2008
Completeness of relevant modal logics with disjunctive rules. Zbl 1170.03011
Seki, Takahiro
4
2009
The complexity of problems connected with two-element algebras. Zbl 1255.68081
Gorazd, Tomasz A.; Krzaczkowski, Jacek
4
2011
A semantical analysis of cut-free calculi for modal logics. Zbl 07034286
Takano, Mitio
4
2018
Undedidability of free pseudocomplemented distributive lattices. Zbl 0655.03006
Idziak, Paweł M.
3
1987
Disjunction property for some intermediate predicate logics. Zbl 0537.03017
Nakamura, Tetsuo
3
1983
An example of a finite though finitely non-axiomatizable matrix. Zbl 0563.03011
Wojtylak, Piotr
3
1984
Turinici’s fixed point theorem and the axiom of choice. Zbl 0687.04003
Mańka, Roman
3
1988
Decision problem for relatively free Brouwerian semilattices. Zbl 0695.03004
Idziak, Paweł M.
3
1988
On the content of lattices of logics. II. Zbl 0526.03042
Dzik, Wojciech
3
1982
Cut-free systems for the modal logic S4.3 and S4.3Grz. Zbl 0773.03014
Shimura, Tatsuya
3
1991
Hypergraph satisfiability. Zbl 0760.03003
Cowen, R. H.
3
1991
Remarks on Jaskowski’s discussive logic. Zbl 0313.02018
Da Costa, Newton C. A.
3
1975
Uniform compactness and interpolation theorems in sentential logic. Zbl 0352.02013
Weaver, George
3
1975
A finite matrix whose consequence relation is not finitely axiomatizable. Zbl 0391.03016
Urquhart, Alasdair
3
1977
The connnective ”becoming” and the paradox of electron diffraction. Zbl 0393.03045
Dishkant, Herman
3
1977
Remarks on interpolation property for intermediate logics. Zbl 0419.03013
Zachorowski, Stanislaw
3
1978
Decision procedures for two positive relevance logics. Zbl 0432.03013
Kron, Aleksander
3
1978
On independence of axioms of Jaskowski’s discussive propositional calculus. Zbl 0459.03015
Achtelik, Grazyna; Dubikajtis, Lech; Dudek, Elzbieta; Konior, Jan
3
1981
On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules. Zbl 0946.03027
van Alten, C. J.; Raftery, J. G.
3
1997
Implication systems for many-dimensional logics. Zbl 0947.03010
Pynko, Alexej P.
3
1999
Formalizations for the consequence relation of Visser’s propositional logic. Zbl 0947.03026
Sasaki, Katsumi
3
1999
On generalized \(I\)-algebras and 4-valued modal algebras. Zbl 0858.03062
Figallo, Aldo V.; Landini, Paolo
3
1995
Some proof systems for predicate common knowledge logic. Zbl 1048.03013
Tanaka, Yoshihito
3
2003
Chains of structurally complete predicate logics with the application of Prucnal’s substitution. Zbl 1058.03013
Dzik, Wojciech
3
2004
Extensions of intuitionistic logic without the deduction theorem: some simple examples. Zbl 1098.03036
Humberstone, Lloyd
3
2006
\(n\times m\)-valued Łukasiewicz algebras with negation. Zbl 1096.03076
Sanza, Claudia A.
3
2006
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories. Zbl 1096.03031
Climent Vidal, Juan; Soliveres Tur, Juan
3
2006
On the variety generated by involutive pocrims. Zbl 1129.08002
Raftery, James G.
3
2007
Divisibility in the Stone-Čech compactification. Zbl 1379.54020
Šobot, Boris
3
2015
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
3
2012
On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV. Zbl 1291.06002
Jipsen, Peter; Ledda, Antonio; Paoli, Francesco
3
2013
Eight simple questions concerning BCK-algebras. Zbl 0637.03065
Pałasiński, Marek; Wroński, Andrzej
2
1986
On the algebraic and the Kripkean logical consequence relation for orthomodular quantum logic. Zbl 0655.03042
Minari, Pierluigi
2
1987
Cut elimination in noncommutative substructural logics. Zbl 0896.03048
Surarso, Bayu; Ono, Hiroakira
2
1996
The existence of Lindenbaum’s extensions is equivalent to the axiom of choice. Zbl 0492.03010
Dzik, Wojciech
2
1981
Komori identities in algebraic logic. Zbl 0985.03064
Blok, Willem J.; La Falce, Silvia B.
2
2000
On axiomatizability of some intermediate predicate logics. Zbl 0684.03007
Skvortsov, D. P.
2
1988
A paraconsistent many-valued propositional logic: \(J_ 3\). Zbl 0697.03017
D’Ottaviano, Itala M. L.; Epstein, Richard L.
2
1988
A characterization of strengthenings of a two-valued non-uniform sentential calculus. Zbl 0502.03013
Malinowski, Grzegorz
2
1981
On the content of lattices of logics. I. The representation theorem for lattices of logics. Zbl 0526.03041
Dzik, Wojciech
2
1981
On the lattice of \(p\)-consequences. Zbl 1244.03047
Frankowski, Szymon
2
2010
Sheaves in universal algebra and model theory. I. Zbl 0746.03036
Idziak, Paweł M.
2
1989
Elementary theory of free Heyting algebras. Zbl 0744.03014
Idziak, Paweł M.
2
1989
Absolutely independent sets of generators of filters in Boolean algebras. Zbl 0757.03029
Grygiel, Joanna
2
1990
PBZ*-lattices: structure theory and subvarieties. Zbl 1458.06004
Giuntini, Roberto; Mureşan, Claudia; Paoli, Francesco
1
2020
Borel sets without perfectly many overlapping translations. Zbl 07161694
Rosłanowski, Andrzej; Shelah, Saharon
1
2019
Continuous reducibility: functions versus relations. Zbl 07161695
Camerlo, Riccardo
1
2019
Divisibility in \(\beta N\) and \(^*N\). Zbl 1446.54016
Šobot, Boris
1
2019
A semantical analysis of cut-free calculi for modal logics. Zbl 07034286
Takano, Mitio
4
2018
A non-self-referential paradox in epistemic game theory. Zbl 1420.03031
Karimi, Ahmad
1
2017
On homomorphic images and the free distributive lattice extension of a distributive nearlattice. Zbl 1390.06008
Celani, Sergio; Calomino, Ismael
6
2016
Discriminator varieties of double-Heyting algebras. Zbl 1392.06007
Taylor, Christopher J.
5
2016
Instantiation overflow. Zbl 1403.03119
Dinis, Bruno; Ferreira, Gilda
2
2016
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property. Zbl 1400.03052
Robles, Gemma
1
2016
A note on Wansing’s expansion of Nelson’s logic. A correction to an axiomatization of Wansing’s expansion of Nelson’s logic. Zbl 1391.03024
Omori, Hitoshi
1
2016
Divisibility in the Stone-Čech compactification. Zbl 1379.54020
Šobot, Boris
3
2015
Interpolation theorems for some variants of LTL. Zbl 1436.03123
Kamide, Norihiro
1
2015
Hilbert algebras with a necessity modal operator. Zbl 1355.03049
Celani, Sergio A.; Montangie, Daniela
2
2014
On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV. Zbl 1291.06002
Jipsen, Peter; Ledda, Antonio; Paoli, Francesco
3
2013
Kronecker in contemporary mathematics, general arithmetic as a foundational programme. Zbl 1300.03002
Gauthier, Yvon
1
2013
A lattice of implicative extensions of regular Kleene’s logics. Zbl 1308.03042
Tomova, Natalya
16
2012
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
3
2012
Relational and neighborhood semantics for intuitionistic modal logic. Zbl 1320.03054
Kojima, Kensuke
2
2012
The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\). Zbl 1272.06020
Abad, Manuel; Cornejo, Juan Manuel; Díaz Varela, José Patricio
5
2011
On semilattice-based logics with an algebraizable assertional companion. Zbl 1266.03073
Font, Josep Maria
5
2011
The complexity of problems connected with two-element algebras. Zbl 1255.68081
Gorazd, Tomasz A.; Krzaczkowski, Jacek
4
2011
The logic of sequences. Zbl 1261.03086
Kamide, Norihiro
1
2011
On some properties of quasi-MV algebras and \(\sqrt'\)quasi-MV algebras. III. Zbl 1213.06007
Kowalski, Tomasz; Paoli, Francesco
9
2010
On frontal Heyting algebras. Zbl 1228.06003
Castiglioni, José L.; Sagastume, Marta S.; San Martín, Hernán J.
8
2010
On the variety of Heyting algebras with successor generated by all finite chains. Zbl 1228.06004
Castiglioni, José L.; San Martín, Hernán J.
5
2010
On the lattice of \(p\)-consequences. Zbl 1244.03047
Frankowski, Szymon
2
2010
Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. Zbl 1244.03093
Kamide, Norihiro
1
2010
A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Zbl 1243.03079
Climent Vidal, Juan; Soliveres Tur, Juan
1
2010
Some locally tabular logics with contraction and mingle. Zbl 1237.03015
Hsieh, Ai-ni
1
2010
On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras. Zbl 1174.06012
Paoli, Francesco; Ledda, Antonio; Giuntini, Roberto; Freytes, Hector
8
2009
Completeness of relevant modal logics with disjunctive rules. Zbl 1170.03011
Seki, Takahiro
4
2009
Categorical abstract algebraic logic: syntactically algebraizable \(\pi\)-institutions. Zbl 1179.03070
Voutsadakis, George
2
2009
Subminimal logic and weak algebras. Zbl 1170.03327
Ertola, Rodolfo; Sagastume, Marta
2
2009
Canonical extensions and completions of posets and lattices. Zbl 1147.06005
Gehrke, Mai; Priestley, Hilary A.
12
2008
Irreducible residuated semilattices and finitely based varieties. Zbl 1156.06007
Galatos, Nikolaos; Olson, Jeffrey S.; Raftery, James G.
11
2008
Finite embeddability property for residuated groupoids. Zbl 1156.06006
Farulewski, Maciej
6
2008
Algebraic characterizations of variable separation properties. Zbl 1144.03040
Kihara, Hitoshi; Ono, Hiroakira
5
2008
Unification in some substructural logics of BL-algebras and hoops. Zbl 1156.03022
Dzik, Wojciech
4
2008
Additivity of the commutator and residuation. Zbl 1147.06004
Czelakowski, Janusz
2
2008
On the complexity of some substructural logics. Zbl 1145.03011
Buszkowski, Wojciech
1
2008
A finite fragment of S3. Zbl 1156.03020
Kowalski, Tomasz; Slaney, John
1
2008
On the variety generated by involutive pocrims. Zbl 1129.08002
Raftery, James G.
3
2007
Categorical abstract algebraic logic: Strong version of a protoalgebraic \(\pi\)-institution. Zbl 1133.03044
Voutsadakis, George
1
2007
Purely equivalential propositional formulas in the intermediate Gödel-Dummett logic. Zbl 1145.03015
Słomczyńska, Katarzyna
1
2007
Profinite structures are retracts of ultraproducts of finite structures. Zbl 1131.03012
Mariano, Hugo Luiz; Miraglia, Francisco
1
2007
The equational definability of truth predicates. Zbl 1136.03011
Raftery, James G.
16
2006
Referential semantics: duality and applications. Zbl 1136.03010
Jansana, Ramon; Palmigiano, Alessandra
8
2006
Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties. Zbl 1135.03034
Voutsadakis, George
4
2006
Extensions of intuitionistic logic without the deduction theorem: some simple examples. Zbl 1098.03036
Humberstone, Lloyd
3
2006
\(n\times m\)-valued Łukasiewicz algebras with negation. Zbl 1096.03076
Sanza, Claudia A.
3
2006
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories. Zbl 1096.03031
Climent Vidal, Juan; Soliveres Tur, Juan
3
2006
Finitely equivalential Gentzen systems associated with arbitrary finite algebras. Zbl 1136.03035
Gil, Ángel J.; Rebagliato, Jordi
1
2006
Almost minimal varieties related to fuzzy logic. Zbl 1136.03018
Katoh, Yosuke; Kowalski, Tomasz; Ueda, Masaki
1
2006
Modal Tarski algebras. Zbl 1105.03069
Celani, Sergio Arturo
8
2005
On the asymptotic density of tautologies in logic of implication and negation. Zbl 1098.03019
Zaionc, Marek
7
2005
Finitism = PRA? On a thesis of W. W. Tait. Zbl 1100.03008
Schirn, Matthias; Niebergall, Karl-Georg
1
2005
Minimal negation in the ternary relational semantics. Zbl 1105.03022
Robles, Gemma; Méndez, José M.; Salto, Francisco
1
2005
Interpolation and three-valued logics. Zbl 1107.03022
Bendová, Kamila
1
2005
On a problem of H. Friedman and its solution by T. Prucnal. Zbl 1053.03017
Wojtylak, Piotr
5
2004
Chains of structurally complete predicate logics with the application of Prucnal’s substitution. Zbl 1058.03013
Dzik, Wojciech
3
2004
A representation theorem for co-diagonalizable algebras. Zbl 1062.03063
Buszkowski, Wojciech
1
2004
Axiomatic extensions of the nilpotent minimum logic. Zbl 1053.03015
Gispert i Brasó, Joan
21
2003
Fully Fregean logics. Zbl 1058.03016
Babyonyshev, Sergei V.
11
2003
Some proof systems for predicate common knowledge logic. Zbl 1048.03013
Tanaka, Yoshihito
3
2003
Mildly ineffable cardinals and hyperuniverses. Zbl 1047.03043
Esser, Olivier
2
2003
On the first order logic true in every universe (including the empty universe). Zbl 1053.03007
Dubikajtis, Lech
1
2003
Boolean algebras with a distinguished automorphism. Zbl 1051.06008
Abad, Manuel; Díaz Varela, José Patricio; Zander, Marta
1
2003
Every free biresiduated lattice is semisimple. Zbl 1042.06003
Takamura, Hiroki
1
2003
A canonical model construction for substructural logics with strong negation. Zbl 1027.03019
Kamide, Norihiro
4
2002
A continuum of incomplete intermediate logics. Zbl 1031.03050
Litak, Tadeusz
2
2002
Anderson and Belnap’s minimal positive logic with minimal negation. Zbl 1032.03006
Méndez, José M.; Salto, Francisco; Robles, Gemma
1
2002
Fully adequate Gentzen systems and the deduction theorem. Zbl 1004.03053
Font, Josep Maria; Jansana, Ramon; Pigozzi, Don
8
2001
Property S. Zbl 0991.03017
Cowen, Robert
2
2001
Some model theory for probability structures. Zbl 0989.03034
Georgescu, George
2
2001
On the problem of R. E. Tax. Zbl 0991.03011
Wojtylak, Piotr; Wroński, Andrzej
1
2001
Residuation in commutative ordered monoids with minimal zero. Zbl 0996.03040
Raftery, James G.; van Alten, Clint J.
7
2000
The variety of residuated lattices is generated by its finite simple members. Zbl 0991.06004
Kowalski, Tomasz; Ono, Hiroakira
6
2000
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. Zbl 0982.08500
Blok, W. J.; van Alten, C. J.
5
2000
Komori identities in algebraic logic. Zbl 0985.03064
Blok, Willem J.; La Falce, Silvia B.
2
2000
Embedding and interpolation for some paralogics. The propositional case. Zbl 0954.03031
Batens, Diderik; De Clercq, Kristof; Kurtonina, Natasha
11
1999
Implication systems for many-dimensional logics. Zbl 0947.03010
Pynko, Alexej P.
3
1999
Formalizations for the consequence relation of Visser’s propositional logic. Zbl 0947.03026
Sasaki, Katsumi
3
1999
Pretabular varieties of equivalential algebras. Zbl 0959.08004
Kowalski, Tomasz
1
1999
The super-amalgamation property of the variety of ortholattices. Zbl 0948.03058
Miyazaki, Yutaka
1
1999
Varieties of tense algebras. Zbl 0941.03066
Kowalski, Tomasz
14
1998
A note on classical modal relevant algebras. Zbl 0941.03067
Celani, Sergio A.
1
1998
On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules. Zbl 0946.03027
van Alten, C. J.; Raftery, J. G.
3
1997
Cut elimination in noncommutative substructural logics. Zbl 0896.03048
Surarso, Bayu; Ono, Hiroakira
2
1996
Cardinalities of models and the expressive power of monadic predicate logics (with equality and individual constants). Zbl 0899.03009
Pietruszczak, Andrzej
1
1996
Transparent unification problem. Zbl 0865.08002
Wroński, Andrzej
4
1995
Display logic and gaggle theory. Zbl 0858.03036
Restall, Greg
4
1995
On generalized \(I\)-algebras and 4-valued modal algebras. Zbl 0858.03062
Figallo, Aldo V.; Landini, Paolo
3
1995
Quasivarieties of equivalential algebras. Zbl 0858.03061
Idziak, Katarzyna
1
1995
The bottom of the lattice of BCK-varieties. Zbl 0861.06011
Kowalski, Tomasz
1
1995
A syntactic proof of a conjecture of Andrzej Wroński. Zbl 0849.03054
Kowalski, Tomasz
5
1994
Cardinalities of models for pure calculi of names. Zbl 0849.03025
Pietruszczak, Andrzej
2
1994
Probability logic and measures on epimorphic images of coproducts of measurable spaces. Zbl 0849.03013
Amer, Mohamed A.
1
1994
Gentzen-style calculi for quasi-identities of finite algebras. Zbl 0849.08011
Wroński, Andrzej
1
1994
Operators defined by propositional quantification and their interpretation over Cantor space. Zbl 0806.03008
Połacik, Tomasz
2
1993
...and 111 more Documents
all top 5

Cited by 490 Authors

14 Jansana, Ramon
11 Dziobiak, Wiesław
10 Raftery, James G.
10 Robles, Gemma
10 Voutsadakis, George
9 Celani, Sergio Arturo
9 Font, Josep Maria
9 Kowalski, Tomasz Marek
9 Moraschini, Tommaso
8 Citkin, Alex
8 Czelakowski, Janusz
8 Figallo, Aldo Victorio
8 Paoli, Francesco
8 Pelaitay, Gustavo
7 Bezhanishvili, Guram
7 Humberstone, Lloyd
7 Ledda, Antonio
7 Petrukhin, Yaroslav Igorevich
7 Pigozzi, Don Leonard
7 Torrens Torrell, Antoni
6 Agliano, Paolo
6 Bianchi, Matteo
6 Castiglioni, José Luis
6 Gispert, Joan
6 González, Luciano Javier
6 Ono, Hiroakira
6 Shangin, Vasily
6 Wansing, Heinrich Theodor
5 Aguzzoli, Stefano
5 Drobyshevich, Sergeĭ Andreevich
5 Gehrke, Mai
5 Goudsmit, Jeroen P.
5 Iemhoff, Rosalie
5 Kamide, Norihiro
5 Noguera, Carles
5 Pascual, Inés B.
5 Suzuki, Nobu-Yuki
5 van Alten, Clint J.
5 Wojtylak, Piotr
5 Yashin, Aleksandr D.
4 Avron, Arnon
4 Chajda, Ivan
4 Díaz Varela, José Patricio
4 Esteva, Francesc
4 Galatos, Nikolaos
4 Gardy, Danièle
4 Leszczyńska-Jasion, Dorota
4 Maksimova, Larisa L’vovna
4 Metcalfe, George
4 Montagna, Franco
4 Nasieniewski, Marek
4 Odintsov, Sergei P.
4 Pailos, Federico Matias
4 Pałasińska, Katarzyna
4 Palmigiano, Alessandra
4 San Martín, Hernán J.
4 San Martín, Hernán Javier
4 Seki, Takahiro
4 Shramko, Yaroslav V.
4 Takano, Mitio
4 Verdú, Ventura
4 Zakharyaschev, Michael Viktorovich
3 Albuquerque, Hugo
3 Botur, Michal
3 Calomino, Ismael
3 Chagrov, Aleksandr Vasil’evich
3 Chen, Wenjuan
3 Cignoli, Roberto
3 Cintula, Petr
3 Coniglio, Marcelo Esteban
3 Cornejo, Juan Manuel
3 Da Costa, Newton Carneiro Affonso
3 Došen, Kosta
3 Dudek, Wiesław Aleksander
3 Dzik, Wojciech
3 Égré, Paul
3 French, Rohan
3 Georgescu, George
3 Ghilardi, Silvio
3 Gil-Férez, José
3 Gittenberger, Bernhard
3 Giuntini, Roberto
3 Goldblatt, Robert Ian
3 Hartonas, Chrysafis
3 Hodkinson, Ian Martin
3 Idziak, Paweł M.
3 Kocurek, Alexander W.
3 Kostrzycka, Zofia
3 Malinowski, Grzegorz
3 Montangie, Daniela
3 Pavičić, Mladen
3 Pietruszczak, Andrzej
3 Priestley, Hilary A.
3 Ripley, David
3 Rump, Wolfgang
3 Shkatov, Dmitry
3 Skvortsov, Dmitrij
3 Słomczyńska, Katarzyna
3 Studer, Thomas
3 Tropin, M. P.
...and 390 more Authors
all top 5

Cited in 68 Journals

183 Studia Logica
40 Journal of Philosophical Logic
33 Annals of Pure and Applied Logic
30 Algebra Universalis
22 Soft Computing
21 Archive for Mathematical Logic
19 Notre Dame Journal of Formal Logic
17 Logica Universalis
16 Fuzzy Sets and Systems
13 Bulletin of the Section of Logic
12 Journal of Applied Non-Classical Logics
11 The Review of Symbolic Logic
9 Algebra and Logic
9 Mathematical Logic Quarterly (MLQ)
9 Logic and Logical Philosophy
8 International Journal of Theoretical Physics
8 Theoretical Computer Science
7 Journal of Logic, Language and Information
6 Journal of Algebra
6 Synthese
6 Order
5 Mathematical Notes
5 Transactions of the American Mathematical Society
5 Journal of Applied Logic
4 Discrete Mathematics
4 Topology and its Applications
4 Central European Journal of Mathematics
3 Journal of Mathematical Analysis and Applications
3 Journal of Pure and Applied Algebra
3 The Journal of Symbolic Logic
2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
2 Information Sciences
2 Semigroup Forum
2 International Journal of Approximate Reasoning
2 Applied Categorical Structures
2 Journal of Mathematical Sciences (New York)
2 Asian-European Journal of Mathematics
2 Journal of Logic and Analysis
1 Acta Informatica
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Computers & Mathematics with Applications
1 Journal of Mathematical Physics
1 The Annals of Probability
1 Czechoslovak Mathematical Journal
1 Journal of Computer and System Sciences
1 Mathematische Zeitschrift
1 Proceedings of the American Mathematical Society
1 Publications de l’Institut Mathématique. Nouvelle Série
1 Revista de la Unión Matemática Argentina
1 Algorithmica
1 Information and Computation
1 Random Structures & Algorithms
1 MSCS. Mathematical Structures in Computer Science
1 Indagationes Mathematicae. New Series
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Topoi
1 Annals of Combinatorics
1 Erkenntnis
1 Nihonkai Mathematical Journal
1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
1 Journal of Multiple-Valued Logic and Soft Computing
1 Journal of Algebra and its Applications
1 Antiquitates Mathematicae
1 Axiomathes
1 Nôus
1 European Journal of Mathematics
1 Proceedings of the American Mathematical Society. Series B

Citations by Year