Parlamento, Franco; Previale, Flavio A note on the sequent calculi \(\mathbf{G3[mic]}^=\). (English) Zbl 07531435 Rev. Symb. Log. 15, No. 2, 537-551 (2022). MSC: 03F05 PDF BibTeX XML Cite \textit{F. Parlamento} and \textit{F. Previale}, Rev. Symb. Log. 15, No. 2, 537--551 (2022; Zbl 07531435) Full Text: DOI OpenURL
Badia, Guillermo; Cintula, Petr; Hájek, Petr; Tedder, Andrew How much propositional logic suffices for Rosser’s essential undecidability theorem? (English) Zbl 07531433 Rev. Symb. Log. 15, No. 2, 487-504 (2022). MSC: 03B25 03B47 03B52 PDF BibTeX XML Cite \textit{G. Badia} et al., Rev. Symb. Log. 15, No. 2, 487--504 (2022; Zbl 07531433) Full Text: DOI OpenURL
Davey, Brian A.; Mendan, Stacey P. Natural and restricted Priestley duality for ternary algebras and their cousins. (English) Zbl 07528815 Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 59-104 (2022). MSC: 08C20 06D50 06D30 03B52 PDF BibTeX XML Cite \textit{B. A. Davey} and \textit{S. P. Mendan}, Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 59--104 (2022; Zbl 07528815) Full Text: DOI OpenURL
Raković, Saša V. Minkowski-Lyapunov functions: alternative characterization and implicit representation. (English) Zbl 1485.93510 Automatica 139, Article ID 110081, 5 p. (2022). MSC: 93D30 93C05 PDF BibTeX XML Cite \textit{S. V. Raković}, Automatica 139, Article ID 110081, 5 p. (2022; Zbl 1485.93510) Full Text: DOI arXiv OpenURL
Hazen, Allen P.; Pelletier, Francis Jeffry Some lessons learned about adding conditionals to certain many-valued logics. (English) Zbl 07469224 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 557-570 (2022). MSC: 03Bxx 03Gxx PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Outst. Contrib. Log. 22, 557--570 (2022; Zbl 07469224) Full Text: DOI OpenURL
Ferguson, Thomas Macaulay Tableaux and restricted quantification for systems related to weak Kleene logic. (English) Zbl 07532506 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 3-19 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{T. M. Ferguson}, Lect. Notes Comput. Sci. 12842, 3--19 (2021; Zbl 07532506) Full Text: DOI OpenURL
Paoli, Francesco; Baldi, Michele Pra; Szmuc, Damian Pure variable inclusion logics. (English) Zbl 07499523 Log. Log. Philos. 30, No. 4, 631-652 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{F. Paoli} et al., Log. Log. Philos. 30, No. 4, 631--652 (2021; Zbl 07499523) Full Text: DOI OpenURL
Szabó, Máté Péter on Church’s thesis, constructivity and computers. (English) Zbl 07495190 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 434-445 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Szabó}, Lect. Notes Comput. Sci. 12813, 434--445 (2021; Zbl 07495190) Full Text: DOI OpenURL
Moschovakis, Joan Rand; Vafeiadou, Garyfallia Minimum classical extensions of constructive theories. (English) Zbl 07495182 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 353-362 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. R. Moschovakis} and \textit{G. Vafeiadou}, Lect. Notes Comput. Sci. 12813, 353--362 (2021; Zbl 07495182) Full Text: DOI OpenURL
Paulson, Lawrence C. Ackermann’s function in iterative form: a proof assistant experiment. (English) Zbl 07482180 Bull. Symb. Log. 27, No. 4, 426-435 (2021). MSC: 03D99 03B35 68V20 PDF BibTeX XML Cite \textit{L. C. Paulson}, Bull. Symb. Log. 27, No. 4, 426--435 (2021; Zbl 07482180) Full Text: DOI arXiv OpenURL
Szmuc, Damian; Ferguson, Thomas Macaulay Meaningless divisions. (English) Zbl 07473052 Notre Dame J. Formal Logic 62, No. 3, 399-424 (2021). MSC: 03A05 03B50 03B47 PDF BibTeX XML Cite \textit{D. Szmuc} and \textit{T. M. Ferguson}, Notre Dame J. Formal Logic 62, No. 3, 399--424 (2021; Zbl 07473052) Full Text: DOI OpenURL
Blanck, Rasmus Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic. (English) Zbl 07464264 Rev. Symb. Log. 14, No. 3, 624-644 (2021). MSC: 03F25 03F30 03F40 03H15 PDF BibTeX XML Cite \textit{R. Blanck}, Rev. Symb. Log. 14, No. 3, 624--644 (2021; Zbl 07464264) Full Text: DOI arXiv OpenURL
Veldman, Wim Intuitionism: an inspiration? (English) Zbl 07456158 Jahresber. Dtsch. Math.-Ver. 123, No. 4, 221-284 (2021). MSC: 03F55 00A30 03B20 54H25 PDF BibTeX XML Cite \textit{W. Veldman}, Jahresber. Dtsch. Math.-Ver. 123, No. 4, 221--284 (2021; Zbl 07456158) Full Text: DOI arXiv OpenURL
Calude, Cristian S. Incompleteness and the halting problem. (English) Zbl 07450689 Stud. Log. 109, No. 5, 1159-1169 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{C. S. Calude}, Stud. Log. 109, No. 5, 1159--1169 (2021; Zbl 07450689) Full Text: DOI OpenURL
Hofstra, Pieter; Scott, Philip Aspects of categorical recursion theory. (English) Zbl 07440908 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021). Reviewer: Carlos Pedro Gonçalves (Lisboa) MSC: 81P68 68Q04 18-08 03D60 01A05 01-01 81-01 94-01 PDF BibTeX XML Cite \textit{P. Hofstra} and \textit{P. Scott}, Outst. Contrib. Log. 20, 219--269 (2021; Zbl 07440908) Full Text: DOI arXiv OpenURL
Stafford, Will Proof-theoretic semantics and inquisitive logic. (English) Zbl 1485.03232 J. Philos. Log. 50, No. 5, 1199-1229 (2021). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03B20 03B60 PDF BibTeX XML Cite \textit{W. Stafford}, J. Philos. Log. 50, No. 5, 1199--1229 (2021; Zbl 1485.03232) Full Text: DOI OpenURL
Robles, Gemma; Méndez, José M. A class of implicative expansions of Kleene’s strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz’s 3-valued logic Ł3. (English) Zbl 07413553 J. Logic Lang. Inf. 30, No. 3, 533-556 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{G. Robles} and \textit{J. M. Méndez}, J. Logic Lang. Inf. 30, No. 3, 533--556 (2021; Zbl 07413553) Full Text: DOI OpenURL
Robles, Gemma; Méndez, José M. Natural implicative expansions of variants of Kleene’s strong 3-valued logic with Gödel-type and dual Gödel-type negation. (English) Zbl 07410021 J. Appl. Non-Class. Log. 31, No. 2, 130-153 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{G. Robles} and \textit{J. M. Méndez}, J. Appl. Non-Class. Log. 31, No. 2, 130--153 (2021; Zbl 07410021) Full Text: DOI OpenURL
Rasga, João; Sernadas, Cristina; Carnielli, Walter Reduction techniques for proving decidability in logics and their meet-combination. (English) Zbl 07379167 Bull. Symb. Log. 27, No. 1, 39-66 (2021). MSC: 03B25 03B45 03B62 PDF BibTeX XML Cite \textit{J. Rasga} et al., Bull. Symb. Log. 27, No. 1, 39--66 (2021; Zbl 07379167) Full Text: DOI OpenURL
Goudsmit, Jeroen P. Decidability of admissibility: on a problem by Friedman and its solution by Rybakov. (English) Zbl 07379165 Bull. Symb. Log. 27, No. 1, 1-38 (2021). MSC: 03B20 03B22 03B55 PDF BibTeX XML Cite \textit{J. P. Goudsmit}, Bull. Symb. Log. 27, No. 1, 1--38 (2021; Zbl 07379165) Full Text: DOI OpenURL
Lucas, Salvador The origins of the halting problem. (English) Zbl 07377687 J. Log. Algebr. Methods Program. 121, Article ID 100687, 9 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{S. Lucas}, J. Log. Algebr. Methods Program. 121, Article ID 100687, 9 p. (2021; Zbl 07377687) Full Text: DOI OpenURL
Nicolai, Carlo; Stern, Johannes The modal logics of Kripke-Feferman truth. (English) Zbl 07370812 J. Symb. Log. 86, No. 1, 362-396 (2021). Reviewer: Xavier Parent (Vienna) MSC: 03B45 03B50 PDF BibTeX XML Cite \textit{C. Nicolai} and \textit{J. Stern}, J. Symb. Log. 86, No. 1, 362--396 (2021; Zbl 07370812) Full Text: DOI arXiv OpenURL
Daylight, Edgar G. The halting problem and security’s language-theoretic approach: praise and criticism from a technical historian. (English) Zbl 07363330 Computability 10, No. 2, 141-158 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{E. G. Daylight}, Computability 10, No. 2, 141--158 (2021; Zbl 07363330) Full Text: DOI OpenURL
Maršík, Jirka; Amblard, Maxime; de Groote, Philippe Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation. (English) Zbl 07346943 Theor. Comput. Sci. 869, 108-155 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. Maršík} et al., Theor. Comput. Sci. 869, 108--155 (2021; Zbl 07346943) Full Text: DOI OpenURL
Přenosil, Adam De Morgan clones and four-valued logics. (English) Zbl 1473.03045 Algebra Univers. 82, No. 2, Paper No. 30, 42 p. (2021). Reviewer: Jānis Cīrulis (Riga) MSC: 03G27 03B50 03C05 03G10 PDF BibTeX XML Cite \textit{A. Přenosil}, Algebra Univers. 82, No. 2, Paper No. 30, 42 p. (2021; Zbl 1473.03045) Full Text: DOI arXiv OpenURL
Jukna, Stasys Notes on hazard-free circuits. (English) Zbl 1476.68084 SIAM J. Discrete Math. 35, No. 2, 770-787 (2021). MSC: 68Q06 68Q17 94C11 PDF BibTeX XML Cite \textit{S. Jukna}, SIAM J. Discrete Math. 35, No. 2, 770--787 (2021; Zbl 1476.68084) Full Text: DOI arXiv OpenURL
Bonzio, S.; Moraschini, T.; Pra Baldi, M. Logics of left variable inclusion and Płonka sums of matrices. (English) Zbl 07297798 Arch. Math. Logic 60, No. 1-2, 49-76 (2021). Reviewer: Alex Citkin (Warren) MSC: 03G27 03G25 PDF BibTeX XML Cite \textit{S. Bonzio} et al., Arch. Math. Logic 60, No. 1--2, 49--76 (2021; Zbl 07297798) Full Text: DOI arXiv OpenURL
Belikov, Alex; Petrukhin, Yaroslav Exactly true and non-falsity logics meeting infectious ones. (English) Zbl 07363450 J. Appl. Non-Class. Log. 30, No. 2, 93-122 (2020); correction ibid. 30, No. 2, i-ii (2020). MSC: 03B50 03B47 03B53 PDF BibTeX XML Cite \textit{A. Belikov} and \textit{Y. Petrukhin}, J. Appl. Non-Class. Log. 30, No. 2, 93--122 (2020; Zbl 07363450) Full Text: DOI OpenURL
Pra Baldi, Michele Logics of variable inclusion and the lattice of consequence relations. (English) Zbl 07357949 J. Appl. Non-Class. Log. 30, No. 4, 367-381 (2020). MSC: 03B22 03G27 03B50 PDF BibTeX XML Cite \textit{M. Pra Baldi}, J. Appl. Non-Class. Log. 30, No. 4, 367--381 (2020; Zbl 07357949) Full Text: DOI arXiv OpenURL
Petrukhin, Yaroslav; Shangin, Vasily Correspondence analysis and automated proof-searching for first degree entailment. (English) Zbl 1485.03029 Eur. J. Math. 6, No. 4, 1452-1495 (2020). MSC: 03B35 68V15 03B50 03B47 03B53 PDF BibTeX XML Cite \textit{Y. Petrukhin} and \textit{V. Shangin}, Eur. J. Math. 6, No. 4, 1452--1495 (2020; Zbl 1485.03029) Full Text: DOI OpenURL
Beziau, Jean-Yves Metalogic, Schopenhauer and universal logic. (English) Zbl 07244743 Lemanski, Jens (ed.), Language, logic, and mathematics in Schopenhauer. Cham: Birkhäuser. Stud. Univers. Log., 207-257 (2020). MSC: 03A05 PDF BibTeX XML Cite \textit{J.-Y. Beziau}, in: Language, logic, and mathematics in Schopenhauer. Cham: Birkhäuser. 207--257 (2020; Zbl 07244743) Full Text: DOI OpenURL
Dean, Walter Incompleteness via paradox and completeness. (English) Zbl 1485.03244 Rev. Symb. Log. 13, No. 3, 541-592 (2020). MSC: 03F40 03F30 03C62 03H15 03A05 PDF BibTeX XML Cite \textit{W. Dean}, Rev. Symb. Log. 13, No. 3, 541--592 (2020; Zbl 1485.03244) Full Text: DOI OpenURL
Onoprienko, Anastasiya A. Kripke semantics for the logic of problems and propositions. (English. Russian original) Zbl 1476.03003 Sb. Math. 211, No. 5, 709-732 (2020); translation from Mat. Sb. 211, No. 5, 98-125 (2020). Reviewer: Alex Citkin (Warren) MSC: 03B20 03B45 PDF BibTeX XML Cite \textit{A. A. Onoprienko}, Sb. Math. 211, No. 5, 709--732 (2020; Zbl 1476.03003); translation from Mat. Sb. 211, No. 5, 98--125 (2020) Full Text: DOI OpenURL
Halbach, Volker Formal notes on the substitutional analysis of logical consequence. (English) Zbl 07222694 Notre Dame J. Formal Logic 61, No. 2, 317-339 (2020). MSC: 03A05 00A30 03B10 03A05 03-02 PDF BibTeX XML Cite \textit{V. Halbach}, Notre Dame J. Formal Logic 61, No. 2, 317--339 (2020; Zbl 07222694) Full Text: DOI Euclid Link OpenURL
Droste, Manfred; Kutsia, Temur; Rahonis, George; Schreiner, Wolfgang McCarthy-Kleene fuzzy automata and MSO logics. (English) Zbl 1443.68087 Inf. Comput. 272, Article ID 104499, 22 p. (2020). MSC: 68Q45 03B52 03D05 PDF BibTeX XML Cite \textit{M. Droste} et al., Inf. Comput. 272, Article ID 104499, 22 p. (2020; Zbl 1443.68087) Full Text: DOI arXiv OpenURL
Matos, Armando B.; Paolini, Luca; Roversi, Luca The fixed point problem of a simple reversible language. (English) Zbl 1433.68079 Theor. Comput. Sci. 813, 143-154 (2020). MSC: 68N15 03B70 68N30 68Q09 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Theor. Comput. Sci. 813, 143--154 (2020; Zbl 1433.68079) Full Text: DOI OpenURL
Panicker, Gayatri; Krishna, K. V.; Bhaduri, Purandar On the structure of \(C\)-algebras through atomicity and if-then-else. (English) Zbl 1452.03141 Algebra Univers. 81, No. 2, Paper No. 22, 27 p. (2020). Reviewer: Ivan Chajda (Přerov) MSC: 03G25 08A05 06E75 PDF BibTeX XML Cite \textit{G. Panicker} et al., Algebra Univers. 81, No. 2, Paper No. 22, 27 p. (2020; Zbl 1452.03141) Full Text: DOI arXiv OpenURL
Roffé, Ariel Jonathan Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts. (English) Zbl 1444.68288 J. Appl. Non-Class. Log. 30, No. 1, 68-91 (2020). MSC: 68V15 03B50 70A05 PDF BibTeX XML Cite \textit{A. J. Roffé}, J. Appl. Non-Class. Log. 30, No. 1, 68--91 (2020; Zbl 1444.68288) Full Text: DOI OpenURL
Cruz-Filipe, Luís; Montesi, Fabrizio A core model for choreographic programming. (English) Zbl 1436.68078 Theor. Comput. Sci. 802, 38-66 (2020). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{L. Cruz-Filipe} and \textit{F. Montesi}, Theor. Comput. Sci. 802, 38--66 (2020; Zbl 1436.68078) Full Text: DOI arXiv Link OpenURL
Kaarsgaard, Robin Condition/decision duality and the internal logic of extensive restriction categories. (English) Zbl 07515960 König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 179-202 (2019). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{R. Kaarsgaard}, Electron. Notes Theor. Comput. Sci. 347, 179--202 (2019; Zbl 07515960) Full Text: DOI OpenURL
Barbosa, João; Florido, Mário; Santos Costa, Vítor A three-valued semantics for typed logic programming. (English) Zbl 07453101 Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36-51 (2019). MSC: 68N17 PDF BibTeX XML Cite \textit{J. Barbosa} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36--51 (2019; Zbl 07453101) Full Text: arXiv Link OpenURL
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle The ILLTP library for intuitionistic linear logic. (English) Zbl 07450005 Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 118-132 (2019). MSC: 03B35 68V15 03F52 03B20 68Q85 PDF BibTeX XML Cite \textit{C. Olarte} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 118--132 (2019; Zbl 07450005) Full Text: arXiv Link OpenURL
Chlebowski, Szymon; Leszczyńska-Jasion, Dorota An investigation into intuitionistic logic with identity. (English) Zbl 1446.03024 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259-283 (2019). MSC: 03B20 03F05 PDF BibTeX XML Cite \textit{S. Chlebowski} and \textit{D. Leszczyńska-Jasion}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259--283 (2019; Zbl 1446.03024) Full Text: DOI OpenURL
Tennant, Neil GP’s LP. (English) Zbl 1469.03081 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 481-506 (2019). MSC: 03B53 03F05 PDF BibTeX XML Cite \textit{N. Tennant}, Outst. Contrib. Log. 18, 481--506 (2019; Zbl 1469.03081) Full Text: DOI OpenURL
Hazen, Allen P.; Pelletier, Francis Jeffry K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you. (English) Zbl 1469.03063 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 155-190 (2019). MSC: 03B50 03B47 03B53 PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Synth. Libr. 418, 155--190 (2019; Zbl 1469.03063) Full Text: DOI arXiv OpenURL
Beall, Jc FDE as the one true logic. (English) Zbl 1470.03017 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 115-125 (2019). MSC: 03B53 03B47 PDF BibTeX XML Cite \textit{J. Beall}, Synth. Libr. 418, 115--125 (2019; Zbl 1470.03017) Full Text: DOI OpenURL
Moschovakis, Joan Rand Markov’s principle and subsystems of intuitionistic analysis. (English) Zbl 07186311 J. Symb. Log. 84, No. 2, 870-876 (2019). MSC: 03F50 03F55 PDF BibTeX XML Cite \textit{J. R. Moschovakis}, J. Symb. Log. 84, No. 2, 870--876 (2019; Zbl 07186311) Full Text: DOI OpenURL
Štěpnička, Martin; Cao, Nhung; Běhounek, Libor; Burda, Michal; Dolný, Aleš Missing values and dragonfly operations in fuzzy relational compositions. (English) Zbl 1476.68259 Int. J. Approx. Reasoning 113, 149-170 (2019). Reviewer: Esko Turunen (Wien) MSC: 68T37 03B52 03E72 03G25 68P15 PDF BibTeX XML Cite \textit{M. Štěpnička} et al., Int. J. Approx. Reasoning 113, 149--170 (2019; Zbl 1476.68259) Full Text: DOI OpenURL
Petrukhin, Yaroslav; Shangin, Vasilyi Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. (English) Zbl 1446.03055 Log. Log. Philos. 28, No. 2, 223-257 (2019). MSC: 03B50 03B35 03F03 68V15 PDF BibTeX XML Cite \textit{Y. Petrukhin} and \textit{V. Shangin}, Log. Log. Philos. 28, No. 2, 223--257 (2019; Zbl 1446.03055) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Mosc. Univ. Math. Bull. 74, No. 4, 167--170 (2019; Zbl 1454.03079); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50--54 (2019) Full Text: DOI OpenURL
Bobzien, Susanne Stoic sequent logic and proof theory. (English) Zbl 1427.03061 Hist. Philos. Log. 40, No. 3, 234-265 (2019). MSC: 03F03 03B47 03-03 01A20 PDF BibTeX XML Cite \textit{S. Bobzien}, Hist. Philos. Log. 40, No. 3, 234--265 (2019; Zbl 1427.03061) Full Text: DOI Link OpenURL
Pradic, Pierre; Riba, Colin A Curry-Howard approach to Church’s synthesis. (English) Zbl 07147442 Log. Methods Comput. Sci. 15, No. 4, Paper No. 13, 38 p. (2019). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{P. Pradic} and \textit{C. Riba}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 13, 38 p. (2019; Zbl 07147442) Full Text: arXiv OpenURL
Klev, Ansten The harmony of identity. (English) Zbl 1457.03068 J. Philos. Log. 48, No. 5, 867-884 (2019). MSC: 03F03 03A05 PDF BibTeX XML Cite \textit{A. Klev}, J. Philos. Log. 48, No. 5, 867--884 (2019; Zbl 1457.03068) Full Text: DOI OpenURL
Andrews, Uri; Igusa, Gregory; Miller, Joseph S.; Soskova, Mariya I. Characterizing the continuous degrees. (English) Zbl 1442.03023 Isr. J. Math. 234, No. 2, 743-767 (2019). Reviewer: Roman Murawski (Poznań) MSC: 03D35 03D25 03D78 PDF BibTeX XML Cite \textit{U. Andrews} et al., Isr. J. Math. 234, No. 2, 743--767 (2019; Zbl 1442.03023) Full Text: DOI OpenURL
Sieg, Wilfried The Cantor-Bernstein theorem: how many proofs? (English) Zbl 1441.03015 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180031, 11 p. (2019). Reviewer: Roman Murawski (Poznań) MSC: 03B35 03E20 03-03 01A55 01A60 PDF BibTeX XML Cite \textit{W. Sieg}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180031, 11 p. (2019; Zbl 1441.03015) Full Text: DOI OpenURL
Hirst, Jeffry L.; Mummert, Carl Using Ramsey’s theorem once. (English) Zbl 1475.03071 Arch. Math. Logic 58, No. 7-8, 857-866 (2019). Reviewer: Emil Jeřábek (Praha) MSC: 03B30 03F35 03F50 03D30 PDF BibTeX XML Cite \textit{J. L. Hirst} and \textit{C. Mummert}, Arch. Math. Logic 58, No. 7--8, 857--866 (2019; Zbl 1475.03071) Full Text: DOI arXiv OpenURL
Konovalov, A. Yu. Absolute \(L\)-realizability and intuitionistic logic. (English. Russian original) Zbl 1477.03023 Mosc. Univ. Math. Bull. 74, No. 2, 79-82 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 2, 50-53 (2019). MSC: 03B20 03F30 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Mosc. Univ. Math. Bull. 74, No. 2, 79--82 (2019; Zbl 1477.03023); translation from Vestn. Mosk. Univ., Ser. I 74, No. 2, 50--53 (2019) Full Text: DOI OpenURL
Ciucci, Davide; Dubois, Didier A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information. (English) Zbl 1456.68186 Int. J. Approx. Reasoning 106, 107-127 (2019). MSC: 68T27 68T37 PDF BibTeX XML Cite \textit{D. Ciucci} and \textit{D. Dubois}, Int. J. Approx. Reasoning 106, 107--127 (2019; Zbl 1456.68186) Full Text: DOI Link OpenURL
Ma, Minghui; Lin, Yuanlei A three-valued Fregean quantification logic. (English) Zbl 1457.03050 J. Philos. Log. 48, No. 2, 409-423 (2019). MSC: 03B50 PDF BibTeX XML Cite \textit{M. Ma} and \textit{Y. Lin}, J. Philos. Log. 48, No. 2, 409--423 (2019; Zbl 1457.03050) Full Text: DOI OpenURL
Francez, Nissim Bilateralism, trilateralism, multilateralism and poly-sequents. (English) Zbl 1457.03067 J. Philos. Log. 48, No. 2, 245-262 (2019). MSC: 03F03 03A05 PDF BibTeX XML Cite \textit{N. Francez}, J. Philos. Log. 48, No. 2, 245--262 (2019; Zbl 1457.03067) Full Text: DOI OpenURL
Rossi, Lorenzo A unified theory of truth and paradox. (English) Zbl 07063890 Rev. Symb. Log. 12, No. 2, 209-254 (2019). MSC: 03B50 PDF BibTeX XML Cite \textit{L. Rossi}, Rev. Symb. Log. 12, No. 2, 209--254 (2019; Zbl 07063890) Full Text: DOI OpenURL
Porter, Christopher P. Three books on computability, with a special focus on Turing’s legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computability from Gödel to Turing; B. J. Copeland (ed.) et al., Computability. Turing, Gödel, church, and beyond; G. Sommaruga and T. Strahm (ed.), Turing’s revolution. The impact of his ideas about computability. (English) Zbl 1417.00050 Hist. Math. 46, 88-95 (2019). MSC: 00A17 03-03 01A60 03Dxx 68Q05 01-06 01A70 03D15 68-03 68Q15 68Q17 00B15 68-06 03D10 68Q10 PDF BibTeX XML Cite \textit{C. P. Porter}, Hist. Math. 46, 88--95 (2019; Zbl 1417.00050) Full Text: DOI OpenURL
Olkhovikov, Grigory K.; Wansing, Heinrich Inference as doxastic agency. I: The basics of justification stit logic. (English) Zbl 07055416 Stud. Log. 107, No. 1, 167-194 (2019). MSC: 03-XX PDF BibTeX XML Cite \textit{G. K. Olkhovikov} and \textit{H. Wansing}, Stud. Log. 107, No. 1, 167--194 (2019; Zbl 07055416) Full Text: DOI OpenURL
Kahle, Reinhard Is there a “Hilbert thesis”? (English) Zbl 1428.03021 Stud. Log. 107, No. 1, 145-165 (2019). Reviewer: Roman Murawski (Poznań) MSC: 03A05 03-03 01A60 PDF BibTeX XML Cite \textit{R. Kahle}, Stud. Log. 107, No. 1, 145--165 (2019; Zbl 1428.03021) Full Text: DOI OpenURL
Guerrieri, Giulio; Naibo, Alberto Postponement of \(\mathsf {raa}\) and Glivenko’s theorem, revisited. (English) Zbl 07055414 Stud. Log. 107, No. 1, 109-144 (2019). MSC: 03-XX PDF BibTeX XML Cite \textit{G. Guerrieri} and \textit{A. Naibo}, Stud. Log. 107, No. 1, 109--144 (2019; Zbl 07055414) Full Text: DOI OpenURL
Robles, Gemma; Méndez, José M. Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. (English) Zbl 1444.03092 J. Appl. Non-Class. Log. 29, No. 1, 37-63 (2019). MSC: 03B50 03B53 PDF BibTeX XML Cite \textit{G. Robles} and \textit{J. M. Méndez}, J. Appl. Non-Class. Log. 29, No. 1, 37--63 (2019; Zbl 1444.03092) Full Text: DOI OpenURL
Ciuni, Roberto; Carrara, Massimiliano Semantical analysis of weak Kleene logics. (English) Zbl 1444.03087 J. Appl. Non-Class. Log. 29, No. 1, 1-36 (2019); correction ibid. 29, No. 1, I (2019). MSC: 03B50 PDF BibTeX XML Cite \textit{R. Ciuni} and \textit{M. Carrara}, J. Appl. Non-Class. Log. 29, No. 1, 1--36 (2019; Zbl 1444.03087) Full Text: DOI OpenURL
Bezhanishvili, Guram; Holliday, Wesley H. A semantic hierarchy for intuitionistic logic. (English) Zbl 07049867 Indag. Math., New Ser. 30, No. 3, 403-469 (2019). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{G. Bezhanishvili} and \textit{W. H. Holliday}, Indag. Math., New Ser. 30, No. 3, 403--469 (2019; Zbl 07049867) Full Text: DOI Link OpenURL
Francez, Nissim On Beall’s new interpretation of \(WK_{3}\). (English) Zbl 1477.03009 J. Logic Lang. Inf. 28, No. 1, 1-7 (2019). MSC: 03A05 03B50 PDF BibTeX XML Cite \textit{N. Francez}, J. Logic Lang. Inf. 28, No. 1, 1--7 (2019; Zbl 1477.03009) Full Text: DOI OpenURL
Petrukhin, Yaroslav Igorevich Natural deduction systems for some modifications of Kleene’s and Dunn-Belnap’s logics. (Russian. English summary) Zbl 1465.03066 Chelyabinskiĭ Fiz.-Mat. Zh. 3, No. 4, 438-452 (2018). MSC: 03B50 PDF BibTeX XML Cite \textit{Y. I. Petrukhin}, Chelyabinskiĭ Fiz.-Mat. Zh. 3, No. 4, 438--452 (2018; Zbl 1465.03066) Full Text: DOI MNR OpenURL
Muravitsky, Alexei Lattice NExtS4 from the embedding theorem viewpoint. (English) Zbl 1429.03085 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 185-218 (2018). MSC: 03B45 03B55 PDF BibTeX XML Cite \textit{A. Muravitsky}, Outst. Contrib. Log. 15, 185--218 (2018; Zbl 1429.03085) Full Text: DOI OpenURL
Goldfarb, Warren Putnam’s theorem on the complexity of models. (English) Zbl 1429.03054 Hellman, Geoffrey (ed.) et al., Hilary Putnam on logic and mathematics. Cham: Springer. Outst. Contrib. Log. 9, 45-50 (2018). MSC: 03B10 03C57 03D45 PDF BibTeX XML Cite \textit{W. Goldfarb}, Outst. Contrib. Log. 9, 45--50 (2018; Zbl 1429.03054) Full Text: DOI OpenURL
Szabó, Máté Kalmár’s argument against the plausibility of Church’s thesis. (English) Zbl 1428.03034 Hist. Philos. Log. 39, No. 2, 140-157 (2018). MSC: 03A05 03D10 PDF BibTeX XML Cite \textit{M. Szabó}, Hist. Philos. Log. 39, No. 2, 140--157 (2018; Zbl 1428.03034) Full Text: DOI OpenURL
Garrido, Angel Many-valued logics in the Iberian peninsula. (English) Zbl 07003803 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 633-644 (2018). MSC: 03-03 03B50 PDF BibTeX XML Cite \textit{A. Garrido}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 633--644 (2018; Zbl 07003803) Full Text: DOI OpenURL
Francez, Nissim Diversification of object-languages for propositional logics. (English) Zbl 07003157 J. Logic Lang. Inf. 27, No. 3, 193-203 (2018). MSC: 03B65 03B47 PDF BibTeX XML Cite \textit{N. Francez}, J. Logic Lang. Inf. 27, No. 3, 193--203 (2018; Zbl 07003157) Full Text: DOI OpenURL
Hazen, Allen P.; Pelletier, Francis Jeffry Second-order logic of paradox. (English) Zbl 1455.03032 Notre Dame J. Formal Logic 59, No. 4, 547-558 (2018). MSC: 03B53 03B16 03B50 PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Notre Dame J. Formal Logic 59, No. 4, 547--558 (2018; Zbl 1455.03032) Full Text: DOI Euclid Link OpenURL
Hazen, Allen P.; Pelletier, Francis Jeffry Pecularities of some three- and four-valued second order logics. (English) Zbl 1405.03060 Log. Univers. 12, No. 3-4, 493-509 (2018). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03B15 03B53 03B62 PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Log. Univers. 12, No. 3--4, 493--509 (2018; Zbl 1405.03060) Full Text: DOI OpenURL
Bonzio, Stefano Dualities for Płonka sums. (English) Zbl 06992796 Log. Univers. 12, No. 3-4, 327-339 (2018). MSC: 08C20 06E15 18A99 22A30 PDF BibTeX XML Cite \textit{S. Bonzio}, Log. Univers. 12, No. 3--4, 327--339 (2018; Zbl 06992796) Full Text: DOI arXiv OpenURL
Hamami, Yacin Mathematical inference and logical inference. (English) Zbl 1434.00030 Rev. Symb. Log. 11, No. 4, 665-704 (2018). Reviewer: Roman Murawski (Poznań) MSC: 00A30 PDF BibTeX XML Cite \textit{Y. Hamami}, Rev. Symb. Log. 11, No. 4, 665--704 (2018; Zbl 1434.00030) Full Text: DOI OpenURL
Qu, Yanpeng; Shang, Changjing; Parthaláin, Neil Mac; Wu, Wei; Shen, Qiang Multi-functional nearest-neighbour classification. (English) Zbl 1398.68454 Soft Comput. 22, No. 8, 2717-2730 (2018). MSC: 68T05 68T37 PDF BibTeX XML Cite \textit{Y. Qu} et al., Soft Comput. 22, No. 8, 2717--2730 (2018; Zbl 1398.68454) Full Text: DOI OpenURL
Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola Kleene algebra of partial predicates. (English) Zbl 1401.03106 Formaliz. Math. 26, No. 1, 11-20 (2018). MSC: 03G25 03B35 PDF BibTeX XML Cite \textit{A. Korniłowicz} et al., Formaliz. Math. 26, No. 1, 11--20 (2018; Zbl 1401.03106) Full Text: DOI OpenURL
Diekmann, Cornelius; Hupel, Lars; Michaelis, Julius; Haslbeck, Maximilian; Carle, Georg Verified iptables firewall analysis and verification. (English) Zbl 1451.68173 J. Autom. Reasoning 61, No. 1-4, 191-242 (2018). MSC: 68Q60 68M10 68M25 68V15 PDF BibTeX XML Cite \textit{C. Diekmann} et al., J. Autom. Reasoning 61, No. 1--4, 191--242 (2018; Zbl 1451.68173) Full Text: DOI OpenURL
Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu. Hintikka’s independence-friendly logic meets Nelson’s realizability. (English) Zbl 1478.03056 Stud. Log. 106, No. 3, 637-670 (2018). Reviewer: Wenyan Xu (Xi’an) MSC: 03B60 PDF BibTeX XML Cite \textit{S. P. Odintsov} et al., Stud. Log. 106, No. 3, 637--670 (2018; Zbl 1478.03056) Full Text: DOI OpenURL
Harper, Robert Exception tracking in an open world. (English) Zbl 1397.68028 Theor. Comput. Sci. 741, 25-31 (2018). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Harper}, Theor. Comput. Sci. 741, 25--31 (2018; Zbl 1397.68028) Full Text: DOI OpenURL
Vladimirov, A. G. Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets. (English. Russian original) Zbl 06909347 Math. Notes 103, No. 3, 378-394 (2018); translation from Mat. Zametki 103, No. 3, 372-391 (2018). MSC: 03-XX PDF BibTeX XML Cite \textit{A. G. Vladimirov}, Math. Notes 103, No. 3, 378--394 (2018; Zbl 06909347); translation from Mat. Zametki 103, No. 3, 372--391 (2018) Full Text: DOI OpenURL
Salehi, Saeed; Seraji, Payam On constructivity and the Rosser property: a closer look at some Gödelean proofs. (English) Zbl 1434.03135 Ann. Pure Appl. Logic 169, No. 10, 971-980 (2018). MSC: 03F40 03F30 03D32 68Q30 PDF BibTeX XML Cite \textit{S. Salehi} and \textit{P. Seraji}, Ann. Pure Appl. Logic 169, No. 10, 971--980 (2018; Zbl 1434.03135) Full Text: DOI arXiv OpenURL
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola Implementation of the composition-nominative approach to program formalization in Mizar. (English) Zbl 1390.68183 Comput. Sci. J. Mold. 26, No. 1(76), 59-76 (2018). MSC: 68N30 68Q55 68T15 PDF BibTeX XML Cite \textit{I. Ivanov} et al., Comput. Sci. J. Mold. 26, No. 1(76), 59--76 (2018; Zbl 1390.68183) Full Text: Link OpenURL
Case, John; Jain, Sanjay; Stephan, Frank Effectivity questions for Kleene’s recursion theorem. (English) Zbl 1393.68086 Theor. Comput. Sci. 733, 55-70 (2018). MSC: 68Q32 03D20 68Q30 PDF BibTeX XML Cite \textit{J. Case} et al., Theor. Comput. Sci. 733, 55--70 (2018; Zbl 1393.68086) Full Text: DOI OpenURL
Chen, Taolue; Han, Tingting; Cao, Yongzhi Polynomial-time algorithms for computing distances of fuzzy transition systems. (English) Zbl 1390.68464 Theor. Comput. Sci. 727, 24-36 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{T. Chen} et al., Theor. Comput. Sci. 727, 24--36 (2018; Zbl 1390.68464) Full Text: DOI arXiv Link OpenURL
Ledda, Antonio Stone-type representations and dualities for varieties of bisemilattices. (English) Zbl 1437.06003 Stud. Log. 106, No. 2, 417-448 (2018). MSC: 06A12 06E15 06D50 18B35 PDF BibTeX XML Cite \textit{A. Ledda}, Stud. Log. 106, No. 2, 417--448 (2018; Zbl 1437.06003) Full Text: DOI arXiv OpenURL
Miller, Joseph S.; Soskova, Mariya I. Density of the cototal enumeration degrees. (English) Zbl 06851801 Ann. Pure Appl. Logic 169, No. 5, 450-462 (2018). MSC: 03D30 03D80 05C99 37B10 PDF BibTeX XML Cite \textit{J. S. Miller} and \textit{M. I. Soskova}, Ann. Pure Appl. Logic 169, No. 5, 450--462 (2018; Zbl 06851801) Full Text: DOI OpenURL
Beeson, Michael Brouwer and Euclid. (English) Zbl 1437.03171 Indag. Math., New Ser. 29, No. 1, 483-533 (2018). MSC: 03F55 03B30 51M05 PDF BibTeX XML Cite \textit{M. Beeson}, Indag. Math., New Ser. 29, No. 1, 483--533 (2018; Zbl 1437.03171) Full Text: DOI arXiv OpenURL
Moschovakis, Joan R.; Moschovakis, Yiannis N. Intuitionism and effective descriptive set theory. (English) Zbl 1437.03172 Indag. Math., New Ser. 29, No. 1, 396-428 (2018). MSC: 03F55 03E15 PDF BibTeX XML Cite \textit{J. R. Moschovakis} and \textit{Y. N. Moschovakis}, Indag. Math., New Ser. 29, No. 1, 396--428 (2018; Zbl 1437.03172) Full Text: DOI Link OpenURL
Angiuli, Carlo; Harper, Robert Meaning explanations at higher dimension. (English) Zbl 1436.03102 Indag. Math., New Ser. 29, No. 1, 135-149 (2018). MSC: 03B38 55U35 PDF BibTeX XML Cite \textit{C. Angiuli} and \textit{R. Harper}, Indag. Math., New Ser. 29, No. 1, 135--149 (2018; Zbl 1436.03102) Full Text: DOI OpenURL
Droste, Manfred; Kutsia, Temur; Rahonis, George; Schreiner, Wolfgang MK-fuzzy automata and MSO logics. (English) Zbl 1483.68164 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 106-120 (2017). MSC: 68Q45 03B70 PDF BibTeX XML Cite \textit{M. Droste} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 106--120 (2017; Zbl 1483.68164) Full Text: Link OpenURL
Petrukhin, Yaroslav Igorevich Natural deduction for Yuriev’s logic. (Russian. English summary) Zbl 1465.03067 Chelyabinskiĭ Fiz.-Mat. Zh. 2, No. 1, 46-52 (2017). MSC: 03B60 92B20 03B80 PDF BibTeX XML Cite \textit{Y. I. Petrukhin}, Chelyabinskiĭ Fiz.-Mat. Zh. 2, No. 1, 46--52 (2017; Zbl 1465.03067) Full Text: MNR OpenURL
Boričić, Marija A note on entropy of logic. (English) Zbl 1474.03080 Yugosl. J. Oper. Res. 27, No. 3, 385-390 (2017). MSC: 03B50 94A17 37A35 PDF BibTeX XML Cite \textit{M. Boričić}, Yugosl. J. Oper. Res. 27, No. 3, 385--390 (2017; Zbl 1474.03080) Full Text: DOI OpenURL
Visser, Albert The interpretation existence lemma. (English) Zbl 1429.03212 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 101-144 (2017). MSC: 03F45 03A05 03B25 PDF BibTeX XML Cite \textit{A. Visser}, Outst. Contrib. Log. 13, 101--144 (2017; Zbl 1429.03212) Full Text: DOI OpenURL
Zucker, Jeffery Feferman on computability. (English) Zbl 1429.03009 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 23-56 (2017). MSC: 03-03 03D65 03D70 03D75 03D78 01A60 PDF BibTeX XML Cite \textit{J. Zucker}, Outst. Contrib. Log. 13, 23--56 (2017; Zbl 1429.03009) Full Text: DOI OpenURL
Karpenko, Alexander; Tomova, Natalya Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. (English) Zbl 1477.03074 Log. Log. Philos. 26, No. 2, 207-235 (2017). MSC: 03B50 03B53 PDF BibTeX XML Cite \textit{A. Karpenko} and \textit{N. Tomova}, Log. Log. Philos. 26, No. 2, 207--235 (2017; Zbl 1477.03074) Full Text: DOI OpenURL