{"id":"https://openalex.org/W2146588861","doi":"https://doi.org/10.1002/malq.19970430410","title":"Validity Measurement in Some Propositional Logics","display_name":"Validity Measurement in Some Propositional Logics","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2146588861","doi":"https://doi.org/10.1002/malq.19970430410","mag":"2146588861"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19970430410","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19970430410","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065331296","display_name":"Branislav Bori\u010di\u0107","orcid":"https://orcid.org/0000-0001-8548-5913"},"institutions":[{"id":"https://openalex.org/I4068193","display_name":"University of Belgrade","ror":"https://ror.org/02qsmb048","country_code":"RS","type":"education","lineage":["https://openalex.org/I4068193"]}],"countries":["RS"],"is_corresponding":true,"raw_author_name":"Branislav Bori\u010di\u0107","raw_affiliation_strings":["Faculty of Economics, University of Belgrade, Kamenic\u030cka 6, 11000 Belgrade, Yugoslavia","The author thanks Dr. Ch. Cornaros for making very valuable suggestions and helpful comments regarding an earlier version of this paper"],"affiliations":[{"raw_affiliation_string":"Faculty of Economics, University of Belgrade, Kamenic\u030cka 6, 11000 Belgrade, Yugoslavia","institution_ids":["https://openalex.org/I4068193"]},{"raw_affiliation_string":"The author thanks Dr. Ch. Cornaros for making very valuable suggestions and helpful comments regarding an earlier version of this paper","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5065331296"],"corresponding_institution_ids":["https://openalex.org/I4068193"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.17292297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"43","issue":"4","first_page":"550","last_page":"558"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9767000079154968,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.8086937665939331},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7046841382980347},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.6587086915969849},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.6565855741500854},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.631449818611145},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5599237084388733},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5536438822746277},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.5052743554115295},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.5044654607772827},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.48898065090179443},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4844963252544403},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.47165265679359436},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.43846559524536133},{"id":"https://openalex.org/keywords/atomic-formula","display_name":"Atomic formula","score":0.43728604912757874},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.4336303472518921},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34012168645858765},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.19955146312713623},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.18689385056495667},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18182122707366943},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1280549168586731},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12526065111160278},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.1016918420791626},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.07551750540733337},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.06449681520462036}],"concepts":[{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.8086937665939331},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7046841382980347},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.6587086915969849},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.6565855741500854},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.631449818611145},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5599237084388733},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5536438822746277},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.5052743554115295},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.5044654607772827},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.48898065090179443},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4844963252544403},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.47165265679359436},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.43846559524536133},{"id":"https://openalex.org/C203264685","wikidata":"https://www.wikidata.org/wiki/Q2328174","display_name":"Atomic formula","level":2,"score":0.43728604912757874},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.4336303472518921},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34012168645858765},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19955146312713623},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.18689385056495667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18182122707366943},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1280549168586731},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12526065111160278},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.1016918420791626},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.07551750540733337},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.06449681520462036},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.19970430410","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19970430410","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W251225716","https://openalex.org/W942715473","https://openalex.org/W1565693361","https://openalex.org/W1994701759","https://openalex.org/W1998447124","https://openalex.org/W2034645154","https://openalex.org/W2055653965","https://openalex.org/W2059238947","https://openalex.org/W2083156974","https://openalex.org/W2134384958","https://openalex.org/W2343031766","https://openalex.org/W2745756257","https://openalex.org/W3203931103","https://openalex.org/W4205973993","https://openalex.org/W4210997442","https://openalex.org/W4213130966","https://openalex.org/W4237616102"],"related_works":["https://openalex.org/W2081976468","https://openalex.org/W2504237466","https://openalex.org/W3200682096","https://openalex.org/W2045432969","https://openalex.org/W1986625420","https://openalex.org/W2367269751","https://openalex.org/W62016554","https://openalex.org/W2990043628","https://openalex.org/W2050530663","https://openalex.org/W2393408796"],"abstract_inverted_index":{"Abstract":[0],"The":[1,72],"language":[2],"of":[3,12,24,57,67,69,77],"the":[4,19,22,37,78,84,91],"propositional":[5,13,32],"calculus":[6],"is":[7,34],"extended":[8,35],"by":[9,36,90],"two":[10],"families":[11],"probability":[14,38,43,65],"operators,":[15],"inductively":[16],"applicable":[17],"to":[18,54,62],"formulae,":[20],"and":[21],"set":[23],"all":[25],"formulae":[26],"provable":[27],"in":[28,49],"an":[29],"arbitrary":[30],"superintuitionistic":[31],"logic":[33],"measure":[39,66],"axioms":[40],"concerning":[41],"those":[42],"operators.":[44],"A":[45],"logical":[46,86],"system":[47],"obtained":[48],"such":[50],"a":[51,55,64,75],"way,":[52],"similar":[53],"kind":[56],"polymodal":[58],"logic,":[59],"makes":[60],"possible":[61,80],"express":[63],"truthfulness":[68],"any":[70],"formula.":[71],"paper":[73],"contains":[74],"description":[76],"Kripke\u2010type":[79],"worlds":[81],"semantics":[82],"covering":[83],"considered":[85],"systems,":[87],"being":[88],"followed":[89],"corresponding":[92],"completeness":[93],"results.":[94]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}