scientific article; zbMATH DE number 3614740

MaRDI QIDQ4178997zbMATH OpenFDO

Authors Haskell B. Curry

Publication date 1977

zbMATH Keywords

AlgorithmConstructivismCut EleminationFormal SystemsFoundations of Mathematical LogicIntuitionismLatticeMetamathematicsModal LogicPhilosophy of MathematicsPredicate LogicPropositional Logic

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mathematical logic and foundations (03-XX)

Cited in

(34)

• Mathematical properties common in all mechanism models of chemical reactions
• Computations in fragments of intuitionistic propositional logic
• More triviality
• On the structure of varieties with equationally definable principal congruences. III
• Dual-intuitionistic logic
• Verifying minimum spanning tree algorithms with Stone relation algebras
• Algebraic aspects of relatively pseudocomplemented posets
• Normal proofs, cut free derivations and structural rules
• Definition in mathematics
• Skew lattices and binary operations on functions
• Implicative twist-structures
• Generalized Pascal's triangles and singular elements of modules of Lie algebras
• Paraconsistent modal logics
• Bilattices with implications
• A modal view of linear logic
• Automated inference of finite unsatisfiability
• Residuated operators in complemented posets
• Prior's OIC nonconservativity example revisited
• The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
• Lattice of closure endomorphisms of a Hilbert algebra
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• Stone relation algebras
• Logical consecutions in discrete linear temporal logic
• A characterization of Boolean algebra
• A characterization of Lukasiewiczian algebra, I
• A generalization of Curry's theorem
• Glivenko sequent classes and constructive cut elimination in geometric logics
• A Category of Ordered Algebras Equivalent to the Category of Multialgebras
• Rule-elimination theorems
• Hyper swap structures and Kalman functors: the case study of da Costa logic C_
• Unified natural deduction for logics of strong negation
• New consecution calculi for \(R^{t}_{\to}\)
• Combining swap structures: the case of paradefinite Ivlev-like modal logics based on FDE
• Stone Algebras

This page was built for publication:

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