Search Results - (( mathematical logic and algorithm theory ) OR ( mathematik logic and algorithm theory ))

A Short Note on the Early History of the Spectrum Problem and Finite Model Theory.

Authors: Reichenberger, Andrea

Source: History & Philosophy of Logic; May2025, Vol. 46 Issue 2, p287-296, 10p

Subject Terms: FINITE model theory, MATHEMATICS, MATHEMATICAL logic, COMPUTER science, COMPUTATIONAL mathematics

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

Mathematical Logic: Proof Theory, Constructive Mathematics.

Source: Oberwolfach Reports; 2023, Vol. 20 Issue 4, p3013-3061, 48p

Subject Terms: PROOF theory, MATHEMATICAL logic, MATHEMATICAL proofs, CONSTRUCTIVE mathematics, COMPUTER science

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)

2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p672-695, 24p

Subject Terms: COMPUTATIONAL complexity, MATHEMATICAL equivalence, PROPOSITION (Logic), SET theory

Company/Entity: ASSOCIATION for Symbolic Logic

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Authors: Igor Lavrov Larisa Maksimova G. Corsi

Resource Type: eBook.

Subjects: Set theory--Problems, exercises, etc, Logic, Symbolic and mathematical--Problems, exer, Algorithms--Problems, exercises, etc

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, MATHEMATICS / Algebra / General, PHILOSOPHY / Logic

Discordium Mathematica A Symphony in Aleph-minor -Or, a Vision in a Dream, fragmented….

Authors: Fafat, Vijay

Source: Journal of Humanistic Mathematics; Jul2024, Vol. 14 Issue 2, p618-682, 65p

Subject Terms: TOPOLOGY, MATHEMATICAL logic, PHILOSOPHY of mathematics, MYTHOLOGY, GRAPH theory, ITCHING, MATHEMATICAL notation

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting).

Source: Oberwolfach Reports; 2021, p1693-1757, 65p

Subject Terms: MATHEMATICAL logic, ABSTRACT algebra, PROOF theory, LOGIC, COMPUTATIONAL mechanics

Logical metatheorems for accretive and (generalized) monotone set-valued operators.

Authors: Pischke, Nicholas

Source: Journal of Mathematical Logic; Aug2024, Vol. 24 Issue 2, p1-59, 59p

Subject Terms: MONOTONE operators, NONLINEAR functional analysis, MATHEMATICAL logic, OPERATOR theory, FUNCTION spaces, FUNCTIONAL analysis

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

Steps Toward a Philosophy for Mathematicians.

Authors: Fenstad, Jens Erik

Source: Mathematical Intelligencer; Mar2023, Vol. 45 Issue 1, p42-49, 8p

Subject Terms: MATHEMATICIANS, MATHEMATICAL logic, HILBERT'S tenth problem, MATHEMATICAL ability, PHILOSOPHY of mathematics, CANTOR sets, NUMBER systems

A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF $\mathbb {Q}$.

Authors: EISENTRÄGER, KIRSTEN MILLER, RUSSELL SPRINGER, CALEB et al.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p626-655, 30p

Subject Terms: TOPOLOGICAL groups, POLYNOMIALS, DEFINABILITY theory (Mathematical logic), SET theory, SUBSET selection

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous.

Authors: Rybakov, Vladimir V.

Source: Fundamenta Informaticae; 2007, Vol. 81 Issue 1-3, p297-313, 17p

Subject Terms: DECIDABILITY (Mathematical logic), ALGORITHMS, INFERENCE (Logic), MATHEMATICAL logic, FINITE model theory

NON-STANDARD ANALYSIS REVISITED: AN EASY AXIOMATIC PRESENTATION ORIENTED TOWARDS NUMERICAL APPLICATIONS.

Authors: BENCI, VIERI COCOCCIONI, MARCO FIASCHI, LORENZO

Source: International Journal of Applied Mathematics & Computer Science; 2022, Vol. 32 Issue 1, p65-80, 16p

Subject Terms: NONSTANDARD mathematical analysis, MATHEMATICAL logic, MODEL theory, MARKOV processes, MATRIX decomposition, AXIOMATIC design

An Invitation to Higher Arity Science.

Authors: Zapata-Carratalá, Carlos Arsiwalla, Xerxes D.

Source: Complex Systems; 2024, Vol. 32 Issue 4, p409-468, 60p

Subject Terms: MATHEMATICAL logic, ALGEBRA, MATHEMATICAL category theory, HYPERGRAPHS, MATHEMATICS

Long and Short Proofs.

Authors: Calude, Cristian S. Staiger, Ludwig

Source: CDMTCS Research Report Series; Mar2022, Issue 561, p1-12, 12p

Subject Terms: PROOF theory, MATHEMATICAL logic, MATHEMATICAL formulas, MATHEMATICAL models, MATHEMATICAL analysis

Introduction to Mathematical Logic

Authors: Mendelson, Elliott

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical

Categories: COMPUTERS / Programming / Algorithms, MATHEMATICS / General, MATHEMATICS / Set Theory

Treatise on Intuitionistic Type Theory

Authors: Johan Georg Granström

Resource Type: eBook.

Subjects: Knowledge, Theory of, Mathematical logic, Computer science, Logic, Philosophy—History, Algorithms

Categories: PHILOSOPHY / Epistemology, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Logic, PHILOSOPHY / History & Surveys / General, PHILOSOPHY / Logic

Optimization of second shortest path for multicommodity network flow without intermediate storage.

Authors: Beniwal, Gautam Rizwanullah, Mohammad

Source: AIP Conference Proceedings; 2023, Vol. 2768 Issue 1, p1-9, 9p

Subject Terms: MATHEMATICAL logic, PHYSICAL distribution of goods, STORAGE, MULTICASTING (Computer networks)

Boundedness theorems for flowers and sharps.

Authors: Aguilera, J. P. Freund, A. Rathjen, M. et al.

Source: Proceedings of the American Mathematical Society; Sep2022, Vol. 150 Issue 9, p3973-3988, 16p

Subject Terms: MATHEMATICAL logic, SET theory, REAL numbers, FLOWERS, LOGIC, PROOF theory