Fujiwara, Makoto; Kawai, Tatsuji Characterising Brouwer’s continuity by bar recursion on moduli of continuity. (English) Zbl 07297808 Arch. Math. Logic 60, No. 1-2, 241-263 (2021). MSC: 03F55 03F35 03F50 03F10 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{T. Kawai}, Arch. Math. Logic 60, No. 1--2, 241--263 (2021; Zbl 07297808) Full Text: DOI
Pianigiani, Duccio; Sorbi, Andrea A note on uniform density in weak arithmetical theories. (English) Zbl 07297806 Arch. Math. Logic 60, No. 1-2, 211-225 (2021). MSC: 03D45 03F30 PDF BibTeX XML Cite \textit{D. Pianigiani} and \textit{A. Sorbi}, Arch. Math. Logic 60, No. 1--2, 211--225 (2021; Zbl 07297806) Full Text: DOI
Protopopescu, Tudor An arithmetic interpretation of intuitionistic verification. (English) Zbl 07194705 J. Log. Comput. 30, No. 1, 381-402 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{T. Protopopescu}, J. Log. Comput. 30, No. 1, 381--402 (2020; Zbl 07194705) Full Text: DOI
Gorbow, Paul K. Algebraic new foundations. (English) Zbl 1440.18005 J. Symb. Log. 84, No. 2, 798-832 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03C62 03E30 03E35 03G30 18C50 PDF BibTeX XML Cite \textit{P. K. Gorbow}, J. Symb. Log. 84, No. 2, 798--832 (2019; Zbl 1440.18005) Full Text: DOI
Japaridze, Giorgi Arithmetics base on computability logic. (English) Zbl 1446.03101 Log. Issled. 25, No. 2, 61-74 (2019). MSC: 03F30 03B70 03F50 PDF BibTeX XML Cite \textit{G. Japaridze}, Log. Issled. 25, No. 2, 61--74 (2019; Zbl 1446.03101) Full Text: DOI
Fujiwara, Makoto Bar induction and restricted classical logic. (English) Zbl 07176929 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 236-247 (2019). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Fujiwara}, Lect. Notes Comput. Sci. 11541, 236--247 (2019; Zbl 07176929) Full Text: DOI
Konovalov, A. Yu. Generalized realizability for extensions of the language of arithmetic. (English. Russian original) Zbl 07153899 Mosc. Univ. Math. Bull. 74, No. 4, 167-170 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50-54 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F50 03F55 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Mosc. Univ. Math. Bull. 74, No. 4, 167--170 (2019; Zbl 07153899); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50--54 (2019) Full Text: DOI
Abiri, Maryam; Moniri, Morteza; Zaare, Mostafa Forcing and satisfaction in Kripke models of intuitionistic arithmetic. (English) Zbl 07125822 Log. J. IGPL 27, No. 5, 659-670 (2019). MSC: 03 68 PDF BibTeX XML Cite \textit{M. Abiri} et al., Log. J. IGPL 27, No. 5, 659--670 (2019; Zbl 07125822) Full Text: DOI
Wang, W.; Mendel, J. M. Interval-valued intuitionistic fuzzy aggregation methodology for decision making with a prioritization of criteria. (English) Zbl 1429.91130 Iran. J. Fuzzy Syst. 16, No. 4, 115-127 (2019). MSC: 91B06 91B86 PDF BibTeX XML Cite \textit{W. Wang} and \textit{J. M. Mendel}, Iran. J. Fuzzy Syst. 16, No. 4, 115--127 (2019; Zbl 1429.91130) Full Text: DOI
Ardeshir, Mohammad; Mojtahedi, Mojtaba The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\). (English) Zbl 1439.03105 J. Symb. Log. 84, No. 3, 1118-1135 (2019). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F30 03F55 PDF BibTeX XML Cite \textit{M. Ardeshir} and \textit{M. Mojtahedi}, J. Symb. Log. 84, No. 3, 1118--1135 (2019; Zbl 1439.03105) Full Text: DOI
Berardi, Stefano; Oliva, Paulo; Steila, Silvia An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. (English) Zbl 1444.03140 J. Log. Comput. 29, No. 4, 555-575 (2019). MSC: 03D65 03F35 05D10 03F55 PDF BibTeX XML Cite \textit{S. Berardi} et al., J. Log. Comput. 29, No. 4, 555--575 (2019; Zbl 1444.03140) Full Text: DOI
Fujiwara, Makoto; Kawai, Tatsuji Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. (English) Zbl 07061093 Ann. Pure Appl. Logic 170, No. 8, 867-890 (2019). MSC: 03F55 03F35 03F10 03B30 03B20 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{T. Kawai}, Ann. Pure Appl. Logic 170, No. 8, 867--890 (2019; Zbl 07061093) Full Text: DOI
Visser, Albert; Zoethout, Jetze Provability logic and the completeness principle. (English) Zbl 1439.03106 Ann. Pure Appl. Logic 170, No. 6, 718-753 (2019). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F50 03F55 03F30 PDF BibTeX XML Cite \textit{A. Visser} and \textit{J. Zoethout}, Ann. Pure Appl. Logic 170, No. 6, 718--753 (2019; Zbl 1439.03106) Full Text: DOI arXiv
Priyadharsini, J.; Balasubramaniam, P. Multi-criteria decision making method based on interval-valued intuitionistic fuzzy sets. (English) Zbl 1415.91096 J. Anal. 27, No. 1, 259-276 (2019). MSC: 91B06 PDF BibTeX XML Cite \textit{J. Priyadharsini} and \textit{P. Balasubramaniam}, J. Anal. 27, No. 1, 259--276 (2019; Zbl 1415.91096) Full Text: DOI
Fujiwara, Makoto; Kohlenbach, Ulrich Interrelation between weak fragments of double negation shift and related principles. (English) Zbl 1445.03006 J. Symb. Log. 83, No. 3, 991-1012 (2018). Reviewer: Valery Plisko (Moskva) MSC: 03B20 03F50 03F10 03F25 03F35 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{U. Kohlenbach}, J. Symb. Log. 83, No. 3, 991--1012 (2018; Zbl 1445.03006) Full Text: DOI
Ardeshir, Mohammad; Mojtahedi, Mojtaba The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\). (English) Zbl 1426.03039 Ann. Pure Appl. Logic 169, No. 10, 997-1043 (2018). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F50 03F55 PDF BibTeX XML Cite \textit{M. Ardeshir} and \textit{M. Mojtahedi}, Ann. Pure Appl. Logic 169, No. 10, 997--1043 (2018; Zbl 1426.03039) Full Text: DOI
Palmgren, Erik A constructive examination of a Russell-style ramified type theory. (English) Zbl 06866161 Bull. Symb. Log. 24, No. 1, 90-106 (2018). MSC: 03B15 03F35 03F50 PDF BibTeX XML Cite \textit{E. Palmgren}, Bull. Symb. Log. 24, No. 1, 90--106 (2018; Zbl 06866161) Full Text: DOI arXiv
Dinis, Bruno; Gaspar, Jaime Intuitionistic nonstandard bounded modified realisability and functional interpretation. (English) Zbl 1426.03013 Ann. Pure Appl. Logic 169, No. 5, 392-412 (2018). Reviewer: Valery Plisko (Moskva) MSC: 03B20 03F25 03F35 11U10 PDF BibTeX XML Cite \textit{B. Dinis} and \textit{J. Gaspar}, Ann. Pure Appl. Logic 169, No. 5, 392--412 (2018; Zbl 1426.03013) Full Text: DOI
van den Berg, Benno; van Slooten, Lotte Arithmetical conservation results. (English) Zbl 1437.03170 Indag. Math., New Ser. 29, No. 1, 260-275 (2018). MSC: 03F50 03F30 03F55 PDF BibTeX XML Cite \textit{B. van den Berg} and \textit{L. van Slooten}, Indag. Math., New Ser. 29, No. 1, 260--275 (2018; Zbl 1437.03170) Full Text: DOI arXiv
Litak, Tadeusz; Visser, Albert Lewis meets Brouwer: constructive strict implication. (English) Zbl 1436.03137 Indag. Math., New Ser. 29, No. 1, 36-90 (2018). MSC: 03B45 03B20 03F30 PDF BibTeX XML Cite \textit{T. Litak} and \textit{A. Visser}, Indag. Math., New Ser. 29, No. 1, 36--90 (2018; Zbl 1436.03137) Full Text: DOI
Pradic, Pierre; Riba, Colin A Curry-Howard approach to Church’s synthesis. (English) Zbl 1434.03104 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 30, 16 p. (2017). MSC: 03D05 03B16 03F35 03F55 68Q45 PDF BibTeX XML Cite \textit{P. Pradic} and \textit{C. Riba}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 30, 16 p. (2017; Zbl 1434.03104) Full Text: DOI
Tang, Xiaoan; Fu, Chao; Xu, Dong-Ling; Yang, Shanlin Analysis of fuzzy Hamacher aggregation functions for uncertain multiple attribute decision making. (English) Zbl 1431.91123 Inf. Sci. 387, 19-33 (2017). MSC: 91B06 91B86 PDF BibTeX XML Cite \textit{X. Tang} et al., Inf. Sci. 387, 19--33 (2017; Zbl 1431.91123) Full Text: DOI
Ferreira, Fernando On some semi-constructive theories related to Kripke-Platek set theory. (English) Zbl 1429.03205 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 347-384 (2017). MSC: 03F10 03F35 03F65 03E70 03F50 PDF BibTeX XML Cite \textit{F. Ferreira}, Outst. Contrib. Log. 13, 347--384 (2017; Zbl 1429.03205) Full Text: DOI
Kuyper, Rutger On Weihrauch reducibility and intuitionistic reverse mathematics. (English) Zbl 1421.03003 J. Symb. Log. 82, No. 4, 1438-1458 (2017). MSC: 03B30 03B20 03D30 03F35 PDF BibTeX XML Cite \textit{R. Kuyper}, J. Symb. Log. 82, No. 4, 1438--1458 (2017; Zbl 1421.03003) Full Text: DOI arXiv
Vidhya, Rajendran; Irene Hepzibah, Rajkumar A comparative study on interval arithmetic operations with intuitionistic fuzzy numbers for solving an intuitionistic fuzzy multi-objective linear programming problem. (English) Zbl 1373.93194 Int. J. Appl. Math. Comput. Sci. 27, No. 3, 563-573 (2017). MSC: 93C42 90C05 90C29 90C70 PDF BibTeX XML Cite \textit{R. Vidhya} and \textit{R. Irene Hepzibah}, Int. J. Appl. Math. Comput. Sci. 27, No. 3, 563--573 (2017; Zbl 1373.93194) Full Text: DOI
Berardi, Stefano; Steila, Silvia Ramsey’s theorem for pairs and \(k\) colors as a sub-classical principle of arithmetic. (English) Zbl 1419.03055 J. Symb. Log. 82, No. 2, 737-753 (2017). MSC: 03F55 03B30 03F30 05D10 PDF BibTeX XML Cite \textit{S. Berardi} and \textit{S. Steila}, J. Symb. Log. 82, No. 2, 737--753 (2017; Zbl 1419.03055) Full Text: DOI arXiv
Kachapova, Farida Metamathematical properties of a constructive multi-typed theory. (English) Zbl 1417.03298 Stud. Log. 105, No. 3, 587-610 (2017). MSC: 03F50 03F35 03F55 03F65 PDF BibTeX XML Cite \textit{F. Kachapova}, Stud. Log. 105, No. 3, 587--610 (2017; Zbl 1417.03298) Full Text: DOI
Ilin, Julia; de Jongh, Dick; Yang, Fan NNIL axioms have the finite model property. (English) Zbl 1418.03034 van Eijck, Jan (ed.) et al., Liber amicorum Alberti. A tribute to Albert Visser. London: College Publications. Tributes 30, 177-185 (2016). MSC: 03B20 03F30 PDF BibTeX XML Cite \textit{J. Ilin} et al., Tributes 30, 177--185 (2016; Zbl 1418.03034)
Ramanayake, Revantha Non-commutative classical arithmetical sequent calculi are intuitionistic. (English) Zbl 1405.03093 Log. J. IGPL 24, No. 3, 441-452 (2016). MSC: 03F30 03F03 03B20 PDF BibTeX XML Cite \textit{R. Ramanayake}, Log. J. IGPL 24, No. 3, 441--452 (2016; Zbl 1405.03093) Full Text: DOI
Blot, Valentin Hybrid realizability for intuitionistic and classical choice. (English) Zbl 1394.03021 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 575-584 (2016). MSC: 03B40 03B20 03B15 03E25 03F30 PDF BibTeX XML Cite \textit{V. Blot}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 575--584 (2016; Zbl 1394.03021) Full Text: DOI
Das, Anupam From positive and intuitionistic bounded arithmetic to monotone proof complexity. (English) Zbl 1395.03030 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 126-135 (2016). MSC: 03F20 03B20 03F35 PDF BibTeX XML Cite \textit{A. Das}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 126--135 (2016; Zbl 1395.03030) Full Text: DOI
Protopopescu, Tudor An arithmetical interpretation of verification and intuitionistic knowledge. (English) Zbl 06751247 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). Lecture Notes in Computer Science 9537, 317-330 (2016). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Protopopescu}, Lect. Notes Comput. Sci. 9537, 317--330 (2016; Zbl 06751247) Full Text: DOI arXiv
Rin, Benjamin G.; Walsh, Sean Realizability semantics for quantified modal logic: generalizing Flagg’s 1985 construction. (English) Zbl 1400.03050 Rev. Symb. Log. 9, No. 4, 752-809 (2016). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03B42 03C62 03C90 03D60 03F55 03B40 06D20 PDF BibTeX XML Cite \textit{B. G. Rin} and \textit{S. Walsh}, Rev. Symb. Log. 9, No. 4, 752--809 (2016; Zbl 1400.03050) Full Text: DOI arXiv
Ouyang, Yao; Pedrycz, Witold A new model for intuitionistic fuzzy multi-attributes decision making. (English) Zbl 1346.91059 Eur. J. Oper. Res. 249, No. 2, 677-682 (2016). MSC: 91B06 90C70 PDF BibTeX XML Cite \textit{Y. Ouyang} and \textit{W. Pedrycz}, Eur. J. Oper. Res. 249, No. 2, 677--682 (2016; Zbl 1346.91059) Full Text: DOI
Sriram, S.; Boobalan, J. Monoids of intuitionistic fuzzy matrices. (English) Zbl 1345.15010 Ann. Fuzzy Math. Inform. 11, No. 3, 505-510 (2016). MSC: 15B15 15A30 PDF BibTeX XML Cite \textit{S. Sriram} and \textit{J. Boobalan}, Ann. Fuzzy Math. Inform. 11, No. 3, 505--510 (2016; Zbl 1345.15010) Full Text: Link
Konovalov, Alexandr Yu. Arithmetical realizability and basic logic. (English. Russian original) Zbl 1338.03108 Mosc. Univ. Math. Bull. 71, No. 1, 35-38 (2016); translation from Vestn. Mosk. Univ., Ser. I 71, No. 1, 52-56 (2016). MSC: 03F30 03F55 03B20 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Mosc. Univ. Math. Bull. 71, No. 1, 35--38 (2016; Zbl 1338.03108); translation from Vestn. Mosk. Univ., Ser. I 71, No. 1, 52--56 (2016) Full Text: DOI
Połacik, Tomasz A semantic approach to conservativity. (English) Zbl 1414.03013 Stud. Log. 104, No. 2, 235-248 (2016). Reviewer: Valery Plisko (Moskva) MSC: 03F50 03B20 03F25 03F55 03F30 03E70 PDF BibTeX XML Cite \textit{T. Połacik}, Stud. Log. 104, No. 2, 235--248 (2016; Zbl 1414.03013) Full Text: DOI
Dong, Jiuying; Wan, Shu-Ping Arithmetic aggregation operators for interval-valued intuitionistic linguistic variables and application to multi-attribute group decision making. (English) Zbl 1336.91032 Iran. J. Fuzzy Syst. 13, No. 1, 1-23 (2016). MSC: 91B06 90C70 PDF BibTeX XML Cite \textit{J. Dong} and \textit{S.-P. Wan}, Iran. J. Fuzzy Syst. 13, No. 1, 1--23 (2016; Zbl 1336.91032) Full Text: Link
Ishihara, Hajime; Nemoto, Takako A note on the independence of premiss rule. (English) Zbl 1357.03039 Math. Log. Q. 62, No. 1-2, 72-76 (2016). MSC: 03B20 03F30 03F55 PDF BibTeX XML Cite \textit{H. Ishihara} and \textit{T. Nemoto}, Math. Log. Q. 62, No. 1--2, 72--76 (2016; Zbl 1357.03039) Full Text: DOI
Garg, Harish Predicting uncertain behavior in critical engineering systems under vague environment. (English) Zbl 1394.90219 J. Mult.-Val. Log. Soft Comput. 25, No. 1, 1-20 (2015). MSC: 90B25 PDF BibTeX XML Cite \textit{H. Garg}, J. Mult.-Val. Log. Soft Comput. 25, No. 1, 1--20 (2015; Zbl 1394.90219) Full Text: Link
Siders, Annika A direct Gentzen-style consistency proof for Heyting arithmetic. (English) Zbl 1386.03071 Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 177-211 (2015). MSC: 03F30 03F25 03F05 03F55 PDF BibTeX XML Cite \textit{A. Siders}, in: Gentzen's centenary. The quest for consistency. Cham: Springer. 177--211 (2015; Zbl 1386.03071) Full Text: DOI
Dančák, Michal The intuitionistic Robinson arithmetic(s). (English) Zbl 1379.03018 Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 77-90 (2015). MSC: 03F30 03F55 PDF BibTeX XML Cite \textit{M. Dančák}, in: The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2014. London: College Publications. 77--90 (2015; Zbl 1379.03018)
Berardi, Stefano Classical and intuitionistic arithmetic with higher order comprehension coincide on inductive well-foundedness. (English) Zbl 1373.03126 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 343-358 (2015). MSC: 03F35 03B20 PDF BibTeX XML Cite \textit{S. Berardi}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 343--358 (2015; Zbl 1373.03126) Full Text: DOI
Case, John; Ralston, Michael; Akama, Yohji A non-uniformly C-productive sequence & non-constructive disjunctions. (English) Zbl 1432.03075 Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 29-52 (2015). MSC: 03D25 03B20 03D20 03F30 PDF BibTeX XML Cite \textit{J. Case} et al., in: Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16--20, 2013. Hackensack, NJ: World Scientific. 29--52 (2015; Zbl 1432.03075) Full Text: DOI
McCarty, Charles Structuralism and isomorphism. (English) Zbl 1356.03104 Philos. Math. (3) 23, No. 1, 1-10 (2015). MSC: 03F55 03A05 03F35 PDF BibTeX XML Cite \textit{C. McCarty}, Philos. Math. (3) 23, No. 1, 1--10 (2015; Zbl 1356.03104) Full Text: DOI
Konovalov, A. Yu.; Plisko, V. E. On hyperarithmetical realizability. (English. Russian original) Zbl 1382.03081 Math. Notes 98, No. 5, 778-797 (2015); translation from Mat. Zametki 98, No. 5, 725-746 (2015). MSC: 03F35 03D20 03B20 PDF BibTeX XML Cite \textit{A. Yu. Konovalov} and \textit{V. E. Plisko}, Math. Notes 98, No. 5, 778--797 (2015; Zbl 1382.03081); translation from Mat. Zametki 98, No. 5, 725--746 (2015) Full Text: DOI
Blot, Valentin Typed realizability for first-order classical analysis. (English) Zbl 1351.03006 Log. Methods Comput. Sci. 11, No. 4, Paper No. 22, 43 p. (2015). MSC: 03B40 03F55 03F30 03E25 03B70 PDF BibTeX XML Cite \textit{V. Blot}, Log. Methods Comput. Sci. 11, No. 4, Paper No. 22, 43 p. (2015; Zbl 1351.03006) Full Text: DOI
Magaud, Nicolas; Chollet, Agathe; Fuchs, Laurent Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective. (English) Zbl 1326.03074 Ann. Math. Artif. Intell. 74, No. 3-4, 309-332 (2015). MSC: 03F55 03H15 03F60 PDF BibTeX XML Cite \textit{N. Magaud} et al., Ann. Math. Artif. Intell. 74, No. 3--4, 309--332 (2015; Zbl 1326.03074) Full Text: DOI
Kopczyński, Eryk; Tan, Tony Regular graphs and the spectra of two-variable logic with counting. (English) Zbl 1354.03039 SIAM J. Comput. 44, No. 3, 786-818 (2015). MSC: 03C13 03B20 03C07 05C07 PDF BibTeX XML Cite \textit{E. Kopczyński} and \textit{T. Tan}, SIAM J. Comput. 44, No. 3, 786--818 (2015; Zbl 1354.03039) Full Text: DOI
Sato, Kentaro A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman’s explicit mathematics \(T_0\). (English) Zbl 1371.03093 Ann. Pure Appl. Logic 166, No. 7-8, 800-835 (2015). MSC: 03F25 03F50 03B40 03E30 03F55 03F35 PDF BibTeX XML Cite \textit{K. Sato}, Ann. Pure Appl. Logic 166, No. 7--8, 800--835 (2015; Zbl 1371.03093) Full Text: DOI
Liu, Peide; Liu, Zhengmin; Zhang, Xin Some intuitionistic uncertain linguistic Heronian mean operators and their application to group decision making. (English) Zbl 1410.91173 Appl. Math. Comput. 230, 570-586 (2014). MSC: 91B06 PDF BibTeX XML Cite \textit{P. Liu} et al., Appl. Math. Comput. 230, 570--586 (2014; Zbl 1410.91173) Full Text: DOI
Hepzibah, R. Irene; Vidhya, R. Modified new operations for triangular intuitionistic fuzzy numbers (TIFNS). (English) Zbl 1372.65173 Malaya J. Mat. 2, No. 3, 301-307 (2014). MSC: 65K05 90C90 90C70 90C29 PDF BibTeX XML Cite \textit{R. I. Hepzibah} and \textit{R. Vidhya}, Malaya J. Mat. 2, No. 3, 301--307 (2014; Zbl 1372.65173) Full Text: Link
Berardi, Stefano; Steila, Silvia Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic. (English) Zbl 1359.03045 Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 64-83 (2014). MSC: 03F55 03B30 03F30 05D10 PDF BibTeX XML Cite \textit{S. Berardi} and \textit{S. Steila}, LIPIcs -- Leibniz Int. Proc. Inform. 26, 64--83 (2014; Zbl 1359.03045) Full Text: DOI
Aschieri, Federico; Zorzi, Margherita A “game semantical” intuitionistic realizability validating Markov’s principle. (English) Zbl 1359.03044 Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 24-44 (2014). MSC: 03F50 03F30 03F55 PDF BibTeX XML Cite \textit{F. Aschieri} and \textit{M. Zorzi}, LIPIcs -- Leibniz Int. Proc. Inform. 26, 24--44 (2014; Zbl 1359.03044) Full Text: DOI
Song, Weiwei; Wang, Guijun Multivariate extension operations of intuitionistic fuzzy sets induced by a complete lattice. (Chinese. English summary) Zbl 1313.03030 J. Tianjin Norm. Univ., Nat. Sci. Ed. 34, No. 3, 7-10, 16 (2014). MSC: 03E72 PDF BibTeX XML Cite \textit{W. Song} and \textit{G. Wang}, J. Tianjin Norm. Univ., Nat. Sci. Ed. 34, No. 3, 7--10, 16 (2014; Zbl 1313.03030)
Flumini, Dandolo; Sato, Kentaro From hierarchies to well-foundedness. (English) Zbl 1338.03011 Arch. Math. Logic 53, No. 7-8, 855-863 (2014). MSC: 03B30 03D55 03D75 03E70 03F35 PDF BibTeX XML Cite \textit{D. Flumini} and \textit{K. Sato}, Arch. Math. Logic 53, No. 7--8, 855--863 (2014; Zbl 1338.03011) Full Text: DOI
Veldman, Wim Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. (English) Zbl 1327.03046 Arch. Math. Logic 53, No. 5-6, 621-693 (2014). Reviewer: Peter M. Schuster (Verona) MSC: 03F60 03F55 03B30 03F35 40A05 PDF BibTeX XML Cite \textit{W. Veldman}, Arch. Math. Logic 53, No. 5--6, 621--693 (2014; Zbl 1327.03046) Full Text: DOI arXiv
Dorais, François G. Classical consequences of continuous choice principles from intuitionistic analysis. (English) Zbl 1331.03013 Notre Dame J. Formal Logic 55, No. 1, 25-39 (2014). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B20 03B30 03F35 03F55 PDF BibTeX XML Cite \textit{F. G. Dorais}, Notre Dame J. Formal Logic 55, No. 1, 25--39 (2014; Zbl 1331.03013) Full Text: DOI Euclid arXiv
Wang, Jian-qiang; Nie, Rongrong; Zhang, Hong-yu; Chen, Xiao-hong New operators on triangular intuitionistic fuzzy numbers and their applications in system fault analysis. (English) Zbl 1321.03072 Inf. Sci. 251, 79-95 (2013). MSC: 03E72 03B52 94C12 PDF BibTeX XML Cite \textit{J.-q. Wang} et al., Inf. Sci. 251, 79--95 (2013; Zbl 1321.03072) Full Text: DOI
Wang, Weize; Liu, Xinwang Interval-valued intuitionistic fuzzy hybrid weighted averaging operator based on Einstein operation and its application to decision making. (English) Zbl 1295.03037 J. Intell. Fuzzy Syst. 25, No. 2, 279-290 (2013). MSC: 03E72 91B06 PDF BibTeX XML Cite \textit{W. Wang} and \textit{X. Liu}, J. Intell. Fuzzy Syst. 25, No. 2, 279--290 (2013; Zbl 1295.03037) Full Text: DOI
He, Yingdong; Chen, Huayou; Zhou, Ligang Operations laws for the intuitionistic fuzzy sets and their applications based on interaction between membership function and non-membership function. (Chinese. English summary) Zbl 1299.03058 Fuzzy Syst. Math. 27, No. 3, 134-142 (2013). MSC: 03E72 91B06 PDF BibTeX XML Cite \textit{Y. He} et al., Fuzzy Syst. Math. 27, No. 3, 134--142 (2013; Zbl 1299.03058)
Siders, Annika Gentzen’s consistency proof without heightlines. (English) Zbl 1275.03151 Arch. Math. Logic 52, No. 3-4, 449-468 (2013). Reviewer: Valery Plisko (Moskva) MSC: 03F05 03F30 03F55 PDF BibTeX XML Cite \textit{A. Siders}, Arch. Math. Logic 52, No. 3--4, 449--468 (2013; Zbl 1275.03151) Full Text: DOI
Aschieri, Federico Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness. (English) Zbl 1270.03117 Ann. Pure Appl. Logic 164, No. 6, 591-617 (2013). MSC: 03F03 03F30 03F55 PDF BibTeX XML Cite \textit{F. Aschieri}, Ann. Pure Appl. Logic 164, No. 6, 591--617 (2013; Zbl 1270.03117) Full Text: DOI
McCarty, Charles Paradox and potential infinity. (English) Zbl 1277.03059 J. Philos. Log. 42, No. 1, 195-219 (2013). Reviewer: Marco Benini (Buccinasco) MSC: 03F55 03A05 03F30 PDF BibTeX XML Cite \textit{C. McCarty}, J. Philos. Log. 42, No. 1, 195--219 (2013; Zbl 1277.03059) Full Text: DOI
D’Ottaviano, Itala M. Loffredo; Feitosa, Hércules de Araújo On Gödel’s modal interpretation of the intuitionistic logic. (English) Zbl 1291.03010 Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 71-88 (2012). MSC: 03B22 03-03 03B20 03B45 PDF BibTeX XML Cite \textit{I. M. L. D'Ottaviano} and \textit{H. de A. Feitosa}, in: Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser. 71--88 (2012; Zbl 1291.03010)
Chen, Ray-Ming; Rathjen, Michael Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory. (English) Zbl 1270.03127 Arch. Math. Logic 51, No. 7-8, 789-818 (2012). MSC: 03F55 03E70 03F25 03F35 PDF BibTeX XML Cite \textit{R.-M. Chen} and \textit{M. Rathjen}, Arch. Math. Logic 51, No. 7--8, 789--818 (2012; Zbl 1270.03127) Full Text: DOI
Dorais, François G.; Hirst, Jeffry L.; Shafer, Paul Reverse mathematics, trichotomy and dichotomy. (English) Zbl 1296.03008 J. Log. Anal. 4, Article 13, 14 p. (2012). Reviewer: Alexander Kreuzer (Lyon) MSC: 03B30 03F35 03F55 03F60 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., J. Log. Anal. 4, Article 13, 14 p. (2012; Zbl 1296.03008) Full Text: DOI
Diener, Hannes; Hedin, Anton The Vitali covering theorem in constructive mathematics. (English) Zbl 1291.03114 J. Log. Anal. 4, Article 7, 22 p. (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F60 03F55 06D22 28E15 03B30 03F35 PDF BibTeX XML Cite \textit{H. Diener} and \textit{A. Hedin}, J. Log. Anal. 4, Article 7, 22 p. (2012; Zbl 1291.03114) Full Text: DOI
Lietz, Peter; Streicher, Thomas Realizability models refuting Ishihara’s boundedness principle. (English) Zbl 1251.03088 Ann. Pure Appl. Logic 163, No. 12, 1803-1807 (2012). MSC: 03F60 03G30 18B25 PDF BibTeX XML Cite \textit{P. Lietz} and \textit{T. Streicher}, Ann. Pure Appl. Logic 163, No. 12, 1803--1807 (2012; Zbl 1251.03088) Full Text: DOI
Aschieri, Federico A constructive analysis of learning in Peano arithmetic. (English) Zbl 1257.03083 Ann. Pure Appl. Logic 163, No. 11, 1448-1470 (2012). Reviewer: G. E. Mints (Stanford) MSC: 03F03 03F30 03F55 PDF BibTeX XML Cite \textit{F. Aschieri}, Ann. Pure Appl. Logic 163, No. 11, 1448--1470 (2012; Zbl 1257.03083) Full Text: DOI
Leigh, Graham E.; Rathjen, Michael The Friedman-Sheard programme in intuitionistic logic. (English) Zbl 1248.03081 J. Symb. Log. 77, No. 3, 777-806 (2012). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03F55 03F25 03F30 PDF BibTeX XML Cite \textit{G. E. Leigh} and \textit{M. Rathjen}, J. Symb. Log. 77, No. 3, 777--806 (2012; Zbl 1248.03081) Full Text: DOI Euclid
Moschovakis, Joan Rand; Vafeiadou, Garyfallia Some axioms for constructive analysis. (English) Zbl 1262.03125 Arch. Math. Logic 51, No. 5-6, 443-459 (2012). Reviewer: Peter M. Schuster (Leeds) MSC: 03F50 03F35 03F55 03F60 PDF BibTeX XML Cite \textit{J. R. Moschovakis} and \textit{G. Vafeiadou}, Arch. Math. Logic 51, No. 5--6, 443--459 (2012; Zbl 1262.03125) Full Text: DOI
Chakrabortty, Susovan; Pal, Madhumangal; Nayak, Prasun Kumar Intuitionistic fuzzy optimization technique for the solution of an EOQ model. (English) Zbl 1263.90005 Notes IFS 17, No. 2, 52-64 (2011). MSC: 90B05 90C70 PDF BibTeX XML Cite \textit{S. Chakrabortty} et al., Notes IFS 17, No. 2, 52--64 (2011; Zbl 1263.90005)
Diener, Hannes; Loeb, Iris Constructive reverse investigations into differential equations. (English) Zbl 1291.03115 J. Log. Anal. 3, Article 8, 26 p. (2011). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F60 03F55 26E40 03B30 03F35 PDF BibTeX XML Cite \textit{H. Diener} and \textit{I. Loeb}, J. Log. Anal. 3, Article 8, 26 p. (2011; Zbl 1291.03115) Full Text: DOI
Tatsuta, Makoto; Berardi, Stefano Non-commutative infinitary Peano arithmetic. (English) Zbl 1247.03122 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 538–552, electronic only (2011). MSC: 03F30 03B47 03F05 PDF BibTeX XML Cite \textit{M. Tatsuta} and \textit{S. Berardi}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 538--552 (2011; Zbl 1247.03122) Full Text: DOI
Gaspar, Jaime Proof interpretations. Theoretical and practical aspects. (English) Zbl 1246.03004 Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 261 p. (2011). Reviewer: Reinhard Kahle (Lisboa) MSC: 03-02 03B30 03F03 03F10 03F25 03F35 PDF BibTeX XML Cite \textit{J. Gaspar}, Proof interpretations. Theoretical and practical aspects. Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (2011; Zbl 1246.03004) Full Text: Link
Plisko, Valery On two attempts of describing propositional realizability logic. (English) Zbl 1237.03009 J. Log. Comput. 21, No. 4, 639-663 (2011). Reviewer: Branislav Boričić (Beograd) MSC: 03B20 03B55 PDF BibTeX XML Cite \textit{V. Plisko}, J. Log. Comput. 21, No. 4, 639--663 (2011; Zbl 1237.03009) Full Text: DOI
Arai, Toshiyasu Quick cut-elimination for strictly positive cuts. (English) Zbl 1273.03158 Ann. Pure Appl. Logic 162, No. 10, 807-815 (2011). MSC: 03F05 03F30 03F50 03F55 PDF BibTeX XML Cite \textit{T. Arai}, Ann. Pure Appl. Logic 162, No. 10, 807--815 (2011; Zbl 1273.03158) Full Text: DOI arXiv
Hirst, Jeffry L.; Mummert, Carl Reverse mathematics and uniformity in proofs without excluded middle. (English) Zbl 1225.03083 Notre Dame J. Formal Logic 52, No. 2, 149-162 (2011). Reviewer: Josef Berger (München) MSC: 03F50 03B30 03F35 03F60 PDF BibTeX XML Cite \textit{J. L. Hirst} and \textit{C. Mummert}, Notre Dame J. Formal Logic 52, No. 2, 149--162 (2011; Zbl 1225.03083) Full Text: DOI arXiv
Moniri, Morteza; Zaare, Mostafa Homomorphisms and chains of Kripke models. (English) Zbl 1239.03005 Arch. Math. Logic 50, No. 3-4, 431-443 (2011). Reviewer: Seyed-Mohammad Bagheri (Tehran) MSC: 03B20 03C40 03C90 03F30 PDF BibTeX XML Cite \textit{M. Moniri} and \textit{M. Zaare}, Arch. Math. Logic 50, No. 3--4, 431--443 (2011; Zbl 1239.03005) Full Text: DOI
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert Intermediate logics and the de Jongh property. (English) Zbl 1233.03033 Arch. Math. Logic 50, No. 1-2, 197-213 (2011). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03B55 03B20 03F30 PDF BibTeX XML Cite \textit{D. de Jongh} et al., Arch. Math. Logic 50, No. 1--2, 197--213 (2011; Zbl 1233.03033) Full Text: DOI
Ishihara, Hajime; Schuster, Peter On the contrapositive of countable choice. (English) Zbl 1218.03034 Arch. Math. Logic 50, No. 1-2, 137-143 (2011). Reviewer: Valery Plisko (Moskva) MSC: 03F50 03D20 03D55 03F30 PDF BibTeX XML Cite \textit{H. Ishihara} and \textit{P. Schuster}, Arch. Math. Logic 50, No. 1--2, 137--143 (2011; Zbl 1218.03034) Full Text: DOI
Tieszen, Richard Poincaré on intuition and arithmetic: une “saine psychologie”? (English) Zbl 1241.03004 Bour, Pierre Edouard (ed.) et al., Construction. Festschrift for Gerhard Heinzmann on the occasion of his 60th birthday. London: College Publications (ISBN 978-1-84890-016-5/pbk). Tributes 14, 97-106 (2010). Reviewer: Italo Simonelli (Westminster, MD) MSC: 03A05 00A30 01A55 01A60 03B30 03F55 PDF BibTeX XML Cite \textit{R. Tieszen}, Tributes 14, 97--106 (2010; Zbl 1241.03004)
Arai, Toshiyasu Intuitionistic fixed point theories over Heyting arithmetic. (English) Zbl 1228.03042 Feferman, Solomon (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (ISBN 978-1-84890-012-7/pbk). Tributes 13, 1-14 (2010). Reviewer: Valery Plisko (Moskva) MSC: 03F55 03F05 PDF BibTeX XML Cite \textit{T. Arai}, Tributes 13, 1--14 (2010; Zbl 1228.03042) Full Text: arXiv
Mahapatra, G. S.; Mahapatra, B. S. Intuitionistic fuzzy fault tree analysis using intuitionistic fuzzy numbers. (English) Zbl 1210.90063 Int. Math. Forum 5, No. 21-24, 1015-1024 (2010). Reviewer: Wolfgang Näther (Freiberg) MSC: 90B25 60A86 PDF BibTeX XML Cite \textit{G. S. Mahapatra} and \textit{B. S. Mahapatra}, Int. Math. Forum 5, No. 21--24, 1015--1024 (2010; Zbl 1210.90063) Full Text: Link
Kanckos, Annika Consistency of Heyting arithmetic in natural deduction. (English) Zbl 1219.03072 Math. Log. Q. 56, No. 6, 611-624 (2010). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03F30 03F25 03F55 PDF BibTeX XML Cite \textit{A. Kanckos}, Math. Log. Q. 56, No. 6, 611--624 (2010; Zbl 1219.03072) Full Text: DOI
Corbett, J. V.; Durt, T. An intuitionistic model of single electron interference. (English) Zbl 1202.81010 Stud. Log. 95, No. 1-2, 81-100 (2010). MSC: 81P10 03B20 81P05 13F99 03G30 PDF BibTeX XML Cite \textit{J. V. Corbett} and \textit{T. Durt}, Stud. Log. 95, No. 1--2, 81--100 (2010; Zbl 1202.81010) Full Text: DOI
Plisko, Valery Transfinite sequences of constructive predicate logics. (English) Zbl 1284.03269 Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 315-326 (2010). MSC: 03F55 03F30 03F50 PDF BibTeX XML Cite \textit{V. Plisko}, Lect. Notes Comput. Sci. 6072, 315--326 (2010; Zbl 1284.03269) Full Text: DOI
Maietti, Maria Emilia Joyal’s arithmetic universe as list-arithmetic pretopos. (English) Zbl 1245.03111 Theory Appl. Categ. 24, 39-83 (2010). MSC: 03G30 03F30 03F55 18C50 PDF BibTeX XML Cite \textit{M. E. Maietti}, Theory Appl. Categ. 24, 39--83 (2010; Zbl 1245.03111) Full Text: EMIS Backlinks: MO
Moniri, Morteza Provably recursive functions of constructive and relatively constructive theories. (English) Zbl 1197.03050 Arch. Math. Logic 49, No. 3, 291-300 (2010). Reviewer: Valery Plisko (Moskva) MSC: 03F30 03F50 03F55 PDF BibTeX XML Cite \textit{M. Moniri}, Arch. Math. Logic 49, No. 3, 291--300 (2010; Zbl 1197.03050) Full Text: DOI
Moschovakis, Joan Rand Unavoidable sequences in constructive analysis. (English) Zbl 1198.03080 Math. Log. Q. 56, No. 2, 205-215 (2010). Reviewer: Valery Plisko (Moskva) MSC: 03F50 03F55 03F60 03F10 03F35 PDF BibTeX XML Cite \textit{J. R. Moschovakis}, Math. Log. Q. 56, No. 2, 205--215 (2010; Zbl 1198.03080) Full Text: DOI
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert Intermediate logics and the de Jongh property. (English) Zbl 1239.03037 Cintula, Petr (ed.) et al., Witnessed years. Essays in honour of Petr Hájek. London: College Publications (ISBN 978-1-904987-63-5/pbk). Tributes 10, 33-52 (2009). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03F30 03B20 03B55 PDF BibTeX XML Cite \textit{D. de Jongh} et al., Tributes 10, 33--52 (2009; Zbl 1239.03037)
Xu, Zeshui; Cai, Xiaoqiang Incomplete interval-valued intuitionistic fuzzy preference relations. (English) Zbl 1177.90230 Int. J. Gen. Syst. 38, No. 8, 871-886 (2009). MSC: 90B50 91B06 93A10 PDF BibTeX XML Cite \textit{Z. Xu} and \textit{X. Cai}, Int. J. Gen. Syst. 38, No. 8, 871--886 (2009; Zbl 1177.90230) Full Text: DOI
Miquel, Alexandre Relating classical realizability and negative translation for existential witness extraction. (English) Zbl 1218.03015 Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 188-202 (2009). MSC: 03B40 03F35 03F55 68N30 PDF BibTeX XML Cite \textit{A. Miquel}, Lect. Notes Comput. Sci. 5608, 188--202 (2009; Zbl 1218.03015) Full Text: DOI
Berger, Josef; Schuster, Peter Dini’s theorem in the light of reverse mathematics. (English) Zbl 1162.03032 Lindström, Sten (ed.) et al., Logicism, intuitionism, and formalism. What has become of them? Originated from the conference and the symposium on constructive mathematics, Uppsala, Sweden, August 2004. Dordrecht: Springer (ISBN 978-1-4020-8925-1/hbk; 978-1-4020-8926-8/e-book). Synthese Library 341, 153-166 (2009). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03F60 03F65 54E35 PDF BibTeX XML Cite \textit{J. Berger} and \textit{P. Schuster}, Synth. Libr. 341, 153--166 (2009; Zbl 1162.03032) Full Text: DOI
Zhou, Xiang Ehrenfeucht-Fraïssé games in finite set theory. (English) Zbl 1185.03077 Inf. Process. Lett. 108, No. 1, 3-9 (2008). MSC: 03E70 03B20 03C13 PDF BibTeX XML Cite \textit{X. Zhou}, Inf. Process. Lett. 108, No. 1, 3--9 (2008; Zbl 1185.03077) Full Text: DOI
van Oosten, Jaap Realizability. An introduction to its categorical side. (English) Zbl 1225.03002 Studies in Logic and the Foundations of Mathematics 152. Amsterdam: Elsevier (ISBN 978-0-444-51584-1/hbk). xvi, 310 p. (2008). Reviewer: Colin McLarty (MR2479466) MSC: 03-02 03D20 03F55 03F60 03F65 03G30 18B25 PDF BibTeX XML Cite \textit{J. van Oosten}, Realizability. An introduction to its categorical side. Amsterdam: Elsevier (2008; Zbl 1225.03002)
Perron, Steven Examining fragments of the quantified propositional calculus. (English) Zbl 1165.03047 J. Symb. Log. 73, No. 3, 1051-1080 (2008). Reviewer: M. Yasuhara (Princeton) MSC: 03F30 03B20 03F25 PDF BibTeX XML Cite \textit{S. Perron}, J. Symb. Log. 73, No. 3, 1051--1080 (2008; Zbl 1165.03047) Full Text: DOI
Berger, Josef The weak König lemma and uniform continuity. (English) Zbl 1171.03032 J. Symb. Log. 73, No. 3, 933-939 (2008). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03F60 26A15 PDF BibTeX XML Cite \textit{J. Berger}, J. Symb. Log. 73, No. 3, 933--939 (2008; Zbl 1171.03032) Full Text: DOI
McCarty, Charles Completeness and incompleteness for intuitionistic logic. (English) Zbl 1165.03050 J. Symb. Log. 73, No. 4, 1315-1327 (2008). Reviewer: Victor N. Krivtsov (Moskva) MSC: 03F50 03C90 03E70 03F35 PDF BibTeX XML Cite \textit{C. McCarty}, J. Symb. Log. 73, No. 4, 1315--1327 (2008; Zbl 1165.03050) Full Text: DOI