Works matching DE "COMPUTABILITY logic"

Results: 74

Emulating cellular automata in chemical reaction-diffusion networks.

Published in:

Natural Computing, 2016, v. 15, n. 2, p. 197, doi. 10.1007/s11047-015-9503-8

By:

Scalise, Dominic;
Schulman, Rebecca

Publication type:

Article

The computational capability of chemical reaction automata.

Published in:

Natural Computing, 2016, v. 15, n. 2, p. 215, doi. 10.1007/s11047-015-9504-7

By:

Okubo, Fumiya;
Yokomori, Takashi

Publication type:

Article

The existence of strongly computable representations in the class of Boolean algebras.

Published in:

Doklady Mathematics, 2012, v. 86, n. 1, p. 469, doi. 10.1134/S1064562412040084

By:

Leontyeva, M.

Publication type:

Article

Beyond Physics? On the Prospects of Finding a Meaningful Oracle.

Published in:

Foundations of Science, 2014, v. 19, n. 4, p. 403, doi. 10.1007/s10699-014-9349-z

By:

Edis, Taner;
Boudry, Maarten

Publication type:

Article

Ramsey-type graph coloring and diagonal non-computability.

Published in:

Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 899, doi. 10.1007/s00153-015-0448-5

By:

Patey, Ludovic

Publication type:

Article

The taming of recurrences in computability logic through cirquent calculus, Part I.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 173, doi. 10.1007/s00153-012-0313-8

By:

Japaridze, Giorgi

Publication type:

Article

The taming of recurrences in computability logic through cirquent calculus, Part II.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 213, doi. 10.1007/s00153-012-0314-7

By:

Japaridze, Giorgi

Publication type:

Article

From mathematical logic to programming-language semantics: a discussion with Tony Hoare.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 4, p. 1091, doi. 10.1093/logcom/exs071

By:

DAYLIGHT, EDGAR G.

Publication type:

Article

Two-to-one structures.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 6, p. 1195, doi. 10.1093/logcom/ext040

By:

Cenzer, Douglas;
Harizanov, Valentina;
Remmel, Jeffrey B.

Publication type:

Article

Spectra of highn and non-lown degrees.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 755, doi. 10.1093/logcom/exq041

By:

Frolov, Andrey;
Kalimullin, Iskander;
Harizanov, Valentina;
Kudinov, Oleg;
Miller, Russell

Publication type:

Article

Low linear orderings.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 745, doi. 10.1093/logcom/exq040

By:

Frolov, Andrey N.

Publication type:

Article

Computability in Specification.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 6, p. 841, doi. 10.1093/logcom/exl012

By:

Raymond, Turner

Publication type:

Article

Some structural properties of quasi-degrees.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx058

By:

OMANADZE, ROLAND SH.

Publication type:

Article

A propositional system induced by Japaridze's approach to IF logic.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 982

By:

Xu, Wenyan

Publication type:

Article

On the equational theory of representable polyadic equality algebras (extended abstract).

Published in:

Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 3, doi. 10.1093/jigpal/6.1.3

By:

Nemeti, I;
Sagi, G

Publication type:

Article

Human-Effective Computability †.

Published in:

Philosophia Mathematica, 2019, v. 27, n. 1, p. 61, doi. 10.1093/philmat/nky011

By:

Marfori, Marianna Antonutti;
Horsten, Leon

Publication type:

Article

Church's Thesis: Logic, Mind and Nature.

Published in:: 2016
Publication type:: Book Review

Church's Thesis: Prelude to a Proof.

Published in:

Philosophia Mathematica, 1998, v. 6, n. 3, p. 302, doi. 10.1093/philmat/6.3.302

By:

FOLINA, JANET

Publication type:

Article

On Computability and Triviality of Well Groups.

Published in:

Discrete & Computational Geometry, 2016, v. 56, n. 1, p. 126, doi. 10.1007/s00454-016-9794-2

By:

Franek, Peter;
Krčál, Marek

Publication type:

Article

ON THE QUESTION OF WHETHER THE MIND CAN BE MECHANIZED, I: FROM GÖDEL TO PENROSE.

Published in:

Journal of Philosophy, 2018, v. 115, n. 7, p. 337

By:

KOELLNER, PETER

Publication type:

Article

Comments on some theories of fuzzy computation.

Published in:

International Journal of General Systems, 2016, v. 45, n. 4, p. 372, doi. 10.1080/03081079.2015.1076403

By:

Gerla, Giangiacomo

Publication type:

Article

A game-semantic model of computation.

Published in:

Research in the Mathematical Sciences, 2018, v. 6, n. 1, p. 1, doi. 10.1007/s40687-018-0163-z

By:

Yamada, Norihiro

Publication type:

Article

Neutrosophic Computability and Enumeration.

Published in:

Symmetry (20738994), 2018, v. 10, n. 11, p. 643, doi. 10.3390/sym10110643

By:

Çevik, Ahmet;
Topal, Selçuk;
Smarandache, Florentin

Publication type:

Article

Denjoy, Demuth and density.

Published in:

Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500044

By:

Bienvenu, Laurent;
Hölzl, Rupert;
Miller, Joseph S.;
Nies, André

Publication type:

Article

AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 2, p. 717, doi. 10.1017/jsl.2017.78

By:

DOWNEY, ROD;
STEPHENSON, JONATHAN

Publication type:

Article

A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 326, doi. 10.1017/jsl.2017.50

By:

MILLER, RUSSELL;
POONEN, BJORN;
SCHOUTENS, HANS;
SHLAPENTOKH, ALEXANDRA

Publication type:

Article

COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 77, doi. 10.1017/jsl.2016.12

By:

Harrison-Trainor, Matthew;
Melnikov, Alexander;
Miller, Russell;
Montalbán, Antonio

Publication type:

Article

FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1225, doi. 10.1017/jsl.2016.23

By:

MILLER, RUSSELL;
NG, KENG MENG

Publication type:

Article

COMPARING TWO VERSIONS OF THE REALS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1115, doi. 10.1017/jsl.2015.77

By:

IGUSA, G.;
KNIGHT, J. F.

Publication type:

Article

COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY.

Published in:

Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 859, doi. 10.1017/jsl.2013.33

By:

IANOVSKI, EGOR;
MILLER, RUSSELL;
KENG MENG NG;
NIES, ANDRÉ

Publication type:

Article

A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES.

Published in:

Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 633, doi. 10.1017/jsl.2013.1

By:

SLAMAN, THEODORE A.;
SORBI, ANDREA

Publication type:

Article

NONEXISTENCE OF MINIMAL PAIRS FOR GENERIC COMPUTABILITY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 2, p. 511, doi. 10.2178/jsl.7802090

By:

IGUSA, GREGORY

Publication type:

Article

On Q.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 1, p. 39, doi. 10.1007/s00500-016-2341-5

By:

Visser, Albert

Publication type:

Article

Computability, Notation, and de re Knowledge of Numbers.

Published in:

Philosophies, 2022, v. 7, n. 1, p. 1, doi. 10.3390/philosophies7010020

By:

Shapiro, Stewart;
Snyder, Eric;
Samuels, Richard

Publication type:

Article

Computational Thinking Skills of Turkish and Indian Teacher Candidates: A Comparative Study.

Published in:

Psychological & Educational Studies Review, 2021, v. 8, n. 1, p. 24, doi. 10.17220/ijpes.2021.8.1.226

By:

ÇAKIR, Recep;
ROSALİNE, Salini;
KORKMAZ, Özgen

Publication type:

Article

Trans-algorithmic nature of learning in biological systems.

Published in:

Biological Cybernetics, 2018, v. 112, n. 4, p. 357, doi. 10.1007/s00422-018-0757-y

By:

Shimansky, Yury P.

Publication type:

Article

Preface.

Published in:

Theory of Computing Systems, 2018, v. 62, n. 7, p. 1553, doi. 10.1007/s00224-018-9853-6

By:

Downey, Rod;
Hirschfeldt, Denis;
Kjos-Hanssen, Bjørn

Publication type:

Article

Lifeworld art: on Husserl's Crisis book and beyond.

Published in:

Continental Philosophy Review, 2022, v. 55, n. 4, p. 417, doi. 10.1007/s11007-022-09586-9

By:

Figal, Günter

Publication type:

Article

Perfect Local Computability of Superatomic Boolean Algebras.

Published in:

Journal of Mathematical Sciences, 2015, v. 211, n. 6, p. 789, doi. 10.1007/s10958-015-2634-8

By:

Luppov, D.

Publication type:

Article

Anthologie de la calculabilité: edited by J. Mosconi and M. Bourdeau, Paris, Cassini, 2022, xviii + 798 pp., €50, (hardback) ISBN 978-2-84225-094-2.

Published in:

2024

By:

Cantù, P.

Publication type:

Book Review

Hobson's Conception of Definable Numbers.

Published in:

History & Philosophy of Logic, 2020, v. 41, n. 2, p. 128, doi. 10.1080/01445340.2020.1731784

By:

Fan, Zhao

Publication type:

Article

Counterpossibles in Science: The Case of Relative Computability.

Published in:

Nous (0029-4624), 2018, v. 52, n. 3, p. 530, doi. 10.1111/nous.12177

By:

Jenny, Matthias

Publication type:

Article

A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS.

Published in:

Review of Symbolic Logic, 2012, v. 5, n. 4, p. 679, doi. 10.1017/S1755020312000160

By:

ARDESHIR, MOHAMMAD;
RAMEZANIAN, RASOUL

Publication type:

Article

Weakly precomplete computably enumerable equivalence relations.

Published in:

Mathematical Logic Quarterly, 2016, v. 62, n. 1/2, p. 111, doi. 10.1002/malq.201500057

By:

Badaev, Serikzhan;
Sorbi, Andrea

Publication type:

Article

Computable Diagonalizations and Turing's Cardinality Paradox.

Published in:

Journal for General Philosophy of Science, 2014, v. 45, n. 2, p. 239, doi. 10.1007/s10838-014-9244-x

By:

Jacquette, Dale

Publication type:

Article

Sufficient Conditions for Decidability of Boolean Algebras.

Published in:

Journal of Mathematical Sciences, 2013, v. 195, n. 6, p. 827, doi. 10.1007/s10958-013-1621-1

By:

Leont’eva, M. N

Publication type:

Article

Processes and Structures on Approximation Spaces.

Published in:

Algebra & Logic, 2017, v. 56, n. 1, p. 63, doi. 10.1007/s10469-017-9426-9

By:

Stukachev, A.

Publication type:

Article

Generalized Hyperarithmetical Computability Over Structures.

Published in:

Algebra & Logic, 2017, v. 55, n. 6, p. 507, doi. 10.1007/s10469-017-9421-1

By:

Stukachev, A.

Publication type:

Article

Sessions of the Seminar 'Algebra i Logika'.

Published in:: Algebra & Logic, 2014, v. 53, n. 4, p. 352, doi. 10.1007/s10469-014-9295-4
Publication type:: Article