Search Results - "Combinatory logic"

Realizability in ordered combinatory algebras with adjunction.

Authors: SANTOS, WALTER FERRER GUILLERMO, MAURICIO MALHERBE, OCTAVIO

Source: Mathematical Structures in Computer Science. Mar2019, Vol. 29 Issue 3, p430-464. 35p.

On the likelihood of normalization in combinatory logic.

Authors: BENDKOWSKI, MACIEJ GRYGIEL, KATARZYNA ZAIONC, MAREK

Source: Journal of Logic & Computation. Oct2017, Vol. 27 Issue 7, p2251-2269. 19p.

Subjects: Combinatory logic, Likelihood ratio tests, Asymptotic normality, Lambda calculus, Mathematical notation

Subassembly generation algorithm from a CAD model.

Authors: Belhadj, Imen Trigui, Moez Benamara, Abdelmajid

Source: International Journal of Advanced Manufacturing Technology. Dec2016, Vol. 87 Issue 9-12, p2829-2840. 12p.

Subjects: Computer-aided design, Combinatory logic, Problem solving, Matrices (Mathematics), Mathematical models

A Novel Approach by Injecting CCG Supertags into an Arabic-English Factored Translation Machine.

Authors: Rajeh, Hamdi Li, Zhiyong Ayedh, Abdullah

Source: Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ). Aug2016, Vol. 41 Issue 8, p3071-3080. 10p.

Subjects: Combinatory logic, Grammar, Computer software

Sistemi Combinatori L'Ordine nel Comportamento Collettivo.

Authors: Mella, Piero¹ piero.mella@unipv.it

Source: Economia Aziendale Online. 2017, Vol. 8 Issue 4, p205-225. 21p.

ON A PERIODIC PART OF PSEUDO-BCI-ALGEBRAS.

Authors: DYMEK, GRZEGORZ¹ gdymek@o2.pl

Source: Discussiones Mathematicae: General Algebra & Applications. 2015, Vol. 35 Issue 2, p139-157. 19p.

Subjects: Geometric connections, Combinatory logic, Functional programming languages, Noncommutative algebras, Field extensions (Mathematics)

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.

Authors: BAAZ, MATTHIAS PREINING, NORBERT

Source: Journal of Logic & Computation. Aug2008, Vol. 18 Issue 4, p649-668. 20p.

Subjects: Mathematical logic, Combinatory logic, Mathematics, Computer software correctness, Logic machines, Model theory, Metamathematics, Set theory

On the Hierarchy of Intuitionistic Bounded Arithmetic.

Authors: MONIRI, MORTEZA¹ ezmoniri@gmail.com

Source: Journal of Logic & Computation. Aug2008, Vol. 18 Issue 4, p625-630. 6p.

Subjects: Mathematical logic, Combinatory logic, Nonclassical mathematical logic, Computer logic, Constructive mathematics, Polynomials, Algebra

Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification.

Authors: RYBAKOV, V.¹ v.rybakov@mmu.ac.uk

Source: Journal of Logic & Computation. Aug2008, Vol. 18 Issue 4, p509-519. 11p.

Subjects: Mathematical logic, Combinatory logic, Logic machines, Nonclassical mathematical logic, Model theory, Set theory

A Note on Absolutely Unorderable Combinatory Algebras.

Authors: Lusin, Stefania Salibra, Antonino

Source: Journal of Logic & Computation. Aug2003, Vol. 13 Issue 4, p481-502. 22p.

Subjects: Combinatory logic, Algebra, Axioms, Lambda calculus, Function algebras, Mathematical analysis

DNA Tiles, Wang Tiles and Combinators.

Authors: Bellia, Marco Occhiuto, M. Eugenia

Source: Fundamenta Informaticae. 2014, Vol. 133 Issue 2-3, p105-121. 17p.

Subjects: Combinatory logic, Combinatorics, Programming languages, Set theory, Nonclassical mathematical logic

The threshold for d-collapsibility in random complexes*.

Authors: Aronshtam, L. Linial, N.

Source: Random Structures & Algorithms. Mar2016, Vol. 48 Issue 2, p260-269. 11p.

THEORIZING THE MULTIPLICITY OF DIGITAL PHENOMENA: THE ECOLOGY OF CONFIGURATIONS, CAUSAL RECIPES, AND GUIDELINES FOR APPLYING QCA.

Authors: YoungKi Park Fiss, Peer C. El Sawy, Omar A.

Source: MIS Quarterly; Dec2020, Vol. 44 Issue 4, p1493-1520, 28p, 3 Diagrams, 8 Charts, 3 Graphs

Abstraction in Fitch's Basic Logic.

Authors: Updike, EricThomas¹ (AUTHOR) etupdike@yahoo.com

Source: History & Philosophy of Logic. Aug2012, Vol. 33 Issue 3, p215-243. 29p. 1 Diagram.

A solution to Curry and Hindley’s problem on combinatory strong reduction.

Authors: Minari, Pierluigi¹ minari@unifi.it

Source: Archive for Mathematical Logic. Apr2009, Vol. 48 Issue 2, p159-184. 26p.

LEVEL GENERATING TREES AND PROPER RIORDAN ARRAYS.

Authors: Baccherini, D. Merlini, D. Sprugnoli, R.

Source: Applicable Analysis & Discrete Mathematics. Apr2008, Vol. 2 Issue 1, p69-91. 23p. 18 Diagrams, 1 Chart.

Bio-Logic: Gene Expression and the Laws of Combinatorial Logic.

Authors: Schilstra, Maria J. Nehaniv, Chrystopher L.

Source: Artificial Life. Winter2008, Vol. 14 Issue 1, p121-133. 13p. 2 Diagrams, 2 Charts, 1 Graph.

Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.

Authors: Bimbó, Katalin¹ kbimbo@linuxmail.org

Source: Journal of Philosophical Logic. Oct/Dec2005, Vol. 34 Issue 5/6, p607-620. 14p.

Consumption and digital commodities in the everyday.

Authors: Poster, Mark¹

Source: Cultural Studies. Mar/May2004, Vol. 18 Issue 2/3, p409-423. 15p.

Analytic combinatory calculi and the elimination of transitivity.

Authors: Minari, Pierluigi¹ minari@philos.unifi.it

Source: Archive for Mathematical Logic. Feb2004, Vol. 43 Issue 2, p159-191. 33p.