Pages that link to "Item:Q5834323"
From MaRDI portal
The following pages link to The inconsistency of certain formal logics (Q5834323):
Displaying 35 items.
- Restriction by noncontraction (Q286710) (← links)
- Paths to triviality (Q300832) (← links)
- Non-monotonic set theory as a pragmatic foundation of mathematics (Q301346) (← links)
- Naive \textit{modus ponens} (Q373022) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- External curries (Q496329) (← links)
- The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911) (← links)
- Computer implication and the Curry paradox (Q704044) (← links)
- Logical predictivism (Q830365) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- Fusion and confusion (Q1708463) (← links)
- Non-reflexivity and revenge (Q2078982) (← links)
- A pragmatic dissolution of Curry's paradox (Q2169129) (← links)
- The justification of identity elimination in Martin-Löf's type theory (Q2288279) (← links)
- Inconsistency in natural languages (Q2443339) (← links)
- TRUTH WITHOUT CONTRA(DI)CTION (Q3224045) (← links)
- Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I (Q3255342) (← links)
- (Q3300788) (← links)
- BUNDER’S PARADOX (Q3389494) (← links)
- Field's Paradox and Its Medieval Solution (Q3590052) (← links)
- Toward useful type-free theories. I (Q3691666) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- Russell's 1903 - 1905 Anticipation of the Lambda Calculus (Q4448890) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- Implied-Meaning Analysis of the Currian Conditional (Q4983347) (← links)
- Metalogic, Schopenhauer and Universal Logic (Q5118392) (← links)
- (Q5119396) (← links)
- Paradoxes of Expression (Q5213761) (← links)
- A Dialetheic Interpretation of Classical Logic (Q5259655) (← links)
- A further consistent extension of basic logic (Q5796577) (← links)
- Logical paradoxes for many-valued systems (Q5825663) (← links)
- Recursive Predicates and Quantifiers (Q5843994) (← links)
- Identifying logical evidence (Q6067304) (← links)
- From Paradox to Truth (Q6487234) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)
