×

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: 457 Publications (since 1973)
all top 5

Authors

19 Wronski, Andrzej
13 Wojtylak, Piotr
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 Kowalski, Tomasz
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 Figallo, Aldo Victorio
3 Grodzki, Zdzisław
3 Hinnion, Roland
3 Jansana, Ramon
3 Kolany, Adam
3 Kotas, Jerzy
3 Malinowski, Grzegorz
3 Mycka, Jerzy
3 Omori, Hitoshi
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 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 Moniri, Mojtaba
2 Murawski, Roman
2 Muzio, Jon C.
2 Paolini, Gianluca
2 Perkov, Tin
2 Pietruszczak, Andrzej
2 Połacik, Tomasz
2 Porte, Jean
2 Rine, David C.
2 Rodrigues, Alexandre Augusto Martins
2 Sagastume, Marta S.
2 Salehi, Saeed
2 Salto, Francisco
2 San Martín, Hernán J.
2 Schumm, George F.
2 Schuster, Peter Michael
2 Shelah, Saharon
...and 221 more Authors

Publications by Year

Citations contained in zbMATH Open

222 Publications have been cited 827 times in 645 Documents Cited by Year
Metamathematics of modal logic. I. Zbl 0356.02016
Goldblatt, R. I.
40
1976
Negation as a modal operator. Zbl 0626.03006
Došen, Kosta
21
1986
Axiomatic extensions of the nilpotent minimum logic. Zbl 1053.03015
Gispert i Brasó, Joan
21
2003
\(Q\)-consequence operation. Zbl 0759.03008
Malinowski, Grzegorz
21
1990
The logic of ”actually”. Zbl 0389.03010
Crossley, John N.; Humberstone, Lloyd
21
1978
Model extension theorem and Craig’s interpolation theorem for intermediate predicate logics. Zbl 0519.03016
Ono, Hiroakira
19
1983
A lattice of implicative extensions of regular Kleene’s logics. Zbl 1308.03042
Tomova, Natalya
17
2012
The equational definability of truth predicates. Zbl 1136.03011
Raftery, James G.
17
2006
Varieties of tense algebras. Zbl 0941.03066
Kowalski, Tomasz
16
1998
Metamathematics of modal logic. II. Zbl 0356.02017
Goldblatt, R. I.
14
1977
On cardinalities of matrices strongly adequate for the intuitionistic propositional logic. Zbl 0342.02011
Wronski, Andrzej
13
1974
Some problems in intermediate predicate logics. Zbl 0676.03016
Ono, Hiroakira
12
1987
Canonical extensions and completions of posets and lattices. Zbl 1147.06005
Gehrke, Mai; Priestley, Hilary A.
12
2008
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono. Zbl 0696.03009
Minari, Pierluigi; Wroński, Andrzej
12
1988
A complete syntactical characterization of the intuitionistic logic. Zbl 0809.03007
Skura, Tomasz
12
1989
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
Embedding and interpolation for some paralogics. The propositional case. Zbl 0954.03031
Batens, Diderik; De Clercq, Kristof; Kurtonina, Natasha
11
1999
Structural completeness of Medvedev’s propositional calculus. Zbl 0358.02024
Prucnal, Tadeusz
10
1976
Intermediate logics and the disjunction property. Zbl 0308.02027
Wronski, Andrzej
10
1973
On some properties of quasi-MV algebras and \(\sqrt'\)quasi-MV algebras. III. Zbl 1213.06007
Kowalski, Tomasz; Paoli, Francesco
9
2010
Modal Tarski algebras. Zbl 1105.03069
Celani, Sergio Arturo
8
2005
Fully adequate Gentzen systems and the deduction theorem. Zbl 1004.03053
Font, Josep Maria; Jansana, Ramon; Pigozzi, Don
8
2001
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
On frontal Heyting algebras. Zbl 1228.06003
Castiglioni, José L.; Sagastume, Marta S.; San Martín, Hernán J.
8
2010
Referential semantics: duality and applications. Zbl 1136.03010
Jansana, Ramon; Palmigiano, Alessandra
8
2006
Finite embeddability property for residuated groupoids. Zbl 1156.06006
Farulewski, Maciej
7
2008
On the asymptotic density of tautologies in logic of implication and negation. Zbl 1098.03019
Zaionc, Marek
7
2005
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
7
2000
Relations between intuitionistic modal logics and intermediate predicate logics. Zbl 0696.03007
Ono, Hiroakira; Suzuki, Nobu-Yuki
7
1988
On M-fragments and L-fragments of normal modal propositional logics. Zbl 0328.02012
Perzanowski, Jerzy
7
1975
Relative necessity revisited. Zbl 0519.03009
Humberstone, I. L.
6
1981
On homomorphic images and the free distributive lattice extension of a distributive nearlattice. Zbl 1390.06008
Celani, Sergio; Calomino, Ismael
6
2016
A characterization of structural completeness of a structural consequence operation. Zbl 0358.02063
Makinson, David
6
1976
Boolean products of CW-algebras and pseudo-complementation. Zbl 0741.06009
Torrens, Antoni
6
1989
Algebraic characterizations of variable separation properties. Zbl 1144.03040
Kihara, Hitoshi; Ono, Hiroakira
5
2008
Divisibility in the Stone-Čech compactification. Zbl 1379.54020
Šobot, Boris
5
2015
Relational and neighborhood semantics for intuitionistic modal logic. Zbl 1320.03054
Kojima, Kensuke
5
2012
Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051
Kreisel, Georg
5
1981
A syntactic proof of a conjecture of Andrzej Wroński. Zbl 0849.03054
Kowalski, Tomasz
5
1994
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. Zbl 0982.08500
Blok, W. J.; van Alten, C. J.
5
2000
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
The complexity of problems connected with two-element algebras. Zbl 1255.68081
Gorazd, Tomasz A.; Krzaczkowski, Jacek
5
2011
On semilattice-based logics with an algebraizable assertional companion. Zbl 1266.03073
Font, Josep Maria
5
2011
On a problem of H. Friedman and its solution by T. Prucnal. Zbl 1053.03017
Wojtylak, Piotr
5
2004
Discriminator varieties of double-Heyting algebras. Zbl 1392.06007
Taylor, Christopher J.
5
2016
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
Completeness of relevant modal logics with disjunctive rules. Zbl 1170.03011
Seki, Takahiro
5
2009
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 algebra of dependence logic. Zbl 0651.03020
Epstein, Richard L.
4
1987
Some results on the super-intuitionistic predicate logics. Zbl 0568.03013
Komori, Yuichi
4
1983
Unification in some substructural logics of BL-algebras and hoops. Zbl 1156.03022
Dzik, Wojciech
4
2008
A semantical analysis of cut-free calculi for modal logics. Zbl 07034286
Takano, Mitio
4
2018
Foundations of partial type theory. Zbl 0488.03007
Tichy, Pavel
4
1982
Formalizations for the consequence relation of Visser’s propositional logic. Zbl 0947.03026
Sasaki, Katsumi
4
1999
On generalized \(I\)-algebras and 4-valued modal algebras. Zbl 0858.03062
Figallo, Aldo V.; Landini, Paolo
4
1995
Transparent unification problem. Zbl 0865.08002
Wroński, Andrzej
4
1995
Display logic and gaggle theory. Zbl 0858.03036
Restall, Greg
4
1995
A canonical model construction for substructural logics with strong negation. Zbl 1027.03019
Kamide, Norihiro
4
2002
The number of quasivarieties of distributive lattices with pseudocomplementation. Zbl 0388.06009
Wronski, Andrzej
4
1976
A finite matrix whose consequence relation is not finitely axiomatizable. Zbl 0391.03016
Urquhart, Alasdair
4
1977
Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties. Zbl 1135.03034
Voutsadakis, George
4
2006
The degree of completeness of some fragments of the intuitionistic propositional logic. Zbl 0312.02023
Wronski, Andrzej
4
1974
The deduction theorems for the modal propositional calculi formalized after the manner of Lemmon. I. Zbl 0278.02016
Perzanowski, Jerzy
4
1973
Undedidability of free pseudocomplemented distributive lattices. Zbl 0655.03006
Idziak, Paweł M.
3
1987
Some proof systems for predicate common knowledge logic. Zbl 1048.03013
Tanaka, Yoshihito
3
2003
An example of a finite though finitely non-axiomatizable matrix. Zbl 0563.03011
Wojtylak, Piotr
3
1984
Uniform compactness and interpolation theorems in sentential logic. Zbl 0352.02013
Weaver, George
3
1975
Divisibility in \(\beta N\) and \(^*N\). Zbl 1446.54016
Šobot, Boris
3
2019
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
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
On independence of axioms of Jaskowski’s discussive propositional calculus. Zbl 0459.03015
Achtelik, Grazyna; Dubikajtis, Lech; Dudek, Elzbieta; Konior, Jan
3
1981
On the content of lattices of logics. II. Zbl 0526.03042
Dzik, Wojciech
3
1982
Disjunction property for some intermediate predicate logics. Zbl 0537.03017
Nakamura, Tetsuo
3
1983
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
Semantics for first degree relatedness logic. Zbl 0804.03014
Paoli, Francesco
3
1993
Chains of structurally complete predicate logics with the application of Prucnal’s substitution. Zbl 1058.03013
Dzik, Wojciech
3
2004
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
Instantiation overflow. Zbl 1403.03119
Dinis, Bruno; Ferreira, Gilda
3
2016
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
The decidability of the calculi \(\mathcal C_n\). Zbl 0378.02011
Fidel, Manuel M.
3
1978
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 the variety generated by involutive pocrims. Zbl 1129.08002
Raftery, James G.
3
2007
Remarks on Jaskowski’s discussive logic. Zbl 0313.02018
Da Costa, Newton C. A.
3
1975
Eight simple questions concerning BCK-algebras. Zbl 0637.03065
Pałasiński, Marek; Wroński, Andrzej
2
1986
Methods of proof for relatedness and dependence logics. Zbl 0651.03021
Carnielli, Walter A.
2
1987
On the algebraic and the Kripkean logical consequence relation for orthomodular quantum logic. Zbl 0655.03042
Minari, Pierluigi
2
1987
Mildly ineffable cardinals and hyperuniverses. Zbl 1047.03043
Esser, Olivier
2
2003
A critique of ”Decision procedures for two positive relevance logics”. Zbl 0597.03010
Giambrone, Steve
2
1985
Collapse of a class of infinite disjunctions in intuitionistic propositional logic. Zbl 0599.03024
Wojtylak, Piotr
2
1983
PBZ*-lattices: structure theory and subvarieties. Zbl 1458.06004
Giuntini, Roberto; Mureşan, Claudia; Paoli, Francesco
2
2020
A new \(\omega\)-stable plane. Zbl 1485.03097
Paolini, Gianluca
1
2020
Divisibility in \(\beta N\) and \(^*N\). Zbl 1446.54016
Šobot, Boris
3
2019
Continuous reducibility: functions versus relations. Zbl 07161695
Camerlo, Riccardo
2
2019
Borel sets without perfectly many overlapping translations. Zbl 07161694
Rosłanowski, Andrzej; Shelah, Saharon
1
2019
On some homomorphism-homogeneous point-line geometries. Zbl 1432.05023
Jungabel, Éva
1
2019
A semantical analysis of cut-free calculi for modal logics. Zbl 07034286
Takano, Mitio
4
2018
Sets with no subsets of higher weak truth-table degree. Zbl 07034284
Cintioli, Patrizio
1
2018
A general extension theorem for directed-complete partial orders. Zbl 07034288
Schuster, Peter; Wessel, Daniel
1
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
3
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
5
2015
Interpolation theorems for some variants of LTL. Zbl 1436.03123
Kamide, Norihiro
1
2015
On everywhere strongly logifiable algebras. Zbl 1436.03324
Moraschini, Tommaso
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
17
2012
Relational and neighborhood semantics for intuitionistic modal logic. Zbl 1320.03054
Kojima, Kensuke
5
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
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
The complexity of problems connected with two-element algebras. Zbl 1255.68081
Gorazd, Tomasz A.; Krzaczkowski, Jacek
5
2011
On semilattice-based logics with an algebraizable assertional companion. Zbl 1266.03073
Font, Josep Maria
5
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
5
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
7
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.
17
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
7
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
Formalizations for the consequence relation of Visser’s propositional logic. Zbl 0947.03026
Sasaki, Katsumi
4
1999
Implication systems for many-dimensional logics. Zbl 0947.03010
Pynko, Alexej P.
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
16
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
S is constructively complete. Zbl 0897.03024
Paoli, Francesco
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
On generalized \(I\)-algebras and 4-valued modal algebras. Zbl 0858.03062
Figallo, Aldo V.; Landini, Paolo
4
1995
Transparent unification problem. Zbl 0865.08002
Wroński, Andrzej
4
1995
Display logic and gaggle theory. Zbl 0858.03036
Restall, Greg
4
1995
Quasivarieties of equivalential algebras. Zbl 0858.03061
Idziak, Katarzyna
1
1995
...and 122 more Documents
all top 5

Cited by 537 Authors

16 Jansana, Ramon
11 Dziobiak, Wiesław
10 Celani, Sergio Arturo
10 Moraschini, Tommaso
10 Paoli, Francesco
10 Raftery, James G.
10 Robles, Gemma
10 Voutsadakis, George
9 Bezhanishvili, Guram
9 Figallo, Aldo Victorio
9 Font, Josep Maria
9 Kowalski, Tomasz
9 Pelaitay, Gustavo
8 Citkin, Alex
8 Czelakowski, Janusz
8 Pigozzi, Don Leonard
7 Humberstone, Lloyd
7 Ledda, Antonio
7 Ono, Hiroakira
7 Petrukhin, Yaroslav Igorevich
7 Torrens Torrell, Antoni
6 Agliano, Paolo
6 Bianchi, Matteo
6 Castiglioni, José Luis
6 Gispert, Joan
6 González, Luciano Javier
6 Pailos, Federico Matias
6 Pascual, Inés B.
6 Shangin, Vasily
6 Wansing, Heinrich Theodor
6 Wojtylak, Piotr
5 Aguzzoli, Stefano
5 Drobyshevich, Sergeĭ Andreevich
5 Gehrke, Mai
5 Goudsmit, Jeroen P.
5 Iemhoff, Rosalie
5 Kamide, Norihiro
5 Metcalfe, George
5 Noguera, Carles
5 Suzuki, Nobu-Yuki
5 van Alten, Clint J.
5 Yashin, Aleksandr D.
4 Avron, Arnon
4 Chajda, Ivan
4 Coniglio, Marcelo Esteban
4 Díaz Varela, José Patricio
4 Dzik, Wojciech
4 Esteva, Francesc
4 Galatos, Nikolaos
4 Gardy, Danièle
4 Giuntini, Roberto
4 Idziak, Paweł M.
4 Leszczyńska-Jasion, Dorota
4 Maksimova, Larisa L’vovna
4 Montagna, Franco
4 Nasieniewski, Marek
4 Odintsov, Sergei P.
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 Šobot, Boris
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 Cornejo, Juan Manuel
3 Da Costa, Newton Carneiro Affonso
3 Došen, Kosta
3 Dudek, Wiesław Aleksander
3 Égré, Paul
3 French, Rohan
3 Georgescu, George
3 Ghilardi, Silvio
3 Gil-Férez, José
3 Gittenberger, Bernhard
3 Goldblatt, Robert Ian
3 Hartonas, Chrysafis
3 Hodkinson, Ian Martin
3 Jarmużek, Tomasz
3 Kocurek, Alexander W.
3 Kostrzycka, Zofia
3 Malinowski, Grzegorz
3 Montangie, Daniela
3 Morandi, Patrick J.
3 Mureşan, Claudia
3 Pavičić, Mladen
3 Pietruszczak, Andrzej
3 Priestley, Hilary A.
3 Ripley, David
3 Rivieccio, Umberto
3 Rump, Wolfgang
...and 437 more Authors
all top 5

Cited in 72 Journals

189 Studia Logica
42 Journal of Philosophical Logic
35 Annals of Pure and Applied Logic
30 Algebra Universalis
23 Archive for Mathematical Logic
22 Soft Computing
20 Notre Dame Journal of Formal Logic
17 Logica Universalis
16 Fuzzy Sets and Systems
15 Logic and Logical Philosophy
13 Bulletin of the Section of Logic
13 Journal of Applied Non-Classical Logics
12 The Review of Symbolic Logic
9 Algebra and Logic
9 Mathematical Logic Quarterly (MLQ)
8 International Journal of Theoretical Physics
8 Theoretical Computer Science
7 Journal of Algebra
7 Journal of Logic, Language and Information
6 The Journal of Symbolic Logic
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 Journal of Multiple-Valued Logic and Soft Computing
2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
2 Information Sciences
2 Revista de la Unión Matemática Argentina
2 Semigroup Forum
2 Information and Computation
2 International Journal of Approximate Reasoning
2 MSCS. Mathematical Structures in Computer Science
2 Applied Categorical Structures
2 Journal of Mathematical Sciences (New York)
2 Asian-European Journal of Mathematics
2 Journal of Logic and Analysis
2 Computability
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 Real Analysis Exchange
1 SIAM Journal on Computing
1 Algorithmica
1 Random Structures & Algorithms
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 Algebra and its Applications
1 Logical Methods in Computer Science
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