Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen Bisimulations and bisimulation games between Verbrugge models. (English) Zbl 07738003 Math. Log. Q. 69, No. 2, 231-243 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Horvat} et al., Math. Log. Q. 69, No. 2, 231--243 (2023; Zbl 07738003) Full Text: DOI
Lávička, Tomáš; Moraschini, Tommaso; Raftery, James G. The algebraic significance of weak excluded middle laws. (English) Zbl 1521.03255 Math. Log. Q. 68, No. 1, 79-94 (2022). MSC: 03G27 03B20 03B45 03B47 PDFBibTeX XMLCite \textit{T. Lávička} et al., Math. Log. Q. 68, No. 1, 79--94 (2022; Zbl 1521.03255) Full Text: DOI arXiv
Kurahashi, Taishi; Okawa, Yuya Modal completeness of sublogics of the interpretability logic \(\mathsf{IL} \). (English) Zbl 1521.03238 Math. Log. Q. 67, No. 2, 164-185 (2021). MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{T. Kurahashi} and \textit{Y. Okawa}, Math. Log. Q. 67, No. 2, 164--185 (2021; Zbl 1521.03238) Full Text: DOI arXiv
Kirby, Laurence Bounded finite set theory. (English) Zbl 1521.03208 Math. Log. Q. 67, No. 2, 149-163 (2021). MSC: 03E70 03E30 03C62 PDFBibTeX XMLCite \textit{L. Kirby}, Math. Log. Q. 67, No. 2, 149--163 (2021; Zbl 1521.03208) Full Text: DOI
Visser, Albert The small-is-very-small principle. (English) Zbl 1521.03234 Math. Log. Q. 65, No. 4, 453-478 (2019). MSC: 03F30 03C62 03F40 03H15 PDFBibTeX XMLCite \textit{A. Visser}, Math. Log. Q. 65, No. 4, 453--478 (2019; Zbl 1521.03234) Full Text: DOI arXiv
Maly, Jan; Müller, Moritz A remark on pseudo proof systems and hard instances of the satisfiability problem. (English) Zbl 1521.03220 Math. Log. Q. 64, No. 6, 418-428 (2018). MSC: 03F20 03H05 68Q17 PDFBibTeX XMLCite \textit{J. Maly} and \textit{M. Müller}, Math. Log. Q. 64, No. 6, 418--428 (2018; Zbl 1521.03220) Full Text: DOI
Pelupessy, Florian Reverse mathematics of the finite downwards closed subsets of \(\mathbb{N}^k\) ordered by inclusion and adjacent Ramsey for fixed dimension. (English) Zbl 1521.03021 Math. Log. Q. 64, No. 3, 178-182 (2018). MSC: 03B30 03F15 05D10 06A05 PDFBibTeX XMLCite \textit{F. Pelupessy}, Math. Log. Q. 64, No. 3, 178--182 (2018; Zbl 1521.03021) Full Text: DOI arXiv
Pollett, Chris On the finite axiomatizability of \(\forall\hat{\Sigma}^{\mathrm{b}}_1 (\hat{\mathsf{R}}^1_2)\). (English) Zbl 1521.03231 Math. Log. Q. 64, No. 1-2, 6-24 (2018). MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{C. Pollett}, Math. Log. Q. 64, No. 1--2, 6--24 (2018; Zbl 1521.03231) Full Text: DOI
Glivický, Petr; Kala, Vítězslav Fermat’s last theorem and Catalan’s conjecture in weak exponential arithmetics. (English) Zbl 1469.03163 Math. Log. Q. 63, No. 3-4, 162-174 (2017). MSC: 03F30 03C62 03H15 11U10 PDFBibTeX XMLCite \textit{P. Glivický} and \textit{V. Kala}, Math. Log. Q. 63, No. 3--4, 162--174 (2017; Zbl 1469.03163) Full Text: DOI arXiv
Pelupessy, Florian Monomial ideals and independence of \(\mathsf{I}\Sigma_2\). (English) Zbl 1437.03166 Math. Log. Q. 63, No. 1-2, 59-65 (2017). MSC: 03F30 03F15 03D20 05D10 06A06 13F20 PDFBibTeX XMLCite \textit{F. Pelupessy}, Math. Log. Q. 63, No. 1--2, 59--65 (2017; Zbl 1437.03166) Full Text: DOI arXiv
Baratella, Stefano; Zambella, Domenico The \(\mathbb{R}\)eal truth. (English) Zbl 1372.03046 Math. Log. Q. 61, No. 1-2, 32-44 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{S. Baratella} and \textit{D. Zambella}, Math. Log. Q. 61, No. 1--2, 32--44 (2015; Zbl 1372.03046) Full Text: DOI arXiv
Raftery, James G. Inconsistency lemmas in algebraic logic. (English) Zbl 1350.03051 Math. Log. Q. 59, No. 6, 393-406 (2013). MSC: 03G27 03B22 03G25 08C15 PDFBibTeX XMLCite \textit{J. G. Raftery}, Math. Log. Q. 59, No. 6, 393--406 (2013; Zbl 1350.03051) Full Text: DOI Link
Yokoyama, Keita On the strength of Ramsey’s theorem without \(\Sigma _{1}\)-induction. (English) Zbl 1267.03031 Math. Log. Q. 59, No. 1-2, 108-111 (2013). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 05D10 PDFBibTeX XMLCite \textit{K. Yokoyama}, Math. Log. Q. 59, No. 1--2, 108--111 (2013; Zbl 1267.03031) Full Text: DOI
Cornaros, Charalampos Weak forms of the regularity principle in the presence of \(\mathrm{IE}_1\). (English) Zbl 1264.03123 Math. Log. Q. 59, No. 1-2, 84-100 (2013). Reviewer: Alexander Kreuzer (Lyon) MSC: 03F30 PDFBibTeX XMLCite \textit{C. Cornaros}, Math. Log. Q. 59, No. 1--2, 84--100 (2013; Zbl 1264.03123) Full Text: DOI
Freytes, Hector; Domenech, Graciela Quantum computational logic with mixed states. (English) Zbl 1276.68071 Math. Log. Q. 59, No. 1-2, 27-50 (2013). Reviewer: T. C. Mohan (Chennai) MSC: 68Q05 81P68 03B70 06D35 PDFBibTeX XMLCite \textit{H. Freytes} and \textit{G. Domenech}, Math. Log. Q. 59, No. 1--2, 27--50 (2013; Zbl 1276.68071) Full Text: DOI arXiv Link
Marchioni, Enrico; Metcalfe, George Craig interpolation for semilinear substructural logics. (English) Zbl 1273.03075 Math. Log. Q. 58, No. 6, 468-481 (2012). MSC: 03B47 03C40 03G25 06D30 PDFBibTeX XMLCite \textit{E. Marchioni} and \textit{G. Metcalfe}, Math. Log. Q. 58, No. 6, 468--481 (2012; Zbl 1273.03075) Full Text: DOI
Frittaion, Emanuele; Marcone, Alberto Linear extensions of partial orders and reverse mathematics. (English) Zbl 1259.03023 Math. Log. Q. 58, No. 6, 417-423 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 06A07 PDFBibTeX XMLCite \textit{E. Frittaion} and \textit{A. Marcone}, Math. Log. Q. 58, No. 6, 417--423 (2012; Zbl 1259.03023) Full Text: DOI arXiv
Chvalovský, Karel; Cintula, Petr Note on deduction theorems in contraction-free logics. (English) Zbl 1248.03014 Math. Log. Q. 58, No. 3, 236-243 (2012). MSC: 03B22 03B47 PDFBibTeX XMLCite \textit{K. Chvalovský} and \textit{P. Cintula}, Math. Log. Q. 58, No. 3, 236--243 (2012; Zbl 1248.03014) Full Text: DOI
Cholak, Peter; Galvin, David; Solomon, Reed Reverse mathematics and infinite traceable graphs. (English) Zbl 1241.03008 Math. Log. Q. 58, No. 1-2, 18-28 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D80 03F35 05C63 PDFBibTeX XMLCite \textit{P. Cholak} et al., Math. Log. Q. 58, No. 1--2, 18--28 (2012; Zbl 1241.03008) Full Text: DOI arXiv
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation. (English) Zbl 1238.03048 Math. Log. Q. 57, No. 5, 444-455 (2011). Reviewer: Roman Kossak (New York) MSC: 03F30 03H15 PDFBibTeX XMLCite \textit{A. Cordón-Franco} et al., Math. Log. Q. 57, No. 5, 444--455 (2011; Zbl 1238.03048) Full Text: DOI
Guo, Lankun; Zhang, Guo-Qiang; Li, Qingguo Fuzzy closure systems on \(L\)-ordered sets. (English) Zbl 1218.06002 Math. Log. Q. 57, No. 3, 281-291 (2011). Reviewer: Salvatore Sessa (Napoli) MSC: 06A15 03E72 PDFBibTeX XMLCite \textit{L. Guo} et al., Math. Log. Q. 57, No. 3, 281--291 (2011; Zbl 1218.06002) Full Text: DOI
Diaconescu, Răzvan On quasi-varieties of multiple valued logic models. (English) Zbl 1241.03028 Math. Log. Q. 57, No. 2, 194-203 (2011). Reviewer: Daniele Mundici (Firenze) MSC: 03B50 03C05 08C15 PDFBibTeX XMLCite \textit{R. Diaconescu}, Math. Log. Q. 57, No. 2, 194--203 (2011; Zbl 1241.03028) Full Text: DOI
Motamed, Somayeh; Torkzadeh, Lida; Borumand Saeid, Arsham; Mohtashamnia, Neda Radical of filters in BL-algebras. (English) Zbl 1218.03037 Math. Log. Q. 57, No. 2, 166-179 (2011). Reviewer: Claudia Mureşan (Rîmnicu Vîlcea) MSC: 03G25 06D35 PDFBibTeX XMLCite \textit{S. Motamed} et al., Math. Log. Q. 57, No. 2, 166--179 (2011; Zbl 1218.03037) Full Text: DOI
Hájek, Petr On witnessed models in fuzzy logic. III: Witnessed Gödel logics. (English) Zbl 1191.03019 Math. Log. Q. 56, No. 2, 171-174 (2010). MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{P. Hájek}, Math. Log. Q. 56, No. 2, 171--174 (2010; Zbl 1191.03019) Full Text: DOI
Gutiérrez García, Javier; Mardones-Pérez, Iraide; de Prada Vicente, María Angeles; Zhang, Dexue Fuzzy Galois connections categorically. (English) Zbl 1206.06002 Math. Log. Q. 56, No. 2, 131-147 (2010). Reviewer: Józef Drewniak (Rzeszów) MSC: 06A15 03B52 06F05 18D20 PDFBibTeX XMLCite \textit{J. Gutiérrez García} et al., Math. Log. Q. 56, No. 2, 131--147 (2010; Zbl 1206.06002) Full Text: DOI
Ma, Xueling; Zhan, Jianming; Jun, Young B. On \((\in,\in \vee q)\)-fuzzy filters of \(R_0\)-algebras. (English) Zbl 1183.03063 Math. Log. Q. 55, No. 5, 493-508 (2009). Reviewer: Michiro Kondo (Inzai) MSC: 03G10 03G25 PDFBibTeX XMLCite \textit{X. Ma} et al., Math. Log. Q. 55, No. 5, 493--508 (2009; Zbl 1183.03063) Full Text: DOI
Horčík, Rostislav; Montagna, Franco Archimedean classes in integral commutative residuated chains. (English) Zbl 1172.03037 Math. Log. Q. 55, No. 3, 320-336 (2009). Reviewer: Daniele Mundici (Firenze) MSC: 03G25 03B52 06F05 PDFBibTeX XMLCite \textit{R. Horčík} and \textit{F. Montagna}, Math. Log. Q. 55, No. 3, 320--336 (2009; Zbl 1172.03037) Full Text: DOI
Arai, Toshiyasu Non-elementary speed-ups in logic calculi. (English) Zbl 1163.03032 Math. Log. Q. 54, No. 6, 629-640 (2008). Reviewer: G. E. Mints (Stanford) MSC: 03F20 03B10 03B15 03F05 PDFBibTeX XMLCite \textit{T. Arai}, Math. Log. Q. 54, No. 6, 629--640 (2008; Zbl 1163.03032) Full Text: DOI
Haniková, Zuzana; Savický, Petr Distinguishing standard SBL-algebras with involutive negations by propositional formulas. (English) Zbl 1155.03012 Math. Log. Q. 54, No. 6, 579-596 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03B52 03G25 PDFBibTeX XMLCite \textit{Z. Haniková} and \textit{P. Savický}, Math. Log. Q. 54, No. 6, 579--596 (2008; Zbl 1155.03012) Full Text: DOI
Hájek, Petr; Montagna, Franco A note on the first-order logic of complete BL-chains. (English) Zbl 1152.03019 Math. Log. Q. 54, No. 4, 435-446 (2008). Reviewer: Radko Mesiar (Bratislava) MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{P. Hájek} and \textit{F. Montagna}, Math. Log. Q. 54, No. 4, 435--446 (2008; Zbl 1152.03019) Full Text: DOI
Noguera, Carles; Esteva, Francesc; Gispert, Joan On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. (English) Zbl 1145.03039 Math. Log. Q. 54, No. 4, 387-409 (2008). MSC: 03G25 03B52 08B99 PDFBibTeX XMLCite \textit{C. Noguera} et al., Math. Log. Q. 54, No. 4, 387--409 (2008; Zbl 1145.03039) Full Text: DOI Link
Vetterlein, Thomas Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras. (English) Zbl 1182.03110 Math. Log. Q. 54, No. 4, 350-367 (2008). Reviewer: Daniele Mundici (Firenze) MSC: 03G25 03B52 06D20 06D35 06F05 PDFBibTeX XMLCite \textit{T. Vetterlein}, Math. Log. Q. 54, No. 4, 350--367 (2008; Zbl 1182.03110) Full Text: DOI
Hájek, Petr On witnessed models in fuzzy logic. (English) Zbl 1110.03013 Math. Log. Q. 53, No. 1, 66-77 (2007). MSC: 03B52 03B50 03D35 PDFBibTeX XMLCite \textit{P. Hájek}, Math. Log. Q. 53, No. 1, 66--77 (2007; Zbl 1110.03013) Full Text: DOI
Ikeda, Kazuma; Tsuboi, Akito Nonstandard models that are definable in models of Peano arithmetic. (English) Zbl 1112.03031 Math. Log. Q. 53, No. 1, 27-37 (2007). MSC: 03C62 03H15 03C40 PDFBibTeX XMLCite \textit{K. Ikeda} and \textit{A. Tsuboi}, Math. Log. Q. 53, No. 1, 27--37 (2007; Zbl 1112.03031) Full Text: DOI
Danner, Norman; Pollett, Chris The weak pigeonhole principle for function classes in \(S^{1}_{2}\). (English) Zbl 1110.03054 Math. Log. Q. 52, No. 6, 575-584 (2006). MSC: 03F20 03F30 03D20 68Q17 PDFBibTeX XMLCite \textit{N. Danner} and \textit{C. Pollett}, Math. Log. Q. 52, No. 6, 575--584 (2006; Zbl 1110.03054) Full Text: DOI
Ferreira, Fernando; Ferreira, Gilda Counting as integration in feasible analysis. (English) Zbl 1095.03066 Math. Log. Q. 52, No. 3, 315-320 (2006). MSC: 03F35 PDFBibTeX XMLCite \textit{F. Ferreira} and \textit{G. Ferreira}, Math. Log. Q. 52, No. 3, 315--320 (2006; Zbl 1095.03066) Full Text: DOI
Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko Residuated logics based on strict triangular norms with an involutive negation. (English) Zbl 1165.03326 Math. Log. Q. 52, No. 3, 269-282 (2006). MSC: 03B52 03G25 PDFBibTeX XMLCite \textit{P. Cintula} et al., Math. Log. Q. 52, No. 3, 269--282 (2006; Zbl 1165.03326) Full Text: DOI
Vychodil, Vilém Continuous fuzzy Horn logic. (English) Zbl 1126.03033 Math. Log. Q. 52, No. 2, 171-186 (2006). Reviewer: Vilém Novák (Ostrava) MSC: 03B52 PDFBibTeX XMLCite \textit{V. Vychodil}, Math. Log. Q. 52, No. 2, 171--186 (2006; Zbl 1126.03033) Full Text: DOI
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix Envelopes, indicators and conservativeness. (English) Zbl 1101.03039 Math. Log. Q. 52, No. 1, 51-70 (2006). Reviewer: Roman Kossak (New York) MSC: 03F30 03H15 PDFBibTeX XMLCite \textit{A. Cordón-Franco} et al., Math. Log. Q. 52, No. 1, 51--70 (2006; Zbl 1101.03039) Full Text: DOI Link
Kotlarski, Henryk; Piekart, Bożena Some variations of the Hardy hierarchy. (English) Zbl 1078.03048 Math. Log. Q. 51, No. 4, 417-434 (2005). MSC: 03F30 05A18 03C62 03F05 PDFBibTeX XMLCite \textit{H. Kotlarski} and \textit{B. Piekart}, Math. Log. Q. 51, No. 4, 417--434 (2005; Zbl 1078.03048) Full Text: DOI
McAllister, Alex M. Bounded Scott set saturation. (English) Zbl 0999.03032 Math. Log. Q. 48, No. 2, 245-259 (2002). Reviewer: Roman Kossak (New York) MSC: 03C50 03C62 03D35 03H15 PDFBibTeX XMLCite \textit{A. M. McAllister}, Math. Log. Q. 48, No. 2, 245--259 (2002; Zbl 0999.03032) Full Text: DOI
Moniri, Morteza Weak arithmetics and Kripke models. (English) Zbl 0989.03068 Math. Log. Q. 48, No. 1, 157-160 (2002); corrigendum ibid. 50, No. 6, 637-638 (2004). Reviewer: Roman Kossak (New York) MSC: 03F55 03F30 03H15 PDFBibTeX XMLCite \textit{M. Moniri}, Math. Log. Q. 48, No. 1, 157--160 (2002; Zbl 0989.03068) Full Text: DOI
Avigad, Jeremy Update procedures and the 1-consistency of arithmetic. (English) Zbl 0988.03087 Math. Log. Q. 48, No. 1, 3-13 (2002). MSC: 03F30 03F10 03F15 03F25 PDFBibTeX XMLCite \textit{J. Avigad}, Math. Log. Q. 48, No. 1, 3--13 (2002; Zbl 0988.03087) Full Text: DOI
Bělohlávek, Radim Fuzzy Galois connections. (English) Zbl 0938.03079 Math. Log. Q. 45, No. 4, 497-504 (1999). Reviewer: S.Rudeanu (Bucureşti) MSC: 03E72 06A15 PDFBibTeX XMLCite \textit{R. Bělohlávek}, Math. Log. Q. 45, No. 4, 497--504 (1999; Zbl 0938.03079) Full Text: DOI
Kotlarski, Henryk Other proofs of old results. (English) Zbl 0924.03109 Math. Log. Q. 44, No. 4, 474-480 (1998). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03F30 PDFBibTeX XMLCite \textit{H. Kotlarski}, Math. Log. Q. 44, No. 4, 474--480 (1998; Zbl 0924.03109) Full Text: DOI
Johannsen, Jan A model-theoretic property of sharply bounded formulae, with some applications. (English) Zbl 0899.03042 Math. Log. Q. 44, No. 2, 205-215 (1998). Reviewer: R.Kossak (New York) MSC: 03F30 03C62 03H15 PDFBibTeX XMLCite \textit{J. Johannsen}, Math. Log. Q. 44, No. 2, 205--215 (1998; Zbl 0899.03042) Full Text: DOI
Ferreira, Fernando; Marques, António Extracting algorithms from intuitionistic proofs. (English) Zbl 0903.03035 Math. Log. Q. 44, No. 2, 143-160 (1998). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03F30 03F55 03D15 PDFBibTeX XMLCite \textit{F. Ferreira} and \textit{A. Marques}, Math. Log. Q. 44, No. 2, 143--160 (1998; Zbl 0903.03035) Full Text: DOI
Borrego-Díaz, Joaquín; Fernández-Margarit, Alejandro; Pérez-Jiménez, Mario On overspill principles and axiom schemes for bounded formulas. (English) Zbl 0856.03044 Math. Log. Q. 42, No. 3, 341-348 (1996). Reviewer: R.Kossak (New York) MSC: 03F30 03H15 PDFBibTeX XMLCite \textit{J. Borrego-Díaz} et al., Math. Log. Q. 42, No. 3, 341--348 (1996; Zbl 0856.03044) Full Text: DOI
Ferreira, Fernando On end-extensions of models of \(\neg \exp\). (English) Zbl 0842.03041 Math. Log. Q. 42, No. 1, 1-18 (1996). Reviewer: R.Kossak (New York) MSC: 03F30 03C62 68Q15 PDFBibTeX XMLCite \textit{F. Ferreira}, Math. Log. Q. 42, No. 1, 1--18 (1996; Zbl 0842.03041) Full Text: DOI
Michalski, Grzegorz Relatively recursively enumerable versus relatively \(\Sigma_ 1\) in models of Peano arithmetic. (English) Zbl 0837.03038 Math. Log. Q. 41, No. 4, 515-522 (1995). MSC: 03D99 03F30 03H15 03C62 PDFBibTeX XMLCite \textit{G. Michalski}, Math. Log. Q. 41, No. 4, 515--522 (1995; Zbl 0837.03038) Full Text: DOI
Fontani, Sandra; Montagna, Franco; Sorbi, Andrea A note on relative efficiency of axiom systems. (English) Zbl 0812.03026 Math. Log. Q. 40, No. 2, 261-272 (1994). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03F20 03F30 PDFBibTeX XMLCite \textit{S. Fontani} et al., Math. Log. Q. 40, No. 2, 261--272 (1994; Zbl 0812.03026) Full Text: DOI
Fernández-Margarit, A.; Pérez-Jiménez, M. J. Maximum schemes in arithmetic. (English) Zbl 0810.03046 Math. Log. Q. 40, No. 3, 425-430 (1994). Reviewer: R.Kossak (New York) MSC: 03F30 03H15 PDFBibTeX XMLCite \textit{A. Fernández-Margarit} and \textit{M. J. Pérez-Jiménez}, Math. Log. Q. 40, No. 3, 425--430 (1994; Zbl 0810.03046) Full Text: DOI
Baratella, Stefano; Ferro, Ruggero A theory of sets with negation of the axiom of infinity. (English) Zbl 0807.03031 Math. Log. Q. 39, No. 3, 338-352 (1993). Reviewer: K.Čuda (Praha) MSC: 03E30 03E35 03E70 PDFBibTeX XMLCite \textit{S. Baratella} and \textit{R. Ferro}, Math. Log. Q. 39, No. 3, 338--352 (1993; Zbl 0807.03031) Full Text: DOI