On axiom systems of propositional calculi, III
Work
Year: 1965
Type: article
Abstract: In this note, we shall concern with Lukasiewicz (L)axioms (see Y. Imai and K. Iski 1).As mentioned in our previous papers, we only use the rules of substitution and detachment.The fundamental axioms a... more
Author Yoshinari Arai
Cites: 1
Cited by: 8
Related to: 10
FWCI: 6.393
Citation percentile (by year/subfield): 57.55
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze