- Making Conditional Speech Acts in the Material Way.Matheus Silva - manuscriptdetails
|
|
Practical Knowledge: Outlines of a Theory of Traditions and Skills.J. C. Nyíri & Barry Smith (eds.) - 1988 - Croom Helm.details
|
|
Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing.William J. Rapaport - 2012 - International Journal of Signs and Semiotic Systems 2 (1):32-71.details
|
|
Metainferential duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.details
|
|
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.details
|
|
On Jaśkowski's Discussive Logics.Newton C. A. da Costa & Francisco A. Doria - 1995 - Studia Logica 54 (1):33 - 60.details
|
|
On Ja?kowski's discussive logics.Newton C. A. Costa & Francisco A. Doria - 1995 - Studia Logica 54 (1):33-60.details
|
|
Turing's O-machines, Searle, Penrose and the brain.B. J. Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Turing's o-machines, Searle, Penrose, and the brain.Jack Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.details
|
|
Herbrand style proof procedures for modal logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.details
|
|
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.details
|
|
A different conjunction fallacy.Nicolao Bonini, Katya Tentori & Daniel Osherson - 2004 - Mind and Language 19 (2):199–210.details
|
|
Language for a causal conditional logic foundations and objectives.Pierre Basso - 1988 - Journal of Indian Philosophy 16 (2):123-166.details
|
|
Numerical evaluation of the validity of experimental proofs in biology.G. Albrecht-Buehler - 1976 - Synthese 33 (1):283 - 312.details
|
|
Simulation Methods for an Abductive System in Science.Tom Addis, Jan Townsend Addis, Dave Billinge, David Gooding & Bart-Floris Visscher - 2008 - Foundations of Science 13 (1):37-52.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
First-Order Logic with Adverbs.Tristan Grøtvedt Haze - forthcoming - Logic and Logical Philosophy:1-36.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
The conjunction fallacy: a misunderstanding about conjunction?Daniel Osherson - 2004 - Cognitive Science 28 (3):467-477.details
|
|
The Logic and Meaning of Plurals. Part I.Byeong-Uk Yi - 2005 - Journal of Philosophical Logic 34 (5-6):459-506.details
|
|
König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.details
|
|
What is Experimental Philosophy of Mathematics?Kazuhisa Todayama - 2015 - Annals of the Japan Association for Philosophy of Science 23:53-58.details
|
|
Algorithmic Measurement Procedures.Aldo F. G. Solis-Labastida & Jorge G. Hirsch - 2020 - Foundations of Physics 50 (8):749-763.details
|
|
Frege's Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence.Nicholas J. J. Smith - 2009 - Philosophy Compass 4 (4):639-665.details
|
|
The nature of entailment: an informational approach.Yaroslav Shramko & Heinrich Wansing - 2019 - Synthese 198 (S22):5241-5261.details
|
|
First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.details
|
|
A simple irredundance test for tautological sequents.Joachim SchrÖder - 1997 - Erkenntnis 46 (2):175-183.details
|
|
Epistemological implications of economic complexity.J. Barkley Rosser - 2004 - Annals of the Japan Association for Philosophy of Science 13 (1):45-57.details
|
|
Evolution of cognition: Towards the theory of origin of human logic. [REVIEW]Vladimir G. Red'ko - 2000 - Foundations of Science 5 (3):323-338.details
|
|
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.details
|
|
A note on cut-elimination for classical propositional logic.Gabriele Pulcini - 2022 - Archive for Mathematical Logic 61 (3):555-565.details
|
|
Axiomatization of non-associative generalisations of Hájek's BL and psBL.Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (1):1-15.details
|
|
Logic and Natural Selection.Jaroslav Peregrin - 2010 - Logica Universalis 4 (2):207-223.details
|
|
‘Fregean’ logic and ‘Russellian’ logic.Jaroslav Peregrin - 2000 - Australasian Journal of Philosophy 78 (4):557 – 574.details
|
|
Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.details
|
|
La historia y la gramática de la recursión: una precisión desde la obra de Wittgenstein.Sergio Mota - 2014 - Pensamiento y Cultura 17 (1):20-48.details
|
|
What about the unconscious?Chris Mortensen - 1999 - Behavioral and Brain Sciences 22 (1):162-162.details
|
|
A complementaridade segundo N. Bohr : pelas relações qu'nticas e pelos fundamentos = Complementariness according to Bohr : quantum relations and foundations.Ramiro Délio Borges de Meneses - 2013 - Endoxa 31:47.details
|
|
What's new here?Bruce Mangan - 1999 - Behavioral and Brain Sciences 22 (1):160-161.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
The Problem of Rational Knowledge.Mark Jago - 2013 - Erkenntnis (S6):1-18.details
|
|
The Problem of Rational Knowledge.Mark Jago - 2014 - Erkenntnis 79 (Suppl 6):1151-1168.details
|
|
Multiple forms of Gentzen's rules and some intermediate logics.Z. Šikić - 1984 - Mathematical Logic Quarterly 30 (19‐24):335-338.details
|
|
Multiple Forms of Gentzen's Rules and Some Intermediate Logics.Z. Šikić - 1984 - Mathematical Logic Quarterly 30 (19-24):335-338.details
|
|
What an Algorithm Is.Robin K. Hill - 2016 - Philosophy and Technology 29 (1):35-59.details
|
|
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.details
|
|
Analogue Models and Universal Machines. Paradigms of Epistemic Transparency in Artificial Intelligence.Hajo Greif - 2022 - Minds and Machines 32 (1):111-133.details
|
|
A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.details
|
|