Wcisło, Bartosz Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 07790940 Arch. Math. Logic 63, No. 1-2, 239-257 (2024). MSC: 03H15 03C62 03F30 03A05 03B30 PDFBibTeX XMLCite \textit{B. Wcisło}, Arch. Math. Logic 63, No. 1--2, 239--257 (2024; Zbl 07790940) Full Text: DOI arXiv OA License
Cagala, Tobias; Glogowsky, Ulrich; Rincke, Johannes; Schudy, Simeon Commitment requests do not affect truth-telling in laboratory and online experiments. (English) Zbl 07787047 Games Econ. Behav. 143, 179-190 (2024). MSC: 91A90 91A28 PDFBibTeX XMLCite \textit{T. Cagala} et al., Games Econ. Behav. 143, 179--190 (2024; Zbl 07787047) Full Text: DOI
Li, Wenbin; Li, Chaoqun; Jiang, Liangxiao Learning from crowds with robust logistic regression. (English) Zbl 07818953 Inf. Sci. 639, Article ID 119010, 15 p. (2023). MSC: 68-XX 62-XX PDFBibTeX XMLCite \textit{W. Li} et al., Inf. Sci. 639, Article ID 119010, 15 p. (2023; Zbl 07818953) Full Text: DOI
Papadamos, Panagiotis; Gierasimczuk, Nina Cognitive bias and belief revision. (English) Zbl 07810632 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 441-454 (2023). MSC: 03-XX 68T27 PDFBibTeX XMLCite \textit{P. Papadamos} and \textit{N. Gierasimczuk}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 441--454 (2023; Zbl 07810632) Full Text: DOI arXiv
Gutman, Alexander E. A sentence preservation theorem for Boolean algebras. (English) Zbl 07806063 J. Math. Sci., New York 271, No. 6, Series A, 700-707 (2023). MSC: 03Cxx 03Exx PDFBibTeX XMLCite \textit{A. E. Gutman}, J. Math. Sci., New York 271, No. 6, 700--707 (2023; Zbl 07806063) Full Text: DOI
Demidov, Sergeĭ Sergeevich Alexey Nikolaevich Parshin in the world of humanitarian sciences. (Russian. English summary) Zbl 07804935 Chebyshevskiĭ Sb. 24, No. 1(87), 313-324 (2023). MSC: 01A60 01A61 PDFBibTeX XMLCite \textit{S. S. Demidov}, Chebyshevskiĭ Sb. 24, No. 1(87), 313--324 (2023; Zbl 07804935) Full Text: DOI MNR
Cantú, Liliana M.; Figallo, Martín Cut-free sequent-style systems for a logic associated to involutive stone algebras. (English) Zbl 07801592 J. Log. Comput. 33, No. 7, 1684-1710 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{L. M. Cantú} and \textit{M. Figallo}, J. Log. Comput. 33, No. 7, 1684--1710 (2023; Zbl 07801592) Full Text: DOI arXiv
Grossi, Marco Substitutional validity for modal logic. (English) Zbl 07787870 Notre Dame J. Formal Logic 64, No. 3, 291-316 (2023). MSC: 03B45 03B99 PDFBibTeX XMLCite \textit{M. Grossi}, Notre Dame J. Formal Logic 64, No. 3, 291--316 (2023; Zbl 07787870) Full Text: DOI
Muravitsky, Alexei Rejection: a historico-epistemological view. (English) Zbl 07786298 Log. Univers. 17, No. 4, 461-482 (2023). MSC: 03A05 03-03 PDFBibTeX XMLCite \textit{A. Muravitsky}, Log. Univers. 17, No. 4, 461--482 (2023; Zbl 07786298) Full Text: DOI
Enayat, Ali; Łełyk, Mateusz Axiomatizations of Peano arithmetic: a truth-theoretic view. (English) Zbl 07781912 J. Symb. Log. 88, No. 4, 1526-1555 (2023). MSC: 03F30 03F25 03C62 PDFBibTeX XMLCite \textit{A. Enayat} and \textit{M. Łełyk}, J. Symb. Log. 88, No. 4, 1526--1555 (2023; Zbl 07781912) Full Text: DOI OA License
Djurasevic, Marko; Jakobovic, Domagoj; Mariot, Luca; Picek, Stjepan A survey of metaheuristic algorithms for the design of cryptographic Boolean functions. (English) Zbl 07778089 Cryptogr. Commun. 15, No. 6, 1171-1197 (2023). MSC: 94D10 94A60 90C59 PDFBibTeX XMLCite \textit{M. Djurasevic} et al., Cryptogr. Commun. 15, No. 6, 1171--1197 (2023; Zbl 07778089) Full Text: DOI arXiv OA License
Zeng, Qianli; Hsiung, Ming The elimination of direct self-reference. (English) Zbl 07767290 Stud. Log. 111, No. 6, 1037-1055 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{Q. Zeng} and \textit{M. Hsiung}, Stud. Log. 111, No. 6, 1037--1055 (2023; Zbl 07767290) Full Text: DOI
Nicolai, Carlo; Rossi, Lorenzo Systems for non-reflexive consequence. (English) Zbl 07767287 Stud. Log. 111, No. 6, 947-977 (2023). MSC: 03F05 03A99 PDFBibTeX XMLCite \textit{C. Nicolai} and \textit{L. Rossi}, Stud. Log. 111, No. 6, 947--977 (2023; Zbl 07767287) Full Text: DOI OA License
Kapsner, Andreas; Rivieccio, Umberto The value of the one value: exactly true logic revisited. (English) Zbl 07753835 J. Philos. Log. 52, No. 5, 1417-1444 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{A. Kapsner} and \textit{U. Rivieccio}, J. Philos. Log. 52, No. 5, 1417--1444 (2023; Zbl 07753835) Full Text: DOI OA License
Fischer, Martin; Zicchetti, Matteo Internal categoricity, truth and determinacy. (English) Zbl 07753831 J. Philos. Log. 52, No. 5, 1295-1325 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Fischer} and \textit{M. Zicchetti}, J. Philos. Log. 52, No. 5, 1295--1325 (2023; Zbl 07753831) Full Text: DOI OA License
Grünberg, Teo; Grünberg, David; Akçelik, Oğuz On the fundamental role of ‘means that’ in semantic theorizing. (English) Zbl 07753644 J. Logic Lang. Inf. 32, No. 4, 601-656 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{T. Grünberg} et al., J. Logic Lang. Inf. 32, No. 4, 601--656 (2023; Zbl 07753644) Full Text: DOI
Niki, Satoru Improving strong negation. (English) Zbl 07740302 Rev. Symb. Log. 16, No. 3, 951-977 (2023). MSC: 03B20 PDFBibTeX XMLCite \textit{S. Niki}, Rev. Symb. Log. 16, No. 3, 951--977 (2023; Zbl 07740302) Full Text: DOI
Krämer, Stephan That’s it! Hyperintensional total logic. (English) Zbl 07721413 J. Philos. Log. 52, No. 4, 963-1004 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Krämer}, J. Philos. Log. 52, No. 4, 963--1004 (2023; Zbl 07721413) Full Text: DOI
Pang, Kuo; Zou, Li; Kang, Ning; Li, Shaoxiong; Lu, Mingyu The construction of fuzzy linguistic attribute partial ordered structure diagram. (English) Zbl 07714798 Comput. Appl. Math. 42, No. 6, Paper No. 240, 26 p. (2023). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{K. Pang} et al., Comput. Appl. Math. 42, No. 6, Paper No. 240, 26 p. (2023; Zbl 07714798) Full Text: DOI
Pang, Kuo; Liu, Pengsen; Li, Shaoxiong; Zou, Li; Lu, Mingyu; Martínez, Luis Concept lattice simplification with fuzzy linguistic information based on three-way clustering. (English) Zbl 07698075 Int. J. Approx. Reasoning 154, 149-175 (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{K. Pang} et al., Int. J. Approx. Reasoning 154, 149--175 (2023; Zbl 07698075) Full Text: DOI
Łełyk, Mateusz Zbigniew Model theory and proof theory of the global reflection principle. (English) Zbl 07691759 J. Symb. Log. 88, No. 2, 738-779 (2023). MSC: 03C62 03F30 03F35 03H15 PDFBibTeX XMLCite \textit{M. Z. Łełyk}, J. Symb. Log. 88, No. 2, 738--779 (2023; Zbl 07691759) Full Text: DOI
Rossi, Lorenzo Bicontextualism. (English) Zbl 07690434 Notre Dame J. Formal Logic 64, No. 1, 95-127 (2023). Reviewer: Edoardo Rivello (Torino) MSC: 03A05 03B16 03B65 PDFBibTeX XMLCite \textit{L. Rossi}, Notre Dame J. Formal Logic 64, No. 1, 95--127 (2023; Zbl 07690434) Full Text: DOI
Elgin, Samuel Z. The semantic foundations of philosophical analysis. (English) Zbl 07689502 Rev. Symb. Log. 16, No. 2, 603-623 (2023). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Z. Elgin}, Rev. Symb. Log. 16, No. 2, 603--623 (2023; Zbl 07689502) Full Text: DOI
Fischer, Martin; Nicolai, Carlo; Dopico, Pablo Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over hype. (English) Zbl 07689495 Rev. Symb. Log. 16, No. 2, 425-448 (2023). MSC: 03F03 03B60 03F25 03B50 PDFBibTeX XMLCite \textit{M. Fischer} et al., Rev. Symb. Log. 16, No. 2, 425--448 (2023; Zbl 07689495) Full Text: DOI arXiv
Grabmayr, Balthasar; Visser, Albert Self-reference upfront: a study of self-referential Gödel numberings. (English) Zbl 07689494 Rev. Symb. Log. 16, No. 2, 385-424 (2023). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03F30 03F40 PDFBibTeX XMLCite \textit{B. Grabmayr} and \textit{A. Visser}, Rev. Symb. Log. 16, No. 2, 385--424 (2023; Zbl 07689494) Full Text: DOI arXiv
Castaldo, Luca Notes on models of (partial) Kripke-Feferman truth. (English) Zbl 07678790 Stud. Log. 111, No. 1, 83-111 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{L. Castaldo}, Stud. Log. 111, No. 1, 83--111 (2023; Zbl 07678790) Full Text: DOI
Yin, Hongkai; Ben-Yami, Hanoch The quantified argument calculus with two- and three-valued truth-valuational semantics. (English) Zbl 07677359 Stud. Log. 111, No. 2, 281-320 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{H. Yin} and \textit{H. Ben-Yami}, Stud. Log. 111, No. 2, 281--320 (2023; Zbl 07677359) Full Text: DOI
Kentaro, Sato; Walker, Jan Finitist axiomatic truth. (English) Zbl 07657274 J. Symb. Log. 88, No. 1, 22-73 (2023). MSC: 03F25 03F30 03A05 03D20 03D70 03F05 03F35 PDFBibTeX XMLCite \textit{S. Kentaro} and \textit{J. Walker}, J. Symb. Log. 88, No. 1, 22--73 (2023; Zbl 07657274) Full Text: DOI
Diaconescu, Răzvan Generalised graded interpolation. (English) Zbl 07629303 Int. J. Approx. Reasoning 152, 236-261 (2023). MSC: 68T27 03B50 03C40 03G30 68T37 PDFBibTeX XMLCite \textit{R. Diaconescu}, Int. J. Approx. Reasoning 152, 236--261 (2023; Zbl 07629303) Full Text: DOI
Grigoriev, Oleg; Zaitsev, Dmitry Basic four-valued systems of cyclic negations. (English) Zbl 07811402 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 4, 507-533 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{O. Grigoriev} and \textit{D. Zaitsev}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 4, 507--533 (2022; Zbl 07811402) Full Text: DOI
Pietroski, Paul On Davidson’s “The logical form of action sentences”. (English) Zbl 07799467 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 89-102 (2022). MSC: 03B65 PDFBibTeX XMLCite \textit{P. Pietroski}, Stud. Linguist. Philos. 100, 89--102 (2022; Zbl 07799467) Full Text: DOI
Feng, Jun-E; Li, Yiliang; Fu, Shihua; Lyu, Hongli New method for disturbance decoupling of Boolean networks. (English) Zbl 07740979 IEEE Trans. Autom. Control 67, No. 9, 4794-4800 (2022). MSC: 93-XX PDFBibTeX XMLCite \textit{J.-E Feng} et al., IEEE Trans. Autom. Control 67, No. 9, 4794--4800 (2022; Zbl 07740979) Full Text: DOI
Bellucci, Francesco Tabular notations. (English) Zbl 07740531 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 535-546 (2022). MSC: 03A05 03Bxx 01A25 01A55 97E30 03B05 03B10 PDFBibTeX XMLCite \textit{F. Bellucci}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 535--546 (2022; Zbl 07740531) Full Text: DOI
Gastaldi, Juan Luis Boole’s untruth tables: the formal conditions of meaning before the emergence of propositional logic. (English) Zbl 07740510 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 119-149 (2022). MSC: 03A05 03Bxx 01A25 01A55 03G05 00A30 PDFBibTeX XMLCite \textit{J. L. Gastaldi}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 119--149 (2022; Zbl 07740510) Full Text: DOI
Devyatkin, Leonid Yur’evich A non-classical view of the nature of truth values. (Russian. Russian original) Zbl 07664472 Log. Issled. 28, No. 2, 40-65 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{L. Y. Devyatkin}, Log. Issled. 28, No. 2, 40--65 (2022; Zbl 07664472) Full Text: DOI
Zardini, Elia The final cut. (English) Zbl 07644290 J. Philos. Log. 51, No. 6, 1583-1611 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{E. Zardini}, J. Philos. Log. 51, No. 6, 1583--1611 (2022; Zbl 07644290) Full Text: DOI
Kjos-Hanssen, Bjørn; Webb, David J. Strong Medvedev reducibilities and the KL-randomness problem. (English) Zbl 07627925 Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 151-161 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Kjos-Hanssen} and \textit{D. J. Webb}, Lect. Notes Comput. Sci. 13359, 151--161 (2022; Zbl 07627925) Full Text: DOI arXiv
Gorbow, Paul K.; Leigh, Graham E. The Copernican multiverse of sets. (English) Zbl 07613702 Rev. Symb. Log. 15, No. 4, 1033-1069 (2022). MSC: 03E35 03E65 03A05 03H05 PDFBibTeX XMLCite \textit{P. K. Gorbow} and \textit{G. E. Leigh}, Rev. Symb. Log. 15, No. 4, 1033--1069 (2022; Zbl 07613702) Full Text: DOI arXiv
Cantini, Andrea Reflecting and unfolding. (English) Zbl 07608784 Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 369-383 (2022). MSC: 03A05 01A20 01A35 01A45 01A50 01A60 03F03 03F25 03F35 03A05 PDFBibTeX XMLCite \textit{A. Cantini}, Log. Epistemol. Unity Sci. 54, 369--383 (2022; Zbl 07608784) Full Text: DOI
Rodrigues, Abilio; Antunes, Henrique First-order logics of evidence and truth with constant and variable domains. (English) Zbl 07603235 Log. Univers. 16, No. 3, 419-449 (2022). MSC: 03B53 03A05 PDFBibTeX XMLCite \textit{A. Rodrigues} and \textit{H. Antunes}, Log. Univers. 16, No. 3, 419--449 (2022; Zbl 07603235) Full Text: DOI
Cantini, Andrea Truth and the philosophy of mathematics. (English) Zbl 07598444 Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 311-330 (2022). MSC: 03-XX 00A30 03F03 03F25 03F35 03A05 PDFBibTeX XMLCite \textit{A. Cantini}, Boston Stud. Philos. Hist. Sci. 339, 311--330 (2022; Zbl 07598444) Full Text: DOI
Antunes, H.; Rodrigues, A.; Carnielli, W.; Coniglio, M. E. Valuation semantics for first-order logics of evidence and truth. (English) Zbl 07595246 J. Philos. Log. 51, No. 5, 1141-1173 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{H. Antunes} et al., J. Philos. Log. 51, No. 5, 1141--1173 (2022; Zbl 07595246) Full Text: DOI arXiv
Beklemishev, L. D. Conservativity spectra and Joosten-Fernández model. (English. Russian original) Zbl 07594414 Dokl. Math. 106, No. 1, 213-217 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 505, 5-10 (2022). MSC: 03Fxx 03Bxx 03Gxx PDFBibTeX XMLCite \textit{L. D. Beklemishev}, Dokl. Math. 106, No. 1, 213--217 (2022; Zbl 07594414); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 505, 5--10 (2022) Full Text: DOI
Marcelino, Sérgio An unexpected Boolean connective. (English) Zbl 07580912 Log. Univers. 16, No. 1-2, 85-103 (2022). MSC: 03B50 03B60 PDFBibTeX XMLCite \textit{S. Marcelino}, Log. Univers. 16, No. 1--2, 85--103 (2022; Zbl 07580912) Full Text: DOI arXiv
Shramko, Yaroslav The diamond of mingle logics: a four-fold infinite way to be safe from paradox. (English) Zbl 07576858 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 365-393 (2022). MSC: 03B47 03B50 PDFBibTeX XMLCite \textit{Y. Shramko}, Tributes 46, 365--393 (2022; Zbl 07576858)
Brady, Ross T. Intension, extension, distribution and decidability. (English) Zbl 07576847 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 128-149 (2022). MSC: 03B47 03B25 PDFBibTeX XMLCite \textit{R. T. Brady}, Tributes 46, 128--149 (2022; Zbl 07576847)
Belikov, Alex; Grigoriev, Oleg; Zaitsev, Dmitry On connegation. (English) Zbl 07576845 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 73-88 (2022). MSC: 03B47 03B50 03F05 PDFBibTeX XMLCite \textit{A. Belikov} et al., Tributes 46, 73--88 (2022; Zbl 07576845)
Middleton, Ben Binary Kripke semantics for a strong logic for naive truth. (English) Zbl 07576539 Rev. Symb. Log. 15, No. 3, 668-692 (2022). MSC: 03B60 PDFBibTeX XMLCite \textit{B. Middleton}, Rev. Symb. Log. 15, No. 3, 668--692 (2022; Zbl 07576539) Full Text: DOI arXiv
Leigh, Graham E. From paradox to truth. An introduction to self-reference in formal language. (English) Zbl 07570787 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 343-353 (2022). MSC: 03A05 PDFBibTeX XMLCite \textit{G. E. Leigh}, Lect. Notes Comput. Sci. 13206, 343--353 (2022; Zbl 07570787) Full Text: DOI
Zimmermann, Thomas Ede Extensions in compositional semantics. (English) Zbl 07570778 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 148-172 (2022). MSC: 03B65 03A05 PDFBibTeX XMLCite \textit{T. E. Zimmermann}, Lect. Notes Comput. Sci. 13206, 148--172 (2022; Zbl 07570778) Full Text: DOI
Wilming, Rick; Budding, Céline; Müller, Klaus-Robert; Haufe, Stefan Scrutinizing XAI using linear ground-truth data with suppressor variables. (English) Zbl 07570147 Mach. Learn. 111, No. 5, 1903-1923 (2022). MSC: 68T05 PDFBibTeX XMLCite \textit{R. Wilming} et al., Mach. Learn. 111, No. 5, 1903--1923 (2022; Zbl 07570147) Full Text: DOI arXiv
Rodrigues, Abilio; Carnielli, Walter On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth. (English) Zbl 07563620 Log. Log. Philos. 31, No. 2, 313-338 (2022). MSC: 03A05 PDFBibTeX XMLCite \textit{A. Rodrigues} and \textit{W. Carnielli}, Log. Log. Philos. 31, No. 2, 313--338 (2022; Zbl 07563620) Full Text: DOI
Arenhart, Jonas Becker; Melo, Ederson S. The liar paradox: between evidence and truth. (English) Zbl 07563619 Log. Log. Philos. 31, No. 2, 289-311 (2022). MSC: 03A05 PDFBibTeX XMLCite \textit{J. B. Arenhart} and \textit{E. S. Melo}, Log. Log. Philos. 31, No. 2, 289--311 (2022; Zbl 07563619) Full Text: DOI
Picollo, Lavinia; Schindler, Thomas Higher-order logic and disquotational truth. (English) Zbl 07557917 J. Philos. Log. 51, No. 4, 879-918 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{L. Picollo} and \textit{T. Schindler}, J. Philos. Log. 51, No. 4, 879--918 (2022; Zbl 07557917) Full Text: DOI
Hsiung, Ming Designing paradoxes: a revision-theoretic approach. (English) Zbl 07557913 J. Philos. Log. 51, No. 4, 739-789 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Hsiung}, J. Philos. Log. 51, No. 4, 739--789 (2022; Zbl 07557913) Full Text: DOI
Hayashi, Daichi On cut-elimination arguments for axiomatic theories of truth. (English) Zbl 07535458 Stud. Log. 110, No. 3, 785-818 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{D. Hayashi}, Stud. Log. 110, No. 3, 785--818 (2022; Zbl 07535458) Full Text: DOI
Beklemishev, Lev D.; Pakhomov, Fedor N. Reflection algebras and conservation results for theories of iterated truth. (English) Zbl 07501986 Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022). MSC: 03F15 03F30 03F35 03F45 PDFBibTeX XMLCite \textit{L. D. Beklemishev} and \textit{F. N. Pakhomov}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022; Zbl 07501986) Full Text: DOI arXiv
Field, Hartry The power of naive truth. (English) Zbl 07493115 Rev. Symb. Log. 15, No. 1, 225-258 (2022). MSC: 03A05 03B20 03B50 03F30 PDFBibTeX XMLCite \textit{H. Field}, Rev. Symb. Log. 15, No. 1, 225--258 (2022; Zbl 07493115) Full Text: DOI
Makinson, David Relevance-sensitive truth-trees. (English) Zbl 07469205 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 23-65 (2022). MSC: 03Bxx 03Gxx PDFBibTeX XMLCite \textit{D. Makinson}, Outst. Contrib. Log. 22, 23--65 (2022; Zbl 07469205) Full Text: DOI
Cevolani, Gustavo; Festa, Roberto Approaching deterministic and probabilistic truth: a unified account. (English) Zbl 07797994 Synthese 199, No. 3-4, 11465-11489 (2021). MSC: 03A05 03A10 PDFBibTeX XMLCite \textit{G. Cevolani} and \textit{R. Festa}, Synthese 199, No. 3--4, 11465--11489 (2021; Zbl 07797994) Full Text: DOI
Iacona, Andrea; Iaquinto, Samuele Credible futures. (English) Zbl 07797972 Synthese 199, No. 3-4, 10953-10968 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{A. Iacona} and \textit{S. Iaquinto}, Synthese 199, No. 3--4, 10953--10968 (2021; Zbl 07797972) Full Text: DOI
Warren, Jared Defending understanding-assent links. (English) Zbl 07797901 Synthese 199, No. 3-4, 9219-9236 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{J. Warren}, Synthese 199, No. 3--4, 9219--9236 (2021; Zbl 07797901) Full Text: DOI
Kuipers, Theo A. F. Approaching probabilistic and deterministic nomic truths in an inductive probabilistic way. (English) Zbl 07797851 Synthese 199, No. 3-4, 8001-8028 (2021). MSC: 03A10 03B48 60A05 PDFBibTeX XMLCite \textit{T. A. F. Kuipers}, Synthese 199, No. 3--4, 8001--8028 (2021; Zbl 07797851) Full Text: DOI
DePoe, John M. Justification by acquaintance. (English) Zbl 07797832 Synthese 199, No. 3-4, 7555-7573 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{J. M. DePoe}, Synthese 199, No. 3--4, 7555--7573 (2021; Zbl 07797832) Full Text: DOI
d’Agostini, Franca Conjunctive paraconsistency. (English) Zbl 07797800 Synthese 199, No. 3-4, 6845-6874 (2021). MSC: 03A05 03B53 PDFBibTeX XMLCite \textit{F. d'Agostini}, Synthese 199, No. 3--4, 6845--6874 (2021; Zbl 07797800) Full Text: DOI
Øgaard, Tore Fjetland Non-Boolean classical relevant logics. II: Classicality through truth-constants. (English) Zbl 07797770 Synthese 199, No. 3-4, 6169-6201 (2021). MSC: 03B47 03B53 PDFBibTeX XMLCite \textit{T. F. Øgaard}, Synthese 199, No. 3--4, 6169--6201 (2021; Zbl 07797770) Full Text: DOI
Elgin, Samuel Z. Knowledge is closed under analytic content. (English) Zbl 07795371 Synthese 199, No. 1-2, 5339-5353 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Z. Elgin}, Synthese 199, No. 1--2, 5339--5353 (2021; Zbl 07795371) Full Text: DOI
Atkinson, David; Peijnenburg, Jeanne Probabilistic truth approximation and fixed points. (English) Zbl 07795321 Synthese 199, No. 1-2, 4195-4216 (2021). MSC: 60A05 PDFBibTeX XMLCite \textit{D. Atkinson} and \textit{J. Peijnenburg}, Synthese 199, No. 1--2, 4195--4216 (2021; Zbl 07795321) Full Text: DOI
Jackson, Brendan Balcerak Model-theoretic semantics as model-based science. (English) Zbl 07795274 Synthese 199, No. 1-2, 3061-3081 (2021). MSC: 03A05 03C98 PDFBibTeX XMLCite \textit{B. B. Jackson}, Synthese 199, No. 1--2, 3061--3081 (2021; Zbl 07795274) Full Text: DOI
Newhard, Jay Alethic undecidability and alethic indeterminacy. (English) Zbl 07795251 Synthese 199, No. 1-2, 2563-2574 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{J. Newhard}, Synthese 199, No. 1--2, 2563--2574 (2021; Zbl 07795251) Full Text: DOI
Bjelde, Joseph Anything but the truth. (English) Zbl 07795154 Synthese 199, No. 1-2, 535-549 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{J. Bjelde}, Synthese 199, No. 1--2, 535--549 (2021; Zbl 07795154) Full Text: DOI
Ferrari, Filippo Alethic pluralism and the value of truth. (English) Zbl 07795134 Synthese 199, No. 1-2, 55-79 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{F. Ferrari}, Synthese 199, No. 1--2, 55--79 (2021; Zbl 07795134) Full Text: DOI
Wang, Xingyuan; Zhang, Maozhen An image encryption algorithm based on new chaos and diffusion values of a truth table. (English) Zbl 07786079 Inf. Sci. 579, 128-149 (2021). MSC: 94A08 94A60 68U10 PDFBibTeX XMLCite \textit{X. Wang} and \textit{M. Zhang}, Inf. Sci. 579, 128--149 (2021; Zbl 07786079) Full Text: DOI
Liu, Ai-Hua; Wan, Shu-Ping; Dong, Jiu-Ying An axiomatic design-based mathematical programming method for heterogeneous multi-criteria group decision making with linguistic fuzzy truth degrees. (English) Zbl 07769029 Inf. Sci. 571, 649-675 (2021). MSC: 91B06 90B50 91B86 91F20 90C05 PDFBibTeX XMLCite \textit{A.-H. Liu} et al., Inf. Sci. 571, 649--675 (2021; Zbl 07769029) Full Text: DOI
Jančar, Petr; Šíma, Jiří The simplest non-regular deterministic context-free language. (English) Zbl 07724236 Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 63, 18 p. (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Jančar} and \textit{J. Šíma}, LIPIcs -- Leibniz Int. Proc. Inform. 202, Article 63, 18 p. (2021; Zbl 07724236) Full Text: DOI arXiv
Wen, Xuefeng Validity under assumptions and modus ponens. (English) Zbl 07671042 Baroni, Pietro (ed.) et al., Logic and argumentation. 4th international conference, CLAR 2021, Hangzhou, China, October 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13040, 533-542 (2021). MSC: 03B70 68T27 PDFBibTeX XMLCite \textit{X. Wen}, Lect. Notes Comput. Sci. 13040, 533--542 (2021; Zbl 07671042) Full Text: DOI
Becker, Ruben; D’Angelo, Gianlorenzo; Delfaraz, Esmaeil; Gilbert, Hugo Unveiling the truth in liquid democracy with misinformed voters. (English) Zbl 07670903 Fotakis, Dimitris (ed.) et al., Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13023, 132-146 (2021). MSC: 68T20 91B06 91B14 91B32 91B68 PDFBibTeX XMLCite \textit{R. Becker} et al., Lect. Notes Comput. Sci. 13023, 132--146 (2021; Zbl 07670903) Full Text: DOI
Glass, Catherine A.; Glass, David H. Opinion dynamics of social learning with a conflicting source. (English) Zbl 07574002 Physica A 563, Article ID 125480, 14 p. (2021). MSC: 82-XX PDFBibTeX XMLCite \textit{C. A. Glass} and \textit{D. H. Glass}, Physica A 563, Article ID 125480, 14 p. (2021; Zbl 07574002) Full Text: DOI Link
Düntsch, Ivo; Orlowska, Ewa Discrete dualities for groupoids. (English) Zbl 07552279 Rend. Ist. Mat. Univ. Trieste 53, Paper No. 20, 19 p. (2021). MSC: 03G10 03G25 06B15 20Nxx PDFBibTeX XMLCite \textit{I. Düntsch} and \textit{E. Orlowska}, Rend. Ist. Mat. Univ. Trieste 53, Paper No. 20, 19 p. (2021; Zbl 07552279) Full Text: DOI
Winter, Yoad Presupposition, admittance and Karttunen calculus. (English) Zbl 07503178 Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 253-269 (2021). MSC: 03B50 PDFBibTeX XMLCite \textit{Y. Winter}, in: The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 253--269 (2021; Zbl 07503178)
Nicolai, Carlo Cut elimination for systems of transparent truth with restricted initial sequents. (English) Zbl 07473062 Notre Dame J. Formal Logic 62, No. 4, 619-642 (2021). MSC: 03F05 03A05 PDFBibTeX XMLCite \textit{C. Nicolai}, Notre Dame J. Formal Logic 62, No. 4, 619--642 (2021; Zbl 07473062) Full Text: DOI arXiv
Rivello, Edoardo Generalizing Montague’s theorem on recursive definitions. (English) Zbl 07473057 Notre Dame J. Formal Logic 62, No. 3, 553-575 (2021). MSC: 03E47 03E75 03A05 PDFBibTeX XMLCite \textit{E. Rivello}, Notre Dame J. Formal Logic 62, No. 3, 553--575 (2021; Zbl 07473057) Full Text: DOI Link
Kossak, Roman; Wcisło, Bartosz Disjunctions with stopping conditions. (English) Zbl 07455123 Bull. Symb. Log. 27, No. 3, 231-253 (2021). MSC: 03H15 03F30 03A99 PDFBibTeX XMLCite \textit{R. Kossak} and \textit{B. Wcisło}, Bull. Symb. Log. 27, No. 3, 231--253 (2021; Zbl 07455123) Full Text: DOI arXiv
Cramer, Marcos Paracomplete truth theory with KFS-definable determinateness. (English) Zbl 07451584 J. Log. Comput. 31, No. 8, 2218-2239 (2021). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{M. Cramer}, J. Log. Comput. 31, No. 8, 2218--2239 (2021; Zbl 07451584) Full Text: DOI
Hsiung, Ming Solovay functions and paradoxes. (English) Zbl 07451580 J. Log. Comput. 31, No. 8, 2107-2132 (2021). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{M. Hsiung}, J. Log. Comput. 31, No. 8, 2107--2132 (2021; Zbl 07451580) Full Text: DOI
Davey, Kevin A note on the unprovability of consistency in formal theories of truth. (English) Zbl 07437459 J. Philos. Log. 50, No. 6, 1313-1340 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{K. Davey}, J. Philos. Log. 50, No. 6, 1313--1340 (2021; Zbl 07437459) Full Text: DOI
Cintioli, Patrizio Degrees of sets having no subsets of higher \(m\)- and \(tt\)-degree. (English) Zbl 07429025 Computability 10, No. 3, 235-255 (2021). MSC: 03Dxx PDFBibTeX XMLCite \textit{P. Cintioli}, Computability 10, No. 3, 235--255 (2021; Zbl 07429025) Full Text: DOI
Bolotin, Arkady Wave-particle duality and the objectiveness of “true” and “false”. (English) Zbl 07422296 Found. Phys. 51, No. 4, Paper No. 78, 27 p. (2021). MSC: 81Pxx 03Bxx 03-XX 03Gxx 00Axx PDFBibTeX XMLCite \textit{A. Bolotin}, Found. Phys. 51, No. 4, Paper No. 78, 27 p. (2021; Zbl 07422296) Full Text: DOI arXiv
Henderson, Jared Truth and gradability. (English) Zbl 07413736 J. Philos. Log. 50, No. 4, 755-779 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{J. Henderson}, J. Philos. Log. 50, No. 4, 755--779 (2021; Zbl 07413736) Full Text: DOI
Lin, Qiqing; Liu, Hu Comparing more revision and fixed-point theories of truth. (English) Zbl 07413732 J. Philos. Log. 50, No. 4, 615-671 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{Q. Lin} and \textit{H. Liu}, J. Philos. Log. 50, No. 4, 615--671 (2021; Zbl 07413732) Full Text: DOI
Da Ré, Bruno Structural weakening and paradoxes. (English) Zbl 07391981 Notre Dame J. Formal Logic 62, No. 2, 369-398 (2021). MSC: 03B47 03F05 03A05 PDFBibTeX XMLCite \textit{B. Da Ré}, Notre Dame J. Formal Logic 62, No. 2, 369--398 (2021; Zbl 07391981) Full Text: DOI
Fjellstad, Andreas; Olsen, Jan-Fredrik \(\mathrm{IKT}^\omega\) and Łukasiewicz-models. (English) Zbl 07391974 Notre Dame J. Formal Logic 62, No. 2, 247-256 (2021). MSC: 03B50 03C75 PDFBibTeX XMLCite \textit{A. Fjellstad} and \textit{J.-F. Olsen}, Notre Dame J. Formal Logic 62, No. 2, 247--256 (2021; Zbl 07391974) Full Text: DOI arXiv
Cieśliński, Cezary Interpreting the compositional truth predicate in models of arithmetic. (English) Zbl 07373428 Arch. Math. Logic 60, No. 6, 749-770 (2021). MSC: 03C50 03F05 PDFBibTeX XMLCite \textit{C. Cieśliński}, Arch. Math. Logic 60, No. 6, 749--770 (2021; Zbl 07373428) Full Text: DOI
Florio, Salvatore; Nicolas, David Plurals and mereology. (English) Zbl 07365447 J. Philos. Log. 50, No. 3, 415-445 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Florio} and \textit{D. Nicolas}, J. Philos. Log. 50, No. 3, 415--445 (2021; Zbl 07365447) Full Text: DOI
Nielsen, Michael Convergence to the truth without countable additivity. (English) Zbl 07345741 J. Philos. Log. 50, No. 2, 395-414 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Nielsen}, J. Philos. Log. 50, No. 2, 395--414 (2021; Zbl 07345741) Full Text: DOI
Hsiung, Ming Unwinding modal paradoxes on digraphs. (English) Zbl 07345739 J. Philos. Log. 50, No. 2, 319-362 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Hsiung}, J. Philos. Log. 50, No. 2, 319--362 (2021; Zbl 07345739) Full Text: DOI
Zhao, Juan; Yang, Lu-Xing; Zhong, Xiang; Yang, Xiaofan; Wu, Yingbo; Tang, Yuan Yan Minimizing the impact of a rumor via isolation and conversion. (English) Zbl 07566399 Physica A 526, Article ID 120867, 11 p. (2019). MSC: 82-XX PDFBibTeX XMLCite \textit{J. Zhao} et al., Physica A 526, Article ID 120867, 11 p. (2019; Zbl 07566399) Full Text: DOI
Chemla, Emmanuel; Égré, Paul Suszko’s problem: mixed consequence and compositionality. (English) Zbl 07171844 Rev. Symb. Log. 12, No. 4, 736-767 (2019). MSC: 03B47 03B50 03G25 PDFBibTeX XMLCite \textit{E. Chemla} and \textit{P. Égré}, Rev. Symb. Log. 12, No. 4, 736--767 (2019; Zbl 07171844) Full Text: DOI arXiv
Godziszewski, Michał Tomasz; Urbaniak, Rafal Infinite liar in a (modal) finitistic setting. (English) Zbl 07150805 Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11600, 18-29 (2019). MSC: 03Bxx 68T27 PDFBibTeX XMLCite \textit{M. T. Godziszewski} and \textit{R. Urbaniak}, Lect. Notes Comput. Sci. 11600, 18--29 (2019; Zbl 07150805) Full Text: DOI
Rossi, Lorenzo A unified theory of truth and paradox. (English) Zbl 07063890 Rev. Symb. Log. 12, No. 2, 209-254 (2019). MSC: 03B50 03A05 PDFBibTeX XMLCite \textit{L. Rossi}, Rev. Symb. Log. 12, No. 2, 209--254 (2019; Zbl 07063890) Full Text: DOI