{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T17:17:45Z","timestamp":1769707065589,"version":"3.49.0"},"reference-count":29,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T00:00:00Z","timestamp":1769385600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"funder":[{"name":"Serbian Ministry of Science, Technological Development and Innovation","award":["Agreement No. 451-03-137\/2025-03\/200122"],"award-info":[{"award-number":["Agreement No. 451-03-137\/2025-03\/200122"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,1,26]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We introduce an extension of classical probabilistic propositional logic $\\mathsf{LPP}_{1}$, understood as an extension of classical propositional calculus with real-valued probability functions and iterated probability operators, by incorporating similarity operators based on the Jaccard index. The binary operators $J_{\\geqslant s}(\\alpha ,\\beta )$ and $J_{\\leqslant s}(\\alpha ,\\beta )$ allow us to formally reason about the degree of similarity between propositions, defined through the ratio of the probability of their conjunction and the probability of their disjunction. This addition enriches the expressive power of probabilistic logic and provides a natural way to capture relationships between formulas that go beyond absolute probability. We present the syntax and semantics of the resulting system $\\mathsf{LP}_{J}$, establish a sound and complete axiomatization, and prove decidability by reducing satisfiability problems to finite systems of linear inequalities over real closed fields. The logic thus provides a mathematically robust framework that combines probability and similarity, with potential applications in artificial intelligence, knowledge representation and decision-making, especially in contexts where clustering and comparison of structured knowledge are essential.<\/jats:p>","DOI":"10.1093\/logcom\/exag004","type":"journal-article","created":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T12:44:43Z","timestamp":1767789883000},"source":"Crossref","is-referenced-by-count":0,"title":["A logic with probabilistic Jaccard similarity"],"prefix":"10.1093","volume":"36","author":[{"given":"Maja","family":"Dabi\u0107","sequence":"first","affiliation":[{"name":"Faculty of Science, University of Kragujevac , Radoja Domanovi\u0107a 12, 34 000 Kragujevac,","place":["Serbia"]}]},{"given":"Nenad","family":"Stojanovi\u0107","sequence":"additional","affiliation":[{"name":"Faculty of Science, University of Kragujevac , Radoja Domanovi\u0107a 12, 34 000 Kragujevac,","place":["Serbia"]}]},{"given":"Neboj\u0160a","family":"Ikodinovi\u0107","sequence":"additional","affiliation":[{"name":"Faculty of Mathematics, University of Belgrade , Studentski trg 16, 11158 Belgrade,","place":["Serbia"]}]}],"member":"286","published-online":{"date-parts":[[2026,1,26]]},"reference":[{"key":"2026012711402862100_ref1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1111\/j.1467-8640.1990.tb00296.x","article-title":"L$_p$, a logic for representing and reasoning with statistical knowledge","volume":"6","author":"Bacchus","year":"1990","journal-title":"Computational Intelligence"},{"key":"2026012711402862100_ref2","first-page":"1157","article-title":"Suppes-style sequent calculus for probability logic","volume":"27","author":"Bori\u010di\u0107","year":"2017","journal-title":"Journal of Logic and Computation"},{"key":"2026012711402862100_ref3","doi-asserted-by":"crossref","first-page":"exae007","DOI":"10.1093\/logcom\/exae007","article-title":"Probability and natural deduction","volume":"35","author":"Bori\u010di\u0107","year":"2024","journal-title":"Journal of Logic and Computation"},{"key":"2026012711402862100_ref4","doi-asserted-by":"crossref","first-page":"e0247751","DOI":"10.1371\/journal.pone.0247751","article-title":"A comparison of 71 binary similarity coeficients: the effect of base rates","volume":"16","author":"Brusco","year":"2021","journal-title":"PLoS One"},{"key":"2026012711402862100_ref5","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/s00153-004-0217-3","article-title":"Completeness theorem for propositional probabilistic models whose measures have only finite ranges","volume":"43","author":"Djordjevi\u0107","year":"2004","journal-title":"Archive for Mathematical Logic"},{"key":"2026012711402862100_ref6","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","article-title":"Reasoning about knowledge and probability","volume":"41","author":"Fagin","year":"1994","journal-title":"Journal of the ACM (JACM)"},{"key":"2026012711402862100_ref7","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","article-title":"A logic for reasoning about probabilities","volume":"87","author":"Fagin","year":"1990","journal-title":"Information and Computation"},{"key":"2026012711402862100_ref8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5840\/icus11936454","article-title":"La logique de la probabilie","volume-title":"Actes du Congr\u2018es International de Philosophie Scientifique","author":"Finetti","year":"1936"},{"key":"2026012711402862100_ref9","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0004-3702(94)90079-5","article-title":"Anytime deduction for probabilistic logic","volume":"69","author":"Frish","year":"1994","journal-title":"Artificial Intelligence"},{"key":"2026012711402862100_ref10","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0306-4573(89)90048-4","article-title":"Similarity measures in scientometric research: the Jaccard index versus salton\u2019s cosine formula","volume":"25","author":"Hamers","year":"1989","journal-title":"Information Processing and Management"},{"key":"2026012711402862100_ref11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","article-title":"Some considerations on the logics PFD a logic combining modality and probability","volume":"7","author":"Hoeck","year":"1997","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2026012711402862100_ref12","first-page":"726","author":"Ikodinovi\u0107","year":"2005","journal-title":"A Logic with Coherent Conditional Probabilities"},{"key":"2026012711402862100_ref13","first-page":"241","article-title":"Distribution de la ore alpine dans le bassin des dranses et dans quelques regions voisines","volume":"37","author":"Jaccard","year":"1901","journal-title":"Bulletin de la Societe Vaudoise des Sciences Naturelles"},{"key":"2026012711402862100_ref14","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1109\/T-C.1973.223640","article-title":"Clustering using a similarity measure based on shared near neighbors","volume":"C-22","author":"Jarvisand","year":"1973","journal-title":"IEEE Transactions on Computers"},{"key":"2026012711402862100_ref15","first-page":"5","article-title":"Hyperfinite model theory","volume-title":"Logic Colloquim","author":"Keisler","year":"1977"},{"key":"2026012711402862100_ref16","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1002\/asi.20732","article-title":"On the normalization and visualization of author co-citation data: Salton\u2019s cosine versus the Jaccard index","volume":"59","author":"Leydesdorff","year":"2008","journal-title":"Journal of the American Society for Information Science and Technology"},{"key":"2026012711402862100_ref17","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1186\/s13321-021-00505-3","article-title":"Extended similarity indices: The benefits of comparing more than two objects simultaneously. Part 1: theory and characteristics. Journal of","volume":"13","author":"Miranda-Quintana","year":"2021","journal-title":"Cheminformatics"},{"key":"2026012711402862100_ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0457-9","volume-title":"Mathematical Classification and Clustering","author":"Mirkin","year":"1996"},{"key":"2026012711402862100_ref19","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","article-title":"Probabilistic logic","volume":"28","author":"Nilsson","year":"1986","journal-title":"Artificial Intelligence"},{"key":"2026012711402862100_ref20","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2298\/PIM0796141O","article-title":"A logic with higher order conditional probabilities","volume":"82","author":"Ognjanovi\u0107","year":"2007","journal-title":"Publications De L\u2019institut Mathematique"},{"key":"2026012711402862100_ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-52954-3","volume-title":"Probabilistic Extensions of Various Logical Systems","author":"Ognjanovi\u0107","year":"2020"},{"key":"2026012711402862100_ref22","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1093\/logcom\/9.2.181","article-title":"Some probability logics with new types of probability operators","volume":"9","author":"Ognjanovi\u0107","year":"1999","journal-title":"Journal of Logic and Computation"},{"key":"2026012711402862100_ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-47012-2","volume-title":"Probability Logics","author":"Ognjanovi\u0107","year":"2016"},{"key":"2026012711402862100_ref24","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/j.techfore.2017.03.031","article-title":"Assessing language discrepancies between travelers and online travel recommendation systems: application of the Jaccard distance score to web data mining","volume":"123","author":"Park","year":"2017","journal-title":"Technological Forecasting and Social Change"},{"key":"2026012711402862100_ref25","volume-title":"The Theory of Probability","author":"Reichenbach","year":"1949"},{"key":"2026012711402862100_ref26","article-title":"An elementary mathematical theory of classification and prediction","author":"Tanimoto","year":"1958","journal-title":"Technical Report"},{"key":"2026012711402862100_ref27","doi-asserted-by":"crossref","first-page":"19","DOI":"10.5121\/mlaij.2016.3103","article-title":"A survey on similarity measures in text mining","volume":"3","author":"Vijaymeena","year":"2016","journal-title":"Machine Learning and Applications"},{"key":"2026012711402862100_ref28","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/BF00344966","article-title":"Similarity indices, sample size and diversity","volume":"50","author":"Wolda","year":"1981","journal-title":"Oecologia"},{"key":"2026012711402862100_ref29","doi-asserted-by":"crossref","first-page":"1876","DOI":"10.1109\/TMI.2017.2695227","article-title":"Automatic skin lesion segmentation using deep fully convolutional networks with Jaccard distance","volume":"36","author":"Yuan","year":"2017","journal-title":"IEEE Transactions on Medical Imaging"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/36\/2\/exag004\/66591337\/exag004.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/36\/2\/exag004\/66591337\/exag004.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T16:40:39Z","timestamp":1769532039000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/doi\/10.1093\/logcom\/exag004\/8442299"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,26]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,1,26]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exag004","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,3]]},"published":{"date-parts":[[2026,1,26]]},"article-number":"exag004"}}