Premium
A Formalisation Of The M ‐Valued ŁUkasiewicz Propositional Calculus With Super‐Designated Truth‐Values
Author(s) -
Rose Alan
Publication year - 1967
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19670131904
Subject(s) - propositional calculus , truth value , calculus (dental) , citation , mathematics , łukasiewicz logic , computer science , mathematical economics , algebra over a field , discrete mathematics , philosophy , linguistics , artificial intelligence , pure mathematics , many valued logic , library science , medicine , substructural logic , dentistry , description logic