Výsledky vyhľadávania - (mathematik OR matematika) logic—logic and constraint programming general terms

POSSIBILITY FRAMES AND FORCING FOR MODAL LOGIC.

Autori: Holliday, Wesley H.

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

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

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

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

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

Autori: MILLER, DALE

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

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

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

Autori: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier a ďalší

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

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

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.

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

Autori: Benzmüller, Christoph Reiche, Sebastian

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

Predmety: 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

Predmety: 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

Autori: Sergei Artemov Anil Nerode

Typ zdroja: eBook.

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

Kategórie: 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

Predmety: MATHEMATICAL logic, MODEL theory, ANALYTIC functions, ENTHUSIASM

Korporácia: ASSOCIATION for Symbolic Logic

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

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

Korporácia: 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)

Autori: ALICIA PAZOS, MARÍA

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

Predmety: LOGIC, NORMATIVITY (Ethics), PLURALISM, REASON, INFERENCE (Logic)

Foundations of Fuzzy Logic and Semantic Web Languages

Autori: Umberto Straccia

Typ zdroja: eBook.

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

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

Molecular Biology Meets Logic: Context-Sensitiveness in Focus.

Autori: Boniolo, Giovanni D'Agostino, Marcello Piazza, Mario a ďalší

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

Predmety: PHILOSOPHY of science, 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

On the Universality of Atomic and Molecular Logics via Protologics.

Autori: Aucher, Guillaume

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

WEYL REEXAMINED: "DAS KONTINUUM" 100 YEARS LATER.

Autori: AVRON, ARNON

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

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

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

Autori: Leitgeb, Hannes

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

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

Topological Logics with Connectedness over Euclidean Spaces.

Autori: KONTCHAKOV, ROMAN NENOV, YAVOR PRATT-HARTMANN, IAN a ďalší

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

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