Search Results - mathematik logic—logic AND constraint programming general terms

A Survey of the Proof-Theoretic Foundations of Logic Programming.

Authors: MILLER, DALE

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p859-904, 46p

Subject Terms: LOGIC programming, PROOF theory, FIRST-order logic, PROGRAMMING languages

2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p580-614, 35p

Subject Terms: MATHEMATICAL proofs, COMPUTER logic, PHILOSOPHY of science, MATHEMATICAL logic, DISCRETE mathematics, WORD problems (Mathematics), RAMSEY numbers, PROOF theory, KOLMOGOROV complexity

POSSIBILITY FRAMES AND FORCING FOR MODAL LOGIC.

Authors: Holliday, Wesley H.

Source: Australasian Journal of Logic; 2025, Vol. 22 Issue 2, p44-288, 245p

Subject Terms: OPERATOR algebras, BOOLEAN algebra, SEMANTICS (Philosophy), SET theory, MODEL theory

INTERNAL AND EXTERNAL CALCULI: ORDERING THE JUNGLE WITHOUT BEING LOST IN TRANSLATIONS.

Authors: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier et al.

Source: Bulletin of the Section of Logic; Mar2025, Vol. 54 Issue 1, p59-151, 93p

Subject Terms: PROOF theory, NONCLASSICAL mathematical logic, INTUITIONISTIC mathematics, CONDITIONALS (Logic)

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.

Authors: Christiansen, Henning

Source: Constraint Handling Rules (9783540922421); 2008, p85-118, 34p

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.

Authors: Benzmüller, Christoph Reiche, Sebastian

Source: Journal of Logic & Computation; Sep2023, Vol. 33 Issue 6, p1243-1269, 27p

Subject Terms: MODAL logic, LOGIC, ANNOUNCEMENTS

2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022.

Source: Bulletin of Symbolic Logic; Dec2022, Vol. 28 Issue 4, p566-606, 41p

Subject Terms: MATHEMATICAL logic, MATHEMATICAL variables, GRADUATE students, PHILOSOPHY of mathematics, SET theory

Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Authors: Sergei Artemov Anil Nerode

Resource Type: eBook.

Subjects: Machine theory, Computer arithmetic and logic units, Computer science, Artificial intelligence, Compilers (Computer programs), Computer programming

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, COMPUTERS / Programming / General

THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26–31, 2022.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p703-724, 22p

Subject Terms: MATHEMATICAL logic, MODEL theory, ANALYTIC functions, ENTHUSIASM

Company/Entity: ASSOCIATION for Symbolic Logic

REASON NATURALIZED (AN EMPIRICAL JUSTIFICATION OF LOGIC).

Alternate Title: LA RAZÓN NATURALIZADA (UNA JUSTIFICACIÓN EMPÍRICA DE LA LÓGICA). (Spanish)

Authors: ALICIA PAZOS, MARÍA

Source: Revista Colombiana de Filosofia de la Ciencia; jul-dec2023, Vol. 23 Issue 47, p221-253, 33p

Subject Terms: LOGIC, NORMATIVITY (Ethics), PLURALISM, REASON, INFERENCE (Logic)

2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2019 Prague, Czech Republic August 11–16, 2019.

Source: Bulletin of Symbolic Logic; Dec2019, Vol. 25 Issue 4, p481-530, 50p

2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 Udine, Italy July 23–28, 2018.

Source: Bulletin of Symbolic Logic; Jun2019, Vol. 25 Issue 2, p223-273, 51p

Molecular Biology Meets Logic: Context-Sensitiveness in Focus.

Authors: Boniolo, Giovanni D'Agostino, Marcello Piazza, Mario et al.

Source: Foundations of Science; Mar2023, Vol. 28 Issue 1, p307-325, 19p, 4 Diagrams

Subject Terms: PHILOSOPHY of science, LOGIC

On the Universality of Atomic and Molecular Logics via Protologics.

Authors: Aucher, Guillaume

Source: Logica Universalis; Jun2022, Vol. 16 Issue 1/2, p285-322, 38p

2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017.

Source: Bulletin of Symbolic Logic; Jun2018, Vol. 24 Issue 2, p211-277, 67p

WEYL REEXAMINED: "DAS KONTINUUM" 100 YEARS LATER.

Authors: AVRON, ARNON

Source: Bulletin of Symbolic Logic; Mar2020, Vol. 26 Issue 1, p26-79, 54p

Foundations of Fuzzy Logic and Semantic Web Languages

Authors: Umberto Straccia

Resource Type: eBook.

Subjects: Semantic Web, Programming languages (Electronic computers), Fuzzy logic

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / General

2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015.

Source: Bulletin of Symbolic Logic; Sep2016, Vol. 22 Issue 3, p366-435, 70p

Subject Terms: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Company/Entity: ASSOCIATION for Symbolic Logic

Topological Logics with Connectedness over Euclidean Spaces.

Authors: KONTCHAKOV, ROMAN NENOV, YAVOR PRATT-HARTMANN, IAN et al.

Source: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-48, 48p

Subject Terms: TOPOLOGICAL spaces, EUCLIDEAN geometry, PROGRAMMING languages, BOOLEAN algebra, ARTIFICIAL intelligence, MATHEMATICAL proofs, DIMENSIONS

HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes).

Authors: Leitgeb, Hannes

Source: Journal of Philosophical Logic; Apr2019, Vol. 48 Issue 2, p305-405, 101p

Subject Terms: TRUTH functions (Mathematical logic), SEMANTICS, FINITE model theory, GRAPH theory, COMBINATORICS