- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Descriptions in Mathematical Logic.Gerard R. Renardel - 1984 - Studia Logica 43 (3):281-294.details
|
|
Probabilist antirealism.Igor Douven, Leon Horsten & Jan-Willem Romeijn - 2010 - Pacific Philosophical Quarterly 91 (1):38-63.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.details
|
|
La deriva genética como fuerza evolutiva.Ariel Jonathan Roffé - 2015 - In J. Ahumada, N. Venturelli & S. Seno Chibeni (eds.), Selección de Trabajos del IX Encuentro AFHIC y las XXV Jornadas de Epistemología e Historia de la ciencia. pp. 615-626.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
Anticipation and the artificial: aesthetics, ethics, and synthetic life. [REVIEW]Mihai Nadin - 2010 - AI and Society 25 (1):103-118.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
A Referential Theory of Truth and Falsity.İlhan İnan - 2022 - New York, NY, USA: Routledge.details
|
|
Definition: A practical guide to constructing and evaluating definitions of terms.David Hitchcock - 2021 - Windsor, ON: Windsor Studies in Argumentation.details
|
|
Critique of Impure Reason: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Paradoxes.Piotr Łukowski - 2011 - Dordrecht and New York: Springer.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Arguing on the Toulmin Model: New Essays in Argument Analysis and Evaluation.David Hitchcock & Bart Verheij (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Cut Elimination in Categories.Kosta Došen - 1999 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Vagueness as Arbitrariness: Outline of a Theory of Vagueness.Sagid Salles - 2021 - Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Grundlagen der Arithmetik, §17: Part 1. Frege’s Anticipation of the Deduction Theorem.Göran Sundholm - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 53-84.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Open texture, rigor, and proof.Benjamin Zayton - 2022 - Synthese 200 (4):1-20.details
|
|
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.details
|
|
The two modes of identifying objects: descriptive and holistic for concrete objects; recursive and ostensive for abstract objects.Miriam L. Yevick - 1978 - Behavioral and Brain Sciences 1 (2):253-254.details
|
|
Recursively Enumerable Sets and Retracing Functions.C. E. M. Yates - 1962 - Mathematical Logic Quarterly 8 (3‐4):331-345.details
|
|
Recursively Enumerable Sets and Retracing Functions.C. E. M. Yates - 1962 - Mathematical Logic Quarterly 8 (3-4):331-345.details
|
|
Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem.Ann Yasuhara - 1974 - Mathematical Logic Quarterly 20 (8-12):121-132.details
|
|
Structure Theory for Projective Sets in the Plane With Countable Sections.Yutaka Yasuda - 1986 - Mathematical Logic Quarterly 32 (31-34):481-501.details
|
|
Two types of deflationism.Aladdin M. Yaqub - 2008 - Synthese 165 (1):77-106.details
|
|
Paradox, truth and logic part I: Paradox and truth.Peter W. Woodruff - 1984 - Journal of Philosophical Logic 13 (2):213 - 232.details
|
|
Computability of Minimizers and Separating Hyperplanes.Kam-Chau Wong - 1996 - Mathematical Logic Quarterly 42 (1):564-568.details
|
|
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.details
|
|
Esquisse d'un modèle des activités cognitives.H. Wermus - 1978 - Dialectica 32 (3‐4):317-338.details
|
|
Token relativism and the Liar.A. Weir - 2000 - Analysis 60 (2):156-170.details
|
|
What Is an Inconsistent Truth Table?Zach Weber, Guillermo Badia & Patrick Girard - 2016 - Australasian Journal of Philosophy 94 (3):533-548.details
|
|
The diagrams of formulas of the intuitionistic propositional calculus.Anita Wasilewska - 1973 - Studia Logica 32 (1):109 - 115.details
|
|
Some new results on PCL1 and its related systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.details
|
|
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.details
|
|
The defective conditional in mathematics.Mathieu Vidal - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):169-179.details
|
|
Reply to Touretzky and Pomerleau: Reconstructing Physical Symbol Systems.Alonso H. Vera & Herbert A. Simon - 1994 - Cognitive Science 18 (2):355-360.details
|
|
Nice Embedding in Classical Logic.Peter Verdée & Diderik Batens - 2016 - Studia Logica 104 (1):47-78.details
|
|
Head or tail? de morgan on the bounds of traditional logic.Víctor Sánchez Valencia - 1997 - History and Philosophy of Logic 18 (3):123-138.details
|
|
Williamson’s Abductive Case for the Material Conditional Account.Robert van Rooij, Karolina Krzyżanowska & Igor Douven - 2023 - Studia Logica 111 (4):653-685.details
|
|