# 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

#### Latest Issues

 55 (2020) 54 (2019) 53 (2018) 52 (2017) 51 (2016) 50 (2015) 49 (2014) 48 (2013) 47 (2012) 46 (2011) 45 (2010) 44 (2009) 43 (2008) 42 (2007) 41 (2006) 40 (2006) 39 (2005) 38 (2004) 37 (2003) 36 (2002) 35 (2001) 34 (2000) 33 (1999) 32 (1998) 31 (1997) 30 (1996) 29 (1995) 28 (1994) 27 (1993) 26 (1992) 25 (1991) 24 (1990) 23 (1989) 22 (1988) 21 (1987) 20 (1986) 19 (1985) 18 (1984) 17 (1984) 16 (1983) 15 (1983) 14 (1982) 13 (1981) 12 (1981) 11 (1981) 10 (1978) 8 (1978) 9 (1977) 7 (1977) 6 (1976) 5 (1975) 4 (1975) 3 (1974) 2 (1974) 1 (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
all top 5

#### Fields

 407 Mathematical logic and foundations (03-XX) 90 Order, lattices, ordered algebraic structures (06-XX) 55 General algebraic systems (08-XX) 15 Computer science (68-XX) 9 Combinatorics (05-XX) 8 History and biography (01-XX) 8 General topology (54-XX) 7 Category theory; homological algebra (18-XX) 4 General and overarching topics; collections (00-XX) 4 Group theory and generalizations (20-XX) 3 Measure and integration (28-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-XX) 1 Field theory and polynomials (12-XX) 1 Topological groups, Lie groups (22-XX) 1 Geometry (51-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

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

#### Cited in 27 Fields

 540 Mathematical logic and foundations (03-XX) 161 Order, lattices, ordered algebraic structures (06-XX) 71 General algebraic systems (08-XX) 37 Computer science (68-XX) 15 General topology (54-XX) 14 Category theory; homological algebra (18-XX) 12 Quantum theory (81-XX) 8 History and biography (01-XX) 8 Combinatorics (05-XX) 5 Group theory and generalizations (20-XX) 4 General and overarching topics; collections (00-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 3 Functional analysis (46-XX) 3 Probability theory and stochastic processes (60-XX) 2 Associative rings and algebras (16-XX) 2 Operator theory (47-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX)