- A contradiction and P=NP problem.Farzad Didehvar - details
- By considering Fuzzy time, P=BPP (P*=BPP*).Farzad Didehvar - manuscriptdetails
- Fuzzy Time, from Paradox to Paradox.Farzad Didehvar - manuscriptdetails
- A Theory Explains Deep Learning.Kenneth Kijun Lee & Chase Kihwan Lee - manuscriptdetails
- Explaining Experience In Nature: The Foundations Of Logic And Apprehension.Steven Ericsson-Zenith - forthcoming - Institute for Advanced Science & Engineering.details
- A virtual solution to the frame problem.Jonathan A. Waskan - forthcoming - Proceedings of the First IEEE-RAS International Conference on Humanoid Robots.details
- Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3 - 34.details
- Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Journal of Formal Languages 1:3-34.details
- Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3 - 34.details
- Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.details
- Seven Layers of Computation: Methodological Analysis and Mathematical Modeling.Mark Burgin & Rao Mikkililineni - 2022 - Filozofia i Nauka 10:11-32.details
- Self-referential theories.Samuel A. Alexander - 2020 - Journal of Symbolic Logic 85 (4):1687-1716.details
- Weaker variants of infinite time Turing machines.Matteo Bianchetti - 2020 - Archive for Mathematical Logic 59 (3-4):335-365.details
- Reseña de ' Los Límites Exteriores de la Razón '(The Outer Limits of Reason) por Noson Yanofsky 403p (2013) (revision revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 283-298.details
- The Significance of the Curry-Howard Isomorphism.Richard Zach - 2019 - In Gabriele M. Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin: De Gruyter. pp. 313-326.details
- Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm.Marco Cococcioni, Massimo Pappalardo & Yaroslav Sergeyev - 2018 - Applied Mathematics and Computation 318:298-311.details
- On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.details
- Consistency proof of a fragment of pv with substitution in bounded arithmetic.Yoriyuki Yamagata - 2018 - Journal of Symbolic Logic 83 (3):1063-1090.details
- Simple or complex bodies? Trade-offs in exploiting body morphology for control.Matej Hoffmann & Vincent C. Müller - 2017 - In Gordana Dodig-Crnkovic & Raffaela Giovagnoli (eds.), Representation of Reality: Humans, Other Living Organisms and Intelligent Machines. Berlin: Springer. pp. 335-345.details
- The social in the platform trap: Why a microscopic system focus limits the prospect of social machines.Markus Luczak-Roesch & Ramine Tinati - 2017 - Discover Society 40.details
- Lógicas multivalentes. Uma introdução matemática e computacional.Luis M. Augusto - 2016 - Dissertation, Universidade Abertadetails
- A universal socio-technical computing machine.Markus Luczak-Roesch, Ramine Tinati, Saud Aljaloud, Wendy Hall & Nigel Shadbolt - 2016 - In International Conference on Web Engineering.details
- Socio-technical computation.Markus Luczak-Roesch, Ramine Tinati, Kieron O'Hara & Nigel Shadbolt - 2015 - In Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing.details
- Info-computational Constructivism and Cognition.G. Dodig-Crnkovic - 2014 - Constructivist Foundations 9 (2):223-231.details
- Some jump-like operations in β-recursion theory.Colin G. Bailey - 2013 - Journal of Symbolic Logic 78 (1):57-71.details
- From the Closed Classical Algorithmic Universe to an Open World of Algorithmic Constellations.Mark Burgin & Gordana Dodig-Crnkovic - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 241--253.details
- On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.details
- The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Turing, Gödel, Church, and Beyond. MIT Press.details
- Single-tape and multi-tape Turing machines through the lens of the Grossone methodology.Yaroslav Sergeyev & Alfredo Garro - 2013 - Journal of Supercomputing 65 (2):645-663.details
- Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.details
- What is an algorithm.Yuri Gurevich - 2012 - Lecture Notes in Computer Science.details
- Intractability and the use of heuristics in psychological explanations.Iris Rooij, Cory Wright & Todd Wareham - 2012 - Synthese 187 (2):471-487.details
- Aspectos psico-bio-socio-culturales del lenguaje natural humano.Dante Roberto Salatino (ed.) - 2012 - Desktop Publishing Amazon.details
- Introduction to Mathematical Logic.Micha? Walicki - 2012 - New Jersey: World Scientific.details
- Higher order numerical differentiation on the Infinity Computer.Yaroslav Sergeyev - 2011 - Optimization Letters 5 (4):575-585.details
- Numerical computations and mathematical modelling with infinite and infinitesimal numbers.Yaroslav Sergeyev - 2009 - Journal of Applied Mathematics and Computing 29:177-195.details
- What a course on philosophy of computing is not.Vincent C. Müller - 2008 - APA Newsletter on Philosophy and Computers 8 (1):36-38.details
- Jump Operator and Yates Degrees.Guohua Wu - 2006 - Journal of Symbolic Logic 71 (1):252 - 264.details
- A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.details
- On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.details
- Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.details
- Strong normalization of a symmetric lambda calculus for second-order classical logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.details
- Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Cambridge University Press.details
- Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.details
- Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.details
- John von Neumann and the Origins of Modern Computing by William Aspray. [REVIEW]Michael Mahoney - 1993 - Isis 84:408-409.details
- First order logic with empty structures.Mohamed A. Amer - 1989 - Studia Logica 48 (2):169 - 177.details
- Papers of John von Neumann on Computing and Computer Theory by John von Neumann; William Aspray; Arthur Burks. [REVIEW]David Allison - 1987 - Isis 78:603-603.details
- The metatheory of the classical propositional calculus is not axiomatizable.Ian Mason - 1985 - Journal of Symbolic Logic 50 (2):451-457.details
- Discontinuities of provably correct operators on the provably recursive real numbers.William J. Collins & Paul Young - 1983 - Journal of Symbolic Logic 48 (4):913-920.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|