The inconsistency of certain formal logics
From MaRDI portal
Publication:5834323
Cited in
(37)- Non-reflexivity and revenge
- XI Latin American Symposium on Mathematical Logic
- Logical predictivism
- Logical consequence and the paradoxes
- Naive \textit{modus ponens}
- Russell's 1903 - 1905 Anticipation of the Lambda Calculus
- Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
- Computer implication and the Curry paradox
- A pragmatic dissolution of Curry's paradox
- Implied-Meaning Analysis of the Currian Conditional
- Restriction by noncontraction
- Recursive Predicates and Quantifiers
- scientific article; zbMATH DE number 7243677 (Why is no real title available?)
- Truth without contra(di)ction
- Paths to triviality
- Non-monotonic set theory as a pragmatic foundation of mathematics
- Paradoxes of Expression
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- From Paradox to Truth
- The justification of identity elimination in Martin-Löf's type theory
- Field's paradox and its medieval solution
- Paradoxes, intuitionism, and proof-theoretic semantics
- Logical paradoxes for many-valued systems
- Conditionals, curry, and consequence: embracing deduction
- Extensionality and restriction in naive set theory
- scientific article; zbMATH DE number 7226002 (Why is no real title available?)
- Inconsistency in natural languages
- Bunder's paradox
- Metalogic, Schopenhauer and universal logic
- A dialetheic interpretation of classical logic
- Identifying logical evidence
- A further consistent extension of basic logic
- External curries
- Toward useful type-free theories. I
- The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus
- Fusion and confusion
This page was built for publication: The inconsistency of certain formal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5834323)
