Jones, John Implication and iterated implication. (English) Zbl 0508.03011 Z. Math. Logik Grundlagen Math. 29, 542-556 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Reviews MSC: 03B50 Many-valued logic Keywords:propositional calculus; variable functor; many-valued; completeness; implication Citations:Zbl 0053.200 × Cite Format Result Cite Review PDF