Abstract | ||
---|---|---|
We study the variety of Löb algebras, the algebraic structures associated with Formal Propositional Calculus. Among other things, we show that there exist only two maximal intermediate logics in the lattice of intermediate logics over Basic Propositional Calculus. We introduce countably many locally finite sub-varieties of the variety of Löb algebras and show that their corresponding intermediate ... |
Year | DOI | Venue |
---|---|---|
2012 | 10.1093/jigpal/jzr024 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Mathematics Subject Classification:,Primary 03G25,03D20,secondary 03B20 | T-norm fuzzy logics,Empty set,Algebra,Lattice (order),Algebraic structure,Interpolation,Pure mathematics,Propositional calculus,Monoidal t-norm logic,Mathematics | Journal |
Volume | Issue | ISSN |
20 | 1 | 1367-0751 |
Citations | PageRank | References |
2 | 0.47 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Majid Alizadeh | 1 | 21 | 5.60 |
Mohammad Ardeshir | 2 | 82 | 17.78 |