The inconsistency of certain formal logics
From MaRDI portal
Publication:5834323
DOI10.2307/2269292zbMath0060.02209OpenAlexW2041887887WikidataQ56139865 ScholiaQ56139865MaRDI QIDQ5834323
Publication date: 1942
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2269292
Related Items
Logical predictivism, Restriction by noncontraction, Recursive Predicates and Quantifiers, Paths to triviality, Non-monotonic set theory as a pragmatic foundation of mathematics, Unnamed Item, Systems of illative combinatory logic complete for first-order propositional and predicate calculus, A pragmatic dissolution of Curry's paradox, Naive \textit{modus ponens}, TRUTH WITHOUT CONTRA(DI)CTION, Identifying logical evidence, Metalogic, Schopenhauer and Universal Logic, Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I, Fusion and confusion, Inconsistency in natural languages, The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction, Logical consequence and the paradoxes, External curries, Extensionality and restriction in naive set theory, Computer implication and the Curry paradox, Field's Paradox and Its Medieval Solution, XI Latin American Symposium on Mathematical Logic, The justification of identity elimination in Martin-Löf's type theory, Paradoxes of Expression, A further consistent extension of basic logic, Russell's 1903 - 1905 Anticipation of the Lambda Calculus, Unnamed Item, BUNDER’S PARADOX, Implied-Meaning Analysis of the Currian Conditional, Logical paradoxes for many-valued systems, Non-reflexivity and revenge, A Dialetheic Interpretation of Classical Logic, Toward useful type-free theories. I
