Výsledky vyhledávání - "PREDICATE calculus"

Introduction to the special issue ‘Truth and Quantification into Sentence Position’.

Autoři: De Rizzo, Julio Kölbel, Max

Zdroj: Inquiry. Oct2025, p1-5. 5p.

Témata: PREDICATE calculus, RESEARCH questions, SCHOLARLY publishing, CERTAINTY, EXPLANATION

The Politics of Governance by Quantification Infrastructure.

Autoři: Liu, Jun Liu, Chuncheng

Zdroj: Critical Sociology (Sage Publications, Ltd.). Sep2025, Vol. 51 Issue 6, p1241-1245. 5p.

Témata: *DIGITAL technology, *PREDICATE calculus, *SOCIOLOGY, *NUMERACY, *STATISTICS

Styling Imagery of Self-Propelled Harvester Based on Kansei Engineering.

Autoři: Sha Liu Xiaohan Guo Yi Liu a další

Zdroj: Traitement du Signal. Oct2024, Vol. 41 Issue 5, p2693-2699. 7p.

Témata: *ENGINEERING design, *INDUSTRIAL design, *INDUSTRIAL engineering, PREDICATE calculus, PRINCIPAL components analysis

Logical reduction of relations: From relational databases to Peirce's reduction thesis.

Autoři: Koshkin, Sergiy¹ (AUTHOR) koshkins@uhd.edu

Zdroj: Logic Journal of the IGPL. Oct2024, Vol. 32 Issue 5, p779-809. 31p.

Témata: *LOGIC, *RELATIONAL databases, RELATION algebras, PREDICATE calculus, CONSTRAINT satisfaction

Graphs and lattices in the early versions of Ramon Llull's Art.

Autoři: Bonner, A. Planas Mulet, P.J. Badia, L.

Zdroj: Historia Mathematica. Mar2025, Vol. 70, p31-52. 22p.

Témata: *LATTICE theory, *PREDICATE calculus, *GRAPH theory, *COMBINATORICS, *ART colleges

People: LLULL, Ramon, ca. 1235-1315

Generics are not existentially quantified.

Autoři: Lemeire, Olivier Heylen, Jan Vignero, Leander

Zdroj: Mind & Language; Nov2025, Vol. 40 Issue 5, p527-542, 16p

Témata: GENERALIZATION, SEMANTICS, PREDICATE calculus

A unified semantics for distributive and non-distributive universal quantifiers across languages.

Autoři: Haslinger, Nina Hien, Alain Noindonmon Rosina, Emil Eva a další

Zdroj: Natural Language & Linguistic Theory; Nov2025, Vol. 43 Issue 4, p3147-3214, 68p

Témata: SEMANTICS, QUANTIFIERS (Linguistics), PREDICATE calculus, MORPHOSYNTAX, INTERPRETATION (Philosophy)

Towards neural-network-guided program synthesis and verification.

Autoři: Kobayashi, Naoki Sekiyama, Taro Sato, Issei a další

Zdroj: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p222-254, 33p

Témata: ARTIFICIAL neural networks, COMPUTER software correctness, MODEL validation, CODE generators, PREDICATE calculus, CONSTRAINT satisfaction

Exact Predicates, Exact Constructions and Combinatorics for Mesh CSG.

Autoři: LEVY, BRUNO

Zdroj: ACM Transactions on Graphics; Oct2025, Vol. 44 Issue 5, p1-27, 27p

Témata: SOLID geometry, BOOLEAN expressions, PREDICATE calculus, GEOMETRIC modeling

Computer Chrysippus' Conditional and Extensional Intersection.

Autoři: López‐Astorga, Miguel

Zdroj: Theoria: A Swedish Journal of Philosophy; Oct2025, Vol. 91 Issue 5, p1-6, 6p

Témata: STOICS, CONFIDENCE, PREDICATE calculus, MATHEMATICAL constants

People: CHRYSIPPUS, ca. 280 B.C.-207 or 6 B.C.

Hamilton's cumular conception of quantifying particles: an exercise in third-order logic Open Access.

Autoři: Makinson, David

Zdroj: Journal of Logic & Computation; Oct2025, Vol. 35 Issue 7, p1-30, 30p

Témata: FIRST-order logic, LOGIC, PREDICATE calculus, PREDICATE (Logic), MATHEMATICAL logic

A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic.

Autoři: Shtakser, Gennady

Zdroj: Journal of Logic, Language & Information; Oct2025, Vol. 34 Issue 3/4, p241-272, 32p

Témata: MODAL logic, PROPOSITION (Logic), SEMANTICS, NONCLASSICAL mathematical logic, DECIDABILITY (Mathematical logic), PREDICATE calculus

Fuzzy Neural Networks That Change Their Configuration.

Autoři: Kosovskaya, T. M.¹ (AUTHOR) kosovtm@gmail.com

Zdroj: Programming & Computer Software. 2024 Suppl 1, Vol. 50, pS10-S17. 8p.

Témata: *OBJECT recognition (Computer vision), *PREDICATE calculus, *COMMONS, *COMPUTATIONAL complexity, *OCCUPATIONAL retraining

Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols.

Autoři: Kosovskaya, T. M. Zhou, J.

Zdroj: Programming & Computer Software. 2024 Suppl 1, Vol. 50, pS1-S9. 9p.

Témata: *PREDICATE calculus, *ARTIFICIAL intelligence, *COMMONS, *ISOMORPHISM (Mathematics), *COMPUTATIONAL complexity

Developing a novel spectrophotometric method for estimating Venlafaxine cyclic impurity in pharmaceutical formulations.

Autoři: Laxmaiah, Bhaskar Besagarahally Pillai, Anil Kumar Sasidharan

Zdroj: AIP Conference Proceedings. 2024, Vol. 3171 Issue 1, p1-6. 6p.

Témata: *VENLAFAXINE, *PREDICATE calculus, *DETECTION limit

Ripple effect quantification by supplier risk exposure assessment.

Autoři: Kinra, Aseem Ivanov, Dmitry Das, Ajay a další

Zdroj: International Journal of Production Research. Sep2020, Vol. 58 Issue 18, p5559-5578. 20p. 3 Diagrams, 4 Charts, 3 Graphs.

Témata: *RISK exposure, *RISK assessment, *SUPPLIERS, *SUPPLY chains, *SUPPLY chain disruptions, PREDICATE calculus

SET-THEORETIC BICONTEXTUALISM.

Autoři: SCHMITT, SIMON

Zdroj: Legal Theory; Sep2025, Vol. 31 Issue 3, p826-858, 33p

Témata: SET theory, PARADOX, SEMANTICS methodology, RELATIVITY, PREDICATE calculus, CERTAINTY, PERSPECTIVE (Philosophy)

Statistical Imaginaries, State Legitimacy: Grappling With the Arrangements Underpinning Quantification in the U.S. Census.

Autoři: Sarathy, Jayshree boyd, danah

Zdroj: Critical Sociology (Sage Publications, Ltd.); Sep2025, Vol. 51 Issue 6, p1267-1288, 22p

Témata: LEGITIMACY of governments, CENSUS, STAKEHOLDERS, STATISTICAL matching, PREDICATE calculus

Trusting by Numbers: An Analysis of a Chinese Social Credit System Governance Infrastructure.

Autoři: Liu, Chuncheng Rona-Tas, Akos

Zdroj: Critical Sociology (Sage Publications, Ltd.); Sep2025, Vol. 51 Issue 6, p1247-1265, 19p

Témata: SOCIAL Credit System (China), SOCIAL stratification, PREDICATE calculus, IDEOLOGY

Geografický termín: CHINA

Objectual Quantifier Theory.

Autoři: Kirkpatrick, James Ravi Lewerentz, Lukas

Zdroj: Journal of Philosophical Logic; Aug2025, Vol. 54 Issue 4, p793-855, 63p

Témata: QUANTIFIERS (Linguistics), NATURAL languages, THEORISTS, PREDICATE calculus