scientific article; zbMATH DE number 3614740
From MaRDI portal
Publication:4178997
Cited in
(30)- New consecution calculi for \(R^{t}_{\to}\)
- More triviality
- Generalized Pascal's triangles and singular elements of modules of Lie algebras
- A generalization of Curry's theorem
- Automated inference of finite unsatisfiability
- A characterization of Boolean algebra
- Dual-intuitionistic logic
- Skew lattices and binary operations on functions
- A Category of Ordered Algebras Equivalent to the Category of Multialgebras
- Algebraic aspects of relatively pseudocomplemented posets
- Prior's OIC nonconservativity example revisited
- Residuated operators in complemented posets
- Bilattices with implications
- Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
- 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
- A modal view of linear logic
- A characterization of Lukasiewiczian algebra, I
- Stone relation algebras
- Computations in fragments of intuitionistic propositional logic
- Glivenko sequent classes and constructive cut elimination in geometric logics
- Logical consecutions in discrete linear temporal logic
- Normal proofs, cut free derivations and structural rules
- Mathematical properties common in all mechanism models of chemical reactions
- Definition in mathematics
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Implicative twist-structures
- Paraconsistent modal logics
- Rule-elimination theorems
- Lattice of closure endomorphisms of a Hilbert algebra
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)
