- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscriptdetails
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.Timothy Bowen - manuscriptdetails
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Minimalism, Reference, and Paradoxes.Picollo Lavinia - 2016 - In Lavinia Picollo (ed.), The Logica Yearbook 2015.details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns.Piero Pagliani & Mihir Chakraborty - 2008 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Математизирането на историята: число и битие.Vasil Penchev - 2013 - Sofia: BAS: ISSk (IPR).details
|
|
Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
|
|
Философия на квантовата информация.Vasil Penchev - 2009 - Sofia: BAS: IPhR.details
|
|
A Program to Compute G¨odel-L¨ob Fixpoints.Melvin Fitting - unknowndetails
|
|
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Further Reflections on Sentences Saying of Themselves Strange Things.Elia Zardini - 2017 - Logic and Logical Philosophy 26 (4):563-581.details
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.details
|
|
The Necessity of Mathematics.Juhani Yli-Vakkuri & John Hawthorne - 2020 - Noûs 54 (3):549-577.details
|
|
Passive induction and a solution to a Paris–Wilkie open question.Dan E. Willard - 2007 - Annals of Pure and Applied Logic 146 (2-3):124-149.details
|
|
A predicate calculus for intensional logic.Paul Weingartner - 1973 - Journal of Philosophical Logic 2 (2):220 - 303.details
|
|
Antinomies and paradoxes and their solutions.Paul Weingartner - 1990 - Studies in East European Thought 39 (3-4):313-331.details
|
|
Antinomies and paradoxes and their solutions.Paul Weingartner - 1990 - Studies in Soviet Thought 39 (3-4):313-331.details
|
|
Metamathematics and the philosophy of mind.Judson Webb - 1968 - Philosophy of Science 35 (June):156-78.details
|
|
Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.details
|
|
Transductions in arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.details
|
|
The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.details
|
|
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.details
|
|
Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.details
|
|
Transfinite Progressions: A Second Look At Completeness.Torkel Franzén - 2004 - Bulletin of Symbolic Logic 10 (3):367-389.details
|
|
A note on syntactical treatments of modality.Richmond H. Thomason - 1980 - Synthese 44 (3):391 - 395.details
|
|
Self-Reference, Self-Representation, and the Logic of Intentionality.Jochen Szangolies - 2023 - Erkenntnis 88 (6):2561-2590.details
|
|
The early history of formal diagonalization.C. Smoryński - 2023 - Logic Journal of the IGPL 31 (6):1203-1224.details
|
|
Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.details
|
|
Automated search for Gödel’s proofs.Wilfried Sieg & Clinton Field - 2005 - Annals of Pure and Applied Logic 133 (1):319-338.details
|
|
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details
|
|
The Medieval Theory of Consequence.Stephen Read - 2012 - Synthese 187 (3):899-912.details
|
|
Self-reference and validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.details
|
|
Field's Paradox and Its Medieval Solution.Stephen Read - 2010 - History and Philosophy of Logic 31 (2):161-176.details
|
|
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.details
|
|
Autocircumscription.Donald Perlis - 1988 - Artificial Intelligence 36 (2):223-236.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
An incompleteness theorem for β n -models.Carl Mummert & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (2):612-616.details
|
|
On the algebraization of a Feferman's predicate.Franco Montagna - 1978 - Studia Logica 37 (3):221 - 236.details
|
|
For everyn, then-freely generated algebra is not functionally free in the equational class of diagonalizable algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
|
|
Rescuing Poincaré from Richard’s Paradox.Laureano Luna - 2017 - History and Philosophy of Logic 38 (1):57-71.details
|
|
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.details
|
|
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.details
|
|
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.details
|
|