Premium
A Formalisation of The χ 0 ‐Valued ŁUkasiewicz Propositional Calculus With Variable Functors
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.19670131902
Subject(s) - propositional calculus , axiom , mathematics , modus ponens , functor , axiom of choice , conjecture , calculus (dental) , algebra over a field , set (abstract data type) , mathematical economics , discrete mathematics , set theory , pure mathematics , computer science , fuzzy logic , artificial intelligence , medicine , dentistry , geometry , programming language