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

Latest Issues

 56 (2021) 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 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
all top 5

Fields

 413 Mathematical logic and foundations (03-XX) 91 Order, lattices, ordered algebraic structures (06-XX) 55 General algebraic systems (08-XX) 15 Computer science (68-XX) 9 Combinatorics (05-XX) 9 General topology (54-XX) 8 History and biography (01-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 Field theory and polynomials (12-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-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

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

Cited in 29 Fields

 577 Mathematical logic and foundations (03-XX) 167 Order, lattices, ordered algebraic structures (06-XX) 74 General algebraic systems (08-XX) 45 Computer science (68-XX) 18 General topology (54-XX) 14 Category theory; homological algebra (18-XX) 12 Quantum theory (81-XX) 10 History and biography (01-XX) 8 Combinatorics (05-XX) 6 Group theory and generalizations (20-XX) 5 Number theory (11-XX) 5 Commutative algebra (13-XX) 4 General and overarching topics; collections (00-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Associative rings and algebras (16-XX) 3 Functional analysis (46-XX) 3 Probability theory and stochastic processes (60-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 Geometry (51-XX) 1 Numerical analysis (65-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX)