Tennant, Neil Core Gödel. (English) Zbl 1541.03163 Notre Dame J. Formal Logic 64, No. 1, 15-59 (2023). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03F52 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Grabmayr, Balthasar; Visser, Albert Self-reference upfront: a study of self-referential Gödel numberings. (English) Zbl 1534.03055 Rev. Symb. Log. 16, No. 2, 385-424 (2023). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO
Bès, Alexis; Choffrut, Christian Decidability of definability issues in the theory of real addition. (English) Zbl 1523.03003 Fundam. Inform. 188, No. 1, 15-39 (2022). Reviewer: Saeed Salehi (Tabriz) MSC: 03B25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cheng, Yong Current research on Gödel’s incompleteness theorems. (English) Zbl 1497.03067 Bull. Symb. Log. 27, No. 2, 113-167 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Grabmayr, Balthasar On the invariance of Gödel’s second theorem with regard to numberings. (English) Zbl 1487.03070 Rev. Symb. Log. 14, No. 1, 51-84 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03B25 03F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zaouati, Philippe Perelman’s refusal. A novel. Translated from the French by Rachel Zerner. (English) Zbl 1482.00003 Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6304-5/pbk; 978-1-4704-6490-5/ebook). ix, 133 p. (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 00A09 01A70 53-03 × Cite Format Result Cite Review PDF
Cheng, Yong Finding the limit of incompleteness. I. (English) Zbl 1464.03089 Bull. Symb. Log. 26, No. 3-4, 268-286 (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03D35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kurahashi, Taishi A note on derivability conditions. (English) Zbl 1473.03037 J. Symb. Log. 85, No. 3, 1224-1253 (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
von Plato, Jan Can mathematics be proved consistent? Gödel’s shorthand notes & lectures on incompleteness. (English) Zbl 1466.03001 Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-50875-3/hbk; 978-3-030-50878-4/pbk; 978-3-030-50876-0/ebook). ix, 263 p. (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03-03 03F40 01A75 01A70 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Konovalov, A. Yu. Generalized realizability for extensions of the language of arithmetic. (English. Russian original) Zbl 1454.03079 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 × Cite Format Result Cite Review PDF Full Text: DOI
Utreras, Javier Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings. (English) Zbl 1454.03015 J. Symb. Log. 84, No. 3, 1194-1214 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03B25 12L05 03F30 03D35 × Cite Format Result Cite Review PDF Full Text: DOI
Hieronymi, Philipp When is scalar multiplication decidable? (English) Zbl 1446.03029 Ann. Pure Appl. Logic 170, No. 10, 1162-1175 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03B25 03C64 03C60 03D05 11A67 11U05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Montalbán, Antonio; Walsh, James On the inevitability of the consistency operator. (English) Zbl 1456.03091 J. Symb. Log. 84, No. 1, 205-225 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Koenigsmann, Jochen Decidability in local and global fields. (English) Zbl 1458.11171 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 45-59 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 03B25 11F85 12J10 12L05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Kurahashi, Taishi On partial disjunction properties of theories containing Peano arithmetic. (English) Zbl 1446.03102 Arch. Math. Logic 57, No. 7-8, 953-980 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Li, Fu; Tzameret, Iddo; Wang, Zhengyu Characterizing propositional proofs as noncommutative formulas. (English) Zbl 1426.03037 SIAM J. Comput. 47, No. 4, 1424-1462 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03B05 03D15 68Q15 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Halava, Vesa; Harju, Tero; Sahla, Esa On fixed points of rational transductions. (English) Zbl 1412.03019 Theor. Comput. Sci. 732, 85-88 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03D35 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Kikuchi, Makoto; Kurahashi, Taishi Generalizations of Gödel’s incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic. (English) Zbl 1426.03038 Rev. Symb. Log. 10, No. 4, 603-616 (2017). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Freund, Max A. Predication and computable concepts. (English) Zbl 1404.03016 Log. Anal., Nouv. Sér. 59, No. 234, 133-155 (2016). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03D10 03F25 × Cite Format Result Cite Review PDF Full Text: DOI
Idziaszek, Tomasz; Skrzypczak, Michał; Bojańczyk, Mikołaj Regular languages of thin trees. (English) Zbl 1350.68173 Theory Comput. Syst. 58, No. 4, 614-663 (2016). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Japaridze, Giorgi Introduction to clarithmetic. II. (English) Zbl 1343.03045 Inf. Comput. 247, 290-312 (2016). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Maletti, Andreas Hyper-optimization for deterministic tree automata. (English) Zbl 1319.68138 Theor. Comput. Sci. 578, 72-87 (2015). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Kufleitner, Manfred; Walter, Tobias One quantifier alternation in first-order logic with modular predicates. (English) Zbl 1339.03014 RAIRO, Theor. Inform. Appl. 49, No. 1, 1-22 (2015). Reviewer: Saeed Salehi (Tabriz) MSC: 03B25 03D05 68Q70 20M35 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Lohrey, Markus The compressed word problem for groups. (English) Zbl 1391.20003 SpringerBriefs in Mathematics. New York, NY: Springer (ISBN 978-1-4939-0747-2/pbk; 978-1-4939-0748-9/ebook). xii, 153 p. (2014). Reviewer: Saeed Salehi (Tabriz) MSC: 20-02 20F10 20E05 20F05 20F28 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Japaridze, Giorgi Introduction to clarithmetic. III. (English) Zbl 1303.03089 Ann. Pure Appl. Logic 165, No. 1, 241-252 (2014). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 03D75 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bova, Simone; Chen, Hubie; Valeriote, Matthew Generic expression hardness results for primitive positive formula comparison. (English) Zbl 1295.68121 Inf. Comput. 222, 108-120 (2013). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q17 03D15 08A30 68Q15 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Smith, Peter An introduction to Gödel’s theorems. 2nd ed. (English) Zbl 1270.03002 Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-1-107-60675-3/pbk; 978-1-107-02284-3/hbk). xvi, 388 p. (2013). Reviewer: Saeed Salehi (S.A.S. Nagar) MSC: 03-01 03-02 03-03 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Fernández-Duque, David; Joosten, Joost J. Kripke models of transfinite provability logic. (English) Zbl 1301.03063 Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 185-199 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 03F45 × Cite Format Result Cite Review PDF
Steinby, Magnus On the solidity of general varieties of tree languages. (English) Zbl 1306.08004 Discuss. Math., Gen. Algebra Appl. 32, 23-53 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 08B15 68Q70 08A70 × Cite Format Result Cite Review PDF Full Text: DOI Link
Dantchev, Stefan; Martin, Barnaby Cutting planes and the parameter cutwidth. (English) Zbl 1282.03023 Theory Comput. Syst. 51, No. 1, 50-64 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 × Cite Format Result Cite Review PDF Full Text: DOI
Kikuchi, Makoto; Kurahashi, Taishi; Sakai, Hiroshi On proofs of the incompleteness theorems based on Berry’s paradox by Vopěnka, Chaitin, and Boolos. (English) Zbl 1257.03088 Math. Log. Q. 58, No. 4-5, 307-316 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03F30 68Q30 × Cite Format Result Cite Review PDF Full Text: DOI
Ésik, Z.; Kuich, W. Free iterative and iteration \(K\)-semialgebras. (English) Zbl 1260.08001 Algebra Univers. 67, No. 2, 141-162 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 08A70 68Q70 16Y60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fratani, Séverine Regular sets over extended tree structures. (English) Zbl 1244.68047 Theor. Comput. Sci. 418, 48-70 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 03D05 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Courcelle, Bruno; Engelfriet, Joost [Nivat, Maurice] Graph structure and monadic second-order logic. A language-theoretic approach. (English) Zbl 1257.68006 Encyclopedia of Mathematics and its Applications 138. Cambridge: Cambridge University Press (ISBN 978-0-521-89833-1/hbk). xiv, 728 p. (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 68-02 03B15 03D05 05C85 05C90 68Q45 68R10 × Cite Format Result Cite Review PDF
Macintyre, Angus The impact of Gödel’s incompleteness theorems on mathematics. (English) Zbl 1288.03003 Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 3-25 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03-03 00A30 03F40 00A35 01A65 03A05 03B25 11U05 × Cite Format Result Cite Review PDF
Serény, György How do we know that the Gödel sentence of a consistent theory is true? (English) Zbl 1282.03024 Philos. Math. (3) 19, No. 1, 47-73 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Morozov, A. S. On some representations of the real number field. (English. Russian original) Zbl 1291.03079 Algebra Logic 50, No. 2, 189-190 (2011); translation from Algebra Logika 50, No. 2, 270-271 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03D45 03C40 12L99 × Cite Format Result Cite Review PDF Full Text: DOI
Ésik, Zoltán; Maletti, Andreas The category of simulations for weighted tree automata. (English) Zbl 1244.68046 Int. J. Found. Comput. Sci. 22, No. 8, 1845-1859 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Moura, Ana The word problem for \(\omega \)-terms over DA. (English) Zbl 1237.68117 Theor. Comput. Sci. 412, No. 46, 6556-6569 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 68Q70 20M05 × Cite Format Result Cite Review PDF Full Text: DOI
Japaridze, Giorgi Introduction to clarithmetic. I. (English) Zbl 1243.03075 Inf. Comput. 209, No. 10, 1312-1354 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Visser, Albert Can we make the second incompleteness theorem coordinate free? (English) Zbl 1262.03123 J. Log. Comput. 21, No. 4, 543-560 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Haubold, Niko; Lohrey, Markus Compressed word problems in HNN-extensions and amalgamated products. (English) Zbl 1235.68106 Theory Comput. Syst. 49, No. 2, 283-305 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q70 20F10 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil A sorting network in bounded arithmetic. (English) Zbl 1257.03087 Ann. Pure Appl. Logic 162, No. 4, 341-355 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 × Cite Format Result Cite Review PDF Full Text: DOI
Mućka, Anna Subdirectly irreducible fibered automata. II. (English) Zbl 1236.08014 Demonstr. Math. 44, No. 1, 1-15 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 08A68 08B26 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Kitada, Hitoshi Rebuttal to the review of my paper “An implication of Gödel’s incompleteness theorem” appeared in Zentralblatt für Mathematik. (English) Zbl 1231.03053 Int. J. Pure Appl. Math. 70, No. 1, 11-14 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 × Cite Format Result Cite Review PDF Full Text: Link
Höfner, Peter; Möller, Bernhard Fixing Zeno gaps. (English) Zbl 1227.68079 Theor. Comput. Sci. 412, No. 28, 3303-3322 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q99 68Q70 68Q85 37N99 × Cite Format Result Cite Review PDF Full Text: DOI Link
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent On equal \(\mu \)-terms. (English) Zbl 1227.68041 Theor. Comput. Sci. 412, No. 28, 3175-3202 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q42 03B25 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Utreras, Javier A logical approach to the problem of representation of integers by systems of diagonal forms. (English) Zbl 1235.11114 Bull. Lond. Math. Soc. 43, No. 2, 299-310 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 03B25 11D85 × Cite Format Result Cite Review PDF Full Text: DOI
Fülöp, Zoltán; Steinby, Magnus Varieties of recognizable tree series over fields. (English) Zbl 1220.68067 Theor. Comput. Sci. 412, No. 8-10, 736-752 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Mućka, Anna Subdirectly irreducible fibered automata. (English) Zbl 1236.08015 Demonstr. Math. 43, No. 4, 739-753 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 08A68 08B26 68Q70 × Cite Format Result Cite Review PDF
Chubaryan, Anahit Rabin style speed-up of proofs. More generalized speed-up in the systems of first order logic. (English) Zbl 1217.03045 Saarbrücken: LAP Lambert Academic Publishing (ISBN 978-3-8433-7255-8). 52 p. (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03-02 × Cite Format Result Cite Review PDF
Hetzl, Stefan On the form of witness terms. (English) Zbl 1205.03064 Arch. Math. Logic 49, No. 5, 529-554 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F05 03F07 03F30 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Japaridze, Giorgi Towards applied theories based on computability logic. (English) Zbl 1201.03055 J. Symb. Log. 75, No. 2, 565-601 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F50 03B70 03F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chen, Yijia; Flum, Jörg On the complexity of Gödel’s proof predicate. (English) Zbl 1201.03050 J. Symb. Log. 75, No. 1, 239-254 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Willard, Dan E. Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem. (English) Zbl 1191.03044 Inf. Comput. 207, No. 10, 1078-1093 (2009). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Kitada, Hitoshi An implication of Gödel’s incompleteness theorem. (English) Zbl 1186.03072 Int. J. Pure Appl. Math. 52, No. 4, 511-567 (2009). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03B25 03E99 03F15 × Cite Format Result Cite Review PDF Full Text: arXiv
Cavagnetto, Stefano String rewriting and proof complexity: an interpretation of resolution. (English) Zbl 1173.03043 Rep. Math. Logic 44, 167-200 (2009). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03F07 68Q42 × Cite Format Result Cite Review PDF
Pudlák, Pavel Fragments of bounded arithmetic and the lengths of proofs. (English) Zbl 1168.03044 J. Symb. Log. 73, No. 4, 1389-1406 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Japaridze, Giorgi Cirquent calculus deepened. (English) Zbl 1170.03028 J. Log. Comput. 18, No. 6, 983-1028 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F03 03F20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Naumov, Pavel On meta complexity of propositional formulas and propositional proofs. (English) Zbl 1148.03037 Arch. Math. Logic 47, No. 1, 35-52 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 × Cite Format Result Cite Review PDF Full Text: DOI
Bojańczyk, Mikołaj; Segoufin, Luc Tree languages defined in first-order logic with one quantifier alternation. (English) Zbl 1170.03019 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 233-245 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03D05 03B25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Friedman, Harvey M. Remarks on Gödel phenomena and the field of reals. (English) Zbl 1150.03002 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 68-71 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03-03 03B25 × Cite Format Result Cite Review PDF
Shlapentokh, Alexandra Elliptic curves retaining their rank in finite extensions and Hilbert’s tenth problem for rings of algebraic numbers. (English) Zbl 1222.11147 Trans. Am. Math. Soc. 360, No. 7, 3541-3555 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 11G05 03C07 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Schwichtenberg, Helmut Dialectica interpretation of well-founded induction. (English) Zbl 1144.03035 Math. Log. Q. 54, No. 3, 229-239 (2008). Reviewer: Saeed Salehí (Tabriz) MSC: 03F10 03F25 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Smith, Peter An introduction to Gödel’s theorems. Reprint with corrections of the 2007 original. (English) Zbl 1154.03002 Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-0-521-67453-9/pbk; 978-0-521-85784-0/hbk). xiv, 361 p. (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03-01 03-02 03-03 03F30 03F40 × Cite Format Result Cite Review PDF Full Text: DOI
Restall, Greg Proofnets for S5: sequents and circuits for modal logic. (English) Zbl 1146.03038 Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 151-172 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F05 03B45 03F07 × Cite Format Result Cite Review PDF
Cégielski, Patrick; Richard, Denis; Vsemirnov, Maxim On the additive theory of prime numbers. (English) Zbl 1153.11061 Fundam. Inform. 81, No. 1-3, 83-96 (2007). Reviewer: Saeed Salehi (Tabriz) MSC: 11U05 03B25 × Cite Format Result Cite Review PDF Full Text: arXiv
Sirokofskich, A.; Dimitracopoulos, C. On a problem of J. Paris. (English) Zbl 1137.03032 J. Log. Comput. 17, No. 6, 1099-1107 (2007). Reviewer: Saeed Salehí (Tabriz) MSC: 03F30 03C62 × Cite Format Result Cite Review PDF Full Text: DOI
Brünnler, Kai Locality for classical logic. (English) Zbl 1131.03030 Notre Dame J. Formal Logic 47, No. 4, 557-580 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 03F05 03F07 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Euclid
Denecke, K.; Glubudom, P. Generalized power Menger algebras and generalized non-deterministic hypersubstitutions. (English) Zbl 1107.08005 Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 61-70 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 08A40 08A35 08A70 68Q70 × Cite Format Result Cite Review PDF
Naumov, Pavel On modal logic of deductive closure. (English) Zbl 1104.03012 Ann. Pure Appl. Logic 141, No. 1-2, 218-224 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI
Petković, T.; Ćirić, M.; Bogdanović, S. On correspondences between unary algebras, automata, semigroups and congruences. (English) Zbl 1103.08003 Algebra Colloq. 13, No. 3, 495-506 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 08A60 08A30 08B99 20M07 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Ciabattoni, Agata; Terui, Kazushige Towards a semantic characterization of cut-elimination. (English) Zbl 1105.03057 Stud. Log. 82, No. 1, 95-119 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 03F05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Steinby, Magnus Algebraic classifications of regular tree languages. (English) Zbl 1092.68060 Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 381-432 (2005). Reviewer: Saeed Salehí (Zanjan) MSC: 68Q70 08A70 × Cite Format Result Cite Review PDF
Dassow, Jürgen Completeness of automaton mappings with respect to equivalence relations. (English) Zbl 1092.68057 Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 77-108 (2005). Reviewer: Saeed Salehí (Turku) MSC: 68Q70 × Cite Format Result Cite Review PDF
Negri, Sara Proof analysis in modal logic. (English) Zbl 1086.03045 J. Philos. Log. 34, No. 5-6, 507-544 (2005). Reviewer: Saeed Salehí (Turku) MSC: 03F05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Beklemishev, Lev D.; Visser, Albert On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories. (English) Zbl 1087.03037 Ann. Pure Appl. Logic 136, No. 1-2, 56-74 (2005). Reviewer: Saeed Salehí (Turku) MSC: 03F30 03F45 03F15 × Cite Format Result Cite Review PDF Full Text: DOI
D’Aquino, Paola Weak fragments of Peano arithmetic. (English) Zbl 1084.03046 Cholak, Peter (ed.), The Notre Dame lectures. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-249-3/hbk; 1-56881-250-7/pbk). Lecture Notes in Logic 18, 149-185 (2005). Reviewer: Saeed Salehí (Turku) MSC: 03F30 03-02 × Cite Format Result Cite Review PDF
Crabbé, Marcel On the notion of substitution. (English) Zbl 1060.03032 Log. J. IGPL 12, No. 2, 111-124 (2004). Reviewer: Saeed Salehí (Turku) MSC: 03B40 03B70 × Cite Format Result Cite Review PDF Full Text: DOI Link
Baillot, Patrick Stratified coherence spaces: A denotational semantics for light linear logic. (English) Zbl 1051.03050 Theor. Comput. Sci. 318, No. 1-2, 29-55 (2004). Reviewer: Saeed Salehí (Turku) MSC: 03F52 × Cite Format Result Cite Review PDF Full Text: DOI