𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A lattice-theoretic Characterisation of thex0-valued Propositional Calculus

✍ Scribed by Alan Rose

Publisher
Springer
Year
1951
Tongue
English
Weight
156 KB
Volume
123
Category
Article
ISSN
0025-5831

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Formalisation of an β„΅0-Valued Proposit
A Formalisation of an β„΅0-Valued Propositional Calculus with Variable Functors
✍ John Jones πŸ“‚ Article πŸ“… 1982 πŸ› John Wiley and Sons 🌐 English βš– 272 KB

A FORMALISATION O F AN N,-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS by JOHN JONES in Nottingham (Great Britain) There has been given in [ 2 ] a complete formalisation of the ni-valued ( 2 ?H < N,) propositional calculus with 1 designated truth-value in which the primitive symbols are pro