Syntax theory of finite lattice-valued propositional logic


In this paper, we establish the graded syntax theory of lattice-valued propositional logic based on finite lattice implication algebras, define the notions of syntactic consequence operation and formal proof, and develop a kind of graded finite lattice-valued propositional calculus. By generalizing classic provable equivalence relation, we present a kind of… (More)
DOI: 10.1007/s11432-012-4580-0


  • Presentations referencing similar topics