## Found 17,067 Documents (Results 1–100)

100
MathJax

### David Hilbert’s lectures on the foundations of arithmetic and logic 1894–1917 (to appear). (English)Zbl 06750649

Berlin: Springer (ISBN 978-3-540-20605-7/hbk). 690 p. (2023).

MSC:  03-XX
Full Text:

### On a mathematical contradiction to rethink associativity and commutativity for infinite series and infinite products. (English)Zbl 07549714

MSC:  03-XX 13-XX
Full Text:

MSC:  90-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

### Takeuti’s well-ordering proof: an accessible reconstruction. (English)Zbl 07549301

MSC:  03-XX
Full Text:

MSC:  03-08 62-08
Full Text:

Full Text:

### Fuzzy-logic model for feasibility study of project implementation: project’s investment risk. (English)Zbl 07547162

MSC:  91Bxx 90Cxx 03Exx
Full Text:

### Construction of 2-uninorms on bounded lattices. (English)Zbl 07547159

MSC:  03Exx 03Bxx 03-XX
Full Text:

### A note on divisible discrete triangular norms. (English)Zbl 07547151

MSC:  03Bxx 03Exx 03-XX
Full Text:

### Distributivity laws for quasi-linear means. (English)Zbl 07547146

MSC:  03Exx 03Bxx 91Bxx
Full Text:

### Ordered regular pointed semigroups with biggest associates. (English)Zbl 07546745

MSC:  20-XX 03-XX
Full Text:

### Interactive unawareness in the graph model for multilateral conflicts. (English)Zbl 07545979

MSC:  91Axx 91Bxx 03Bxx
Full Text:

### Proceedings of the 10th international conference on non-classical logics. Theory and applications, Łódź, Poland, March 14–18, 2022. (English)Zbl 07545245

Electronic Proceedings in Theoretical Computer Science (EPTCS) 358. Waterloo: Open Publishing Association (OPA). 309 p. (2022).
MSC:  03-06 03Bxx 00B25
Full Text:

### Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23–24, 2021. (English)Zbl 07545244

Electronic Proceedings in Theoretical Computer Science (EPTCS) 357. Waterloo: Open Publishing Association (OPA). 111 p., electronic only, open access (2022).
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

### Logic and verification of product configuration in the automotive industry. (English)Zbl 07543891

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 387-408 (2022).
Full Text:

### The Braga method: extracting certified algorithms from complex recursive schemes in Coq. (English)Zbl 07543890

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 305-386 (2022).
Full Text:

### An Ad-Hoc semantics to study structural properties of types. (English)Zbl 07543889

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 267-303 (2022).
Full Text:

### Formal topology and univalent foundations. (English)Zbl 07543888

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 255-266 (2022).
Full Text:

### A uniform characterization of $$\Sigma_1$$-reflection over the fragments of Peano arithmetic. (English)Zbl 07543887

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 189-253 (2022).
Full Text:

### Generalized spaces for constructive algebra. (English)Zbl 07543886

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 99-187 (2022).
Full Text:

### From intuitionistic mathematics to point-free topology. (English)Zbl 07543885

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 55-98 (2022).
Full Text:

### Conceptions of proof from aristotle to Gentzen’s calculi. (English)Zbl 07543884

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 33-54 (2022).
Full Text:

### Proof and computation: perspectives for mathematics, computer science, and philosophy. (English)Zbl 07543883

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 1-32 (2022).
Full Text:

### Periodic groups with dense spectrum. (English. Russian original)Zbl 07541947

Algebra Logic 60, No. 6, 433-439 (2022); translation from Algebra Logika 60, No. 6, 647-657 (2021).
MSC:  03-XX 20-XX
Full Text:

### The homology of the lamplighter Lie algebra. (English. Russian original)Zbl 07541946

Algebra Logic 60, No. 6, 425-432 (2022); translation from Algebra Logika 60, No. 6, 636-646 (2021).
MSC:  03-XX 20-XX
Full Text:

### Modal bilattice logic and its extensions. (English. Russian original)Zbl 07541945

Algebra Logic 60, No. 6, 407-424 (2022); translation from Algebra Logika 60, No. 6, 612-635 (2021).
MSC:  03-XX 20-XX
Full Text:

### Virtual algebraic isomorphisms between predicate calculi of finite rich signatures. (English. Russian original)Zbl 07541944

Algebra Logic 60, No. 6, 389-406 (2022); translation from Algebra Logika 60, No. 6, 587-611 (2021).
MSC:  03-XX 20-XX
Full Text:

### Complexity of the problem of being equivalent to Horn formulas. (English. Russian original)Zbl 07541943

Algebra Logic 60, No. 6, 380-388 (2022); translation from Algebra Logika 60, No. 6, 575-586 (2021).
MSC:  03-XX 20-XX
Full Text:

### Groups saturated with finite Frobenius groups with complements of even order. (English. Russian original)Zbl 07541942

Algebra Logic 60, No. 6, 375-379 (2022); translation from Algebra Logika 60, No. 6, 569-574 (2021).
MSC:  03-XX 20-XX
Full Text:

### New examples of binary Lie superalgebras and algebras. (English. Russian original)Zbl 07541941

Algebra Logic 60, No. 6, 366-374 (2022); translation from Algebra Logika 60, No. 6, 557-568 (2021).
MSC:  03-XX 20-XX
Full Text:

### Periodic groups saturated with finite simple groups $$L_4(q)$$. (English. Russian original)Zbl 07541940

Algebra Logic 60, No. 6, 360-365 (2022); translation from Algebra Logika 60, No. 6, 549-556 (2021).
MSC:  03-XX 20-XX
Full Text:

### Fields of algebraic numbers computable in polynomial time. II. (English. Russian original)Zbl 07541939

Algebra Logic 60, No. 6, 349-359 (2022); translation from Algebra Logika 60, No. 6, 533-548 (2021).
MSC:  03-XX 20-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

### Completeness of the hyperarithmetic isomorphism equivalence relation. (English)Zbl 07534683

MSC:  03Dxx 03Cxx 03-XX
Full Text:

### $$\lambda$$-quiddité sur $$\mathbb{Z}[\alpha]$$ avec $$\alpha$$ transcendant. (French)Zbl 07534594

MSC:  03-XX 57-XX
Full Text:

### Vagueness and thought. Reprint of the 2018 hardback edition. (English)Zbl 07533308

Oxford Philosophical Monographs. Oxford: Oxford University Press (ISBN 978-0-19-285608-1/pbk). xviii, 340 p. (2022).
MSC:  03-02 03A05 00A30
Full Text:

### Complexity of distances: reductions of distances between metric and Banach spaces. (English)Zbl 07533141

MSC:  51Kxx 03-XX 53Cxx
Full Text:

### Definable convolution and idempotent Keisler measures. (English)Zbl 07533138

MSC:  03Cxx 05Dxx 03-XX
Full Text:

### Type-2 fuzzy numbers made simple in decision making. (English)Zbl 07531752

MSC:  03Exx 03-XX 47Axx
Full Text:

### Mathematical rigor and proof. (English)Zbl 07531431

MSC:  00A30 00A35 03A05
Full Text:

### Discrete mathematics. (English)Zbl 07531375

Zürich: vdf Hochschulverlag AG an der ETH Zürich (ISBN 978-3-7281-4109-5/pbk; 978-3-7281-4110-1/ebook). 160 p., open access (2022).
Full Text:

### $$q$$-rung orthopair fuzzy sets. Theory and applications (to appear). (English)Zbl 07529465

Cham: Springer (ISBN 978-981-19-1448-5/hbk). xviii, 560 p. (2022).

### Gödel’s incompleteness theorems. (English)Zbl 07527562

Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-108-98699-1/pbk; 978-1-108-98197-2/ebook). 80 p. (2022).
MSC:  03-01 03F40
Full Text:

### The law of cosines with differential calculus and without. (English)Zbl 07525730

MSC:  26-XX 03-XX
Full Text:

### MACD indicator with the modified signal line and trading weight inference in fuzzy environment. (English)Zbl 07524244

MSC:  91G10 90C70
Full Text:

### Copies from “Standard set theory”? A note on the foundations of minimalist syntax in reaction to Chomsky, Gallego and Ott (2019). (English)Zbl 07524062

MSC:  03-XX 68-XX
Full Text:

### Anaphoric conservativity. (English)Zbl 07524061

MSC:  03-XX 68-XX
Full Text:

### Ambiguity advantage under meaning activation. (English)Zbl 07524060

MSC:  03-XX 68-XX
Full Text:

### Nonmonotonic reasoning, expectations orderings, and conceptual spaces. (English)Zbl 07524059

MSC:  03-XX 68-XX
Full Text:

### Logical foundations for hybrid type-logical grammars. (English)Zbl 07524058

MSC:  03-XX 68-XX
Full Text:

### Relational syllogisms with numerical quantifiers and beyond. (English)Zbl 07524057

MSC:  03-XX 68-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

MSC:  03-XX
Full Text:

### Epistemological study of mathematical inequalities. (Estudo epistemológico das desigualdades matemáticas.) (Portuguese. English summary)Zbl 07523157

MSC:  03-XX 01-XX
Full Text:

MSC:  03-XX
Full Text:

### Incompleteness and logic. (English)Zbl 1485.03003

Rome: Aracne Editrice (ISBN 979-12-5994-846-5/pbk; 979-12-5994-867-0/ebook). 204 p. (2022).

### One-class-based intelligent classifier for detecting anomalous situations during the anesthetic process. (English)Zbl 07517097

MSC:  03-XX 68-XX
Full Text:

### Improving wearable-based fall detection with unsupervised learning. (English)Zbl 07517096

MSC:  03-XX 68-XX
Full Text:

### Distal learning of the incremental capacity curve of a LiFePO$$_4$$ battery. (English)Zbl 07517095

MSC:  03-XX 68-XX
Full Text:

### Practical approach in verification of security systems using satisfiability modulo theories. (English)Zbl 07517094

MSC:  03-XX 68-XX
Full Text:

### Test case prioritization – ANT algorithm with faults severity. (English)Zbl 07517093

MSC:  03-XX 68-XX
Full Text:

### Modeling the turbulent wake behind a wall-mounted square cylinder. (English)Zbl 07517092

MSC:  03-XX 68-XX
Full Text:

### Generation of synthetic data with conditional generative adversarial networks. (English)Zbl 07517091

MSC:  03-XX 68-XX
Full Text:

### The impact of different system call representations on intrusion detection. (English)Zbl 07517090

MSC:  03-XX 68-XX
Full Text:

### Uncertainty estimation in the forecasting of the $$^{222}Rn$$ radiation level time series at the Canfranc underground laboratory. (English)Zbl 07517089

MSC:  03-XX 68-XX
Full Text:

### The effect of iterative learning control on the force control of a hydraulic cushion. (English)Zbl 07517088

MSC:  03-XX 68-XX
Full Text:

### John Venn. A life in logic. (English)Zbl 07516528

Cambridge, MA: MIT Press (ISBN 978-0-226-81551-0/hbk; 978-0-226-81552-7/ebook). 448 p. (2022).
MSC:  03-03 01A70

### Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. (English)Zbl 07514197

Lecture Notes in Computer Science 13206. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-030-98478-6/pbk; 978-3-030-98479-3/ebook). xvi, 355 p. (2022).
Full Text:

Full Text:

Full Text:

Full Text:

### Peirce’s Dragon-Head logic (R 501, 1901). (English)Zbl 07510670

MSC:  01A60 03-03
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3

all top 3