The following pages link to (Q5807658):
Displaying 29 items.
- A new reading of Archytas' doubling of the cube and its implications (Q256592) (← links)
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Deductive reasoning in the structuralist approach (Q383572) (← links)
- Identification of probabilities (Q514153) (← links)
- Sentential connectives and translation (Q535379) (← links)
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
- Holographic or Fourier logic (Q1227734) (← links)
- Fregean grammar: A formal outline (Q1260031) (← links)
- `Identity' as a mereological term (Q1708805) (← links)
- Propositions, representation, and truth (Q2052154) (← links)
- Combinatory logic with polymorphic types (Q2144609) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- Creative and non-creative definitions in the calculus of probability (Q2523564) (← links)
- On proper quantifiers. I (Q2540261) (← links)
- Eigentliche Klassen als Urelemente in der Mengenlehre (Q2626593) (← links)
- A brief history of negation (Q2638193) (← links)
- The categoricity question of certain grand logics (Q2651477) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS (Q2873496) (← links)
- ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE (Q2940871) (← links)
- R. M. Martin’s Logic of Belief (Q2963981) (← links)
- Unification of universes in set theory (Q3235354) (← links)
- On the relative consistency of set theory (Q3235355) (← links)
- A Set Theory Founded on Unique Generating Principle (Q3246551) (← links)
- A theory of restricted quantification I (Q3249762) (← links)
- Schemata: The Concept of Schema in the History of Logic (Q3430938) (← links)
- ALGEBRAIC NEW FOUNDATIONS (Q5222536) (← links)
