Variations on a theme of Curry

DOI10.1305/NDJFL/1143468315MaRDI QIDQ2505136zbMATH OpenOpenAlexFDO

Authors Lloyd Humberstone

Publication date 4 October 2006

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1143468315

zbMATH Keywords

fixed-pointsconservative extensionclassical propositional logicCurry's paradoxtruth functionsBCI logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Curry's paradox and \(\omega \)-inconsistency
• Natural deduction and Curry's paradox
• External curries
• Fusion and confusion
• When Curry met Abel

Cites work

• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 4172950 (Why is no real title available?)
• scientific article; zbMATH DE number 3889528 (Why is no real title available?)
• scientific article; zbMATH DE number 3861158 (Why is no real title available?)
• scientific article; zbMATH DE number 3867327 (Why is no real title available?)
• scientific article; zbMATH DE number 3877142 (Why is no real title available?)
• scientific article; zbMATH DE number 4135919 (Why is no real title available?)
• scientific article; zbMATH DE number 4137752 (Why is no real title available?)
• scientific article; zbMATH DE number 4010513 (Why is no real title available?)
• scientific article; zbMATH DE number 4039858 (Why is no real title available?)
• scientific article; zbMATH DE number 4053575 (Why is no real title available?)
• scientific article; zbMATH DE number 3536007 (Why is no real title available?)
• scientific article; zbMATH DE number 3637825 (Why is no real title available?)
• scientific article; zbMATH DE number 465605 (Why is no real title available?)
• scientific article; zbMATH DE number 1028816 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 2063228 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 2109242 (Why is no real title available?)
• scientific article; zbMATH DE number 3254863 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3294559 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• A Set Theory Based on a Certain 3-Valued Logic.
• A Variation on a Paradox
• A consistent theory of attributes in a logic without contraction
• A proof of a theorem of Lukasiewicz
• A warning about the choice of primitive operators in modal logic
• Algebraizable logics
• Basic properties of the equivalence
• Computer implication and the Curry paradox
• Equational logic
• Finite models of some substructural logics
• Formulas for which contraction is admissible
• Four paradoxes
• How to be really contraction free
• Investigations on a comprehesnion axiom without negation in the defining propositional functions
• Light affine set theory: A naive set theory of polynomial time
• Logic without contraction as based on inclusion and unrestricted abstraction
• Logical paradoxes for many-valued systems
• Naïve comprehension and contracting implications
• Note about Lukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus
• Relative necessity
• Residuation in commutative ordered monoids with minimal zero
• Routes to triviality
• Some Properties of Linear Logic Proved by Semantic Methods
• Studies on the axiom of comprehension
• Substructural logics: a primer
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• The correspondence between cut-elimination and normalization
• The finite model property for BCI and related systems
• The finite model property for BCK and BCIW
• The pleasures of anticipation: Enriching intuitionistic logic
• The simple consistency of a set theory based on the logic CSQ

Cited in

(6)

• On the algebraizability of the implicational fragment of abelian logic
• External curries
• 2007 Annual Meeting of the Association for Symbolic Logic
• Logical consequence and the paradoxes
• scientific article; zbMATH DE number 30929 (Why is no real title available?)
• scientific article; zbMATH DE number 5605349 (Why is no real title available?)

This page was built for publication: Variations on a theme of Curry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2505136)