scientific article; zbMATH DE number 3614740
zbMATH Open0396.03001MaRDI QIDQ4178997FDOQ4178997
Authors: Haskell B. Curry 
Publication date: 1977
Title of this publication is not available (Why is that?)
AlgorithmLatticeConstructivismIntuitionismCut EleminationModal LogicPhilosophy of MathematicsPropositional LogicPredicate LogicMetamathematicsFormal SystemsFoundations of Mathematical Logic
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical logic and foundations (03-XX)
Cited In (30)
- Skew lattices and binary operations on functions
- More triviality
- Computations in fragments of intuitionistic propositional logic
- Implicative twist-structures
- A generalization of Curry's theorem
- Prior's OIC nonconservativity example revisited
- Generalized Pascal's triangles and singular elements of modules of Lie algebras
- Algebraic aspects of relatively pseudocomplemented posets
- Glivenko sequent classes and constructive cut elimination in geometric logics
- Mathematical properties common in all mechanism models of chemical reactions
- New consecution calculi for \(R^{t}_{\to}\)
- Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
- Lattice of closure endomorphisms of a Hilbert algebra
- Automated inference of finite unsatisfiability
- Dual-intuitionistic logic
- A modal view of linear logic
- Verifying minimum spanning tree algorithms with Stone relation algebras
- A characterization of Lukasiewiczian algebra, I
- Logical consecutions in discrete linear temporal logic
- Residuated operators in complemented posets
- Rule-elimination theorems
- A Category of Ordered Algebras Equivalent to the Category of Multialgebras
- Paraconsistent modal logics
- Definition in mathematics
- A characterization of Boolean algebra
- The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
- On the structure of varieties with equationally definable principal congruences. III
- Bilattices with implications
- Stone relation algebras
- Normal proofs, cut free derivations and structural rules
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)
