scientific article; zbMATH DE number 3614740
From MaRDI portal
Publication:4178997
zbMath0396.03001MaRDI QIDQ4178997
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
AlgorithmLatticeConstructivismIntuitionismPropositional LogicModal LogicCut EleminationPhilosophy of MathematicsPredicate LogicMetamathematicsFormal SystemsFoundations of Mathematical Logic
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)
Related Items
Generalized Pascal's triangles and singular elements of modules of Lie algebras ⋮ A characterization of Lukasiewiczian algebra, I ⋮ Stone Relation Algebras ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Dual-intuitionistic logic ⋮ Mathematical properties common in all mechanism models of chemical reactions ⋮ A generalization of Curry's theorem ⋮ Residuated operators in complemented posets ⋮ Bilattices with implications ⋮ Prior’s OIC nonconservativity example revisited ⋮ Algebraic aspects of relatively pseudocomplemented posets ⋮ A modal view of linear logic ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ A Category of Ordered Algebras Equivalent to the Category of Multialgebras ⋮ Automated inference of finite unsatisfiability ⋮ Skew lattices and binary operations on functions ⋮ Implicative twist-structures ⋮ Computations in fragments of intuitionistic propositional logic ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ Normal proofs, cut free derivations and structural rules ⋮ Lattice of closure endomorphisms of a Hilbert algebra ⋮ Definition in mathematics ⋮ Paraconsistent Modal Logics ⋮ Logical consecutions in discrete linear temporal logic ⋮ More triviality ⋮ Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic ⋮ A characterization of Boolean algebra ⋮ THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
