Deductive systems of a cone algebra — II: Isomorphism theorem
Work
Year: 2008
Type: article
Abstract: We prove that there is an isomorphism φ of the lattice of deductive systems of a cone algebra onto the lattice of convex ℓ-subgroups of a lattice ordered group (determined by the cone algebra) such t... more
Source: Mathematica Slovaca
Author N. V. Subrahmanyam
Cites: 6
Cited by: 1
Related to: 10
FWCI: 0.302
Citation percentile (by year/subfield): 38.96
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid