The following pages link to Outstanding Contributions to Logic (Q261506):
Displaying 50 items.
- Russellian Propositions in Principia Mathematica (Q5027250) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- Comments on the Contributions (Q5027252) (← links)
- Memories of Hilary Putnam (Q5214671) (← links)
- Bibliography of Hilary Putnam’s Writings in Logic and Mathematics (Q5214672) (← links)
- Logic, Counterexamples, and Translation (Q5214673) (← links)
- Putnam’s Theorem on the Complexity of Models (Q5214674) (← links)
- Extendability and Paradox (Q5214675) (← links)
- The Metaphysics of the Model-Theoretic Arguments (Q5214677) (← links)
- Normativity and Mechanism (Q5214678) (← links)
- Changing the Subject: Quine, Putnam and Waismann on Meaning-Change, Logic, and Analyticity (Q5214679) (← links)
- Putnam on Foundations: Models, Modals, Muddles (Q5214680) (← links)
- Pragmatic Platonism (Q5214681) (← links)
- Abstraction, Axiomatization and Rigor: Pasch and Hilbert (Q5214682) (← links)
- Concrete Mathematical Incompleteness: Basic Emulation Theory (Q5214683) (← links)
- Putnam’s Constructivization Argument (Q5214684) (← links)
- Putnam on Mathematics as Modal Logic (Q5214685) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- Feferman on Computability (Q5214780) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Tiered Arithmetics (Q5214784) (← links)
- Predicativity and Regions-Based Continua (Q5214785) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Sameness (Q5214794) (← links)
- Gödel, Nagel, Minds, and Machines (Q5214795) (← links)
- A Brief Note on Gödel, Nagel, Minds, and Machines (Q5214796) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- Feferman’s Skepticism About Set Theory (Q5214798) (← links)
- Graham Priest on Dialetheism and Paraconsistency (Q5229801) (← links)
- The Freedoms of (Guarded) Bisimulation (Q5249664) (← links)
- Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective (Q5249665) (← links)
- Schema Mappings: A Case of Logical Dynamics in Database Theory (Q5249666) (← links)
- On Dependence Logic (Q5249667) (← links)
- Intensionality, Definability and Computation (Q5249668) (← links)
- Comparing Theories: The Dynamics of Changing Vocabulary (Q5249669) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Belief Revision and Dynamic Logic (Q5249671) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- Logic and Learning (Q5249673) (← links)
- A Computational Learning Semantics for Inductive Empirical Knowledge (Q5249674) (← links)
- Structures for Epistemic Logic (Q5249675) (← links)
