Výsledky vyhledávání - mathematik logic—logic and constraint programming general terms

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

Autoři: MILLER, DALE

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

Témata: 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.

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

Témata: 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.

Autoři: Holliday, Wesley H.

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

Témata: OPERATOR algebras, BOOLEAN algebra, SEMANTICS (Philosophy), SET theory, MODEL theory

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

Autoři: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier a další

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

Témata: PROOF theory, NONCLASSICAL mathematical logic, INTUITIONISTIC mathematics, CONDITIONALS (Logic)

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.

Autoři: Christiansen, Henning

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

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

Autoři: Benzmüller, Christoph Reiche, Sebastian

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

Témata: 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.

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

Témata: 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

Autoři: Sergei Artemov Anil Nerode

Resource Type: eBook.

Témata: 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.

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

Témata: MATHEMATICAL logic, MODEL theory, ANALYTIC functions, ENTHUSIASM

Korporace: 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)

Autoři: ALICIA PAZOS, MARÍA

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

Témata: 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.

Zdroj: 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.

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

Molecular Biology Meets Logic: Context-Sensitiveness in Focus.

Autoři: Boniolo, Giovanni D'Agostino, Marcello Piazza, Mario a další

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

Témata: PHILOSOPHY of science, LOGIC

On the Universality of Atomic and Molecular Logics via Protologics.

Autoři: Aucher, Guillaume

Zdroj: 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.

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

WEYL REEXAMINED: "DAS KONTINUUM" 100 YEARS LATER.

Autoři: AVRON, ARNON

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

Foundations of Fuzzy Logic and Semantic Web Languages

Autoři: Umberto Straccia

Resource Type: eBook.

Témata: 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.

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

Témata: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Korporace: ASSOCIATION for Symbolic Logic

Topological Logics with Connectedness over Euclidean Spaces.

Autoři: KONTCHAKOV, ROMAN NENOV, YAVOR PRATT-HARTMANN, IAN a další

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

Témata: 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).

Autoři: Leitgeb, Hannes

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

Témata: TRUTH functions (Mathematical logic), SEMANTICS, FINITE model theory, GRAPH theory, COMBINATORICS