{"id":"https://openalex.org/W1986884618","doi":"https://doi.org/10.1007/s005000000065","title":"Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions","display_name":"Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions","publication_year":2001,"publication_date":"2001-02-01","ids":{"openalex":"https://openalex.org/W1986884618","doi":"https://doi.org/10.1007/s005000000065","mag":"1986884618"},"language":"en","primary_location":{"id":"doi:10.1007/s005000000065","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s005000000065","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","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/A5001677214","display_name":"Ivan Kramosil","orcid":null},"institutions":[{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"funder","lineage":["https://openalex.org/I202391551"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"I. Kramosil","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, 18207 Prague 8, Czech Republic","Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, 18207 Prague 8, Czech Republic E-mail: kramosil@uivt.cas.cz, , CZ"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, 18207 Prague 8, Czech Republic","institution_ids":["https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, 18207 Prague 8, Czech Republic E-mail: kramosil@uivt.cas.cz, , CZ","institution_ids":["https://openalex.org/I202391551"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5001677214"],"corresponding_institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210155092"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13230681,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"1","first_page":"45","last_page":"57"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9900000095367432,"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"}},"topics":[{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9900000095367432,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9785000085830688,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9749000072479248,"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/infimum-and-supremum","display_name":"Infimum and supremum","score":0.9242655038833618},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7866309881210327},{"id":"https://openalex.org/keywords/unit-interval","display_name":"Unit interval","score":0.6612374782562256},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.626799464225769},{"id":"https://openalex.org/keywords/predicate-transformer-semantics","display_name":"Predicate transformer semantics","score":0.6140692830085754},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.5976895093917847},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.522491991519928},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48132622241973877},{"id":"https://openalex.org/keywords/total-order","display_name":"Total order","score":0.4560950994491577},{"id":"https://openalex.org/keywords/real-number","display_name":"Real number","score":0.45355895161628723},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44310498237609863},{"id":"https://openalex.org/keywords/predicate-variable","display_name":"Predicate variable","score":0.4321787655353546},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.41268596053123474},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.35587000846862793},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3261159062385559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30985864996910095},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.2828741669654846},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2661857008934021},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.21803736686706543},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.1750604808330536},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14621815085411072},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.09891146421432495}],"concepts":[{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.9242655038833618},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7866309881210327},{"id":"https://openalex.org/C128394911","wikidata":"https://www.wikidata.org/wiki/Q1987578","display_name":"Unit interval","level":2,"score":0.6612374782562256},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.626799464225769},{"id":"https://openalex.org/C30128091","wikidata":"https://www.wikidata.org/wiki/Q291929","display_name":"Predicate transformer semantics","level":4,"score":0.6140692830085754},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.5976895093917847},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.522491991519928},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48132622241973877},{"id":"https://openalex.org/C144901957","wikidata":"https://www.wikidata.org/wiki/Q369377","display_name":"Total order","level":3,"score":0.4560950994491577},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.45355895161628723},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44310498237609863},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.4321787655353546},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.41268596053123474},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.35587000846862793},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3261159062385559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30985864996910095},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2828741669654846},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2661857008934021},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.21803736686706543},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.1750604808330536},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14621815085411072},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.09891146421432495},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"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/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s005000000065","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s005000000065","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2018616641","https://openalex.org/W2101634098","https://openalex.org/W2383908587","https://openalex.org/W1986884618","https://openalex.org/W4293278854","https://openalex.org/W2129585631","https://openalex.org/W1573152858","https://openalex.org/W4205208303","https://openalex.org/W1979159285","https://openalex.org/W4255026600"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}