Premium
On the Addition of Weakened L ‐Reduction Axioms to the Brouwer System
Author(s) -
Byrd Michael
Publication year - 1978
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.19780242504
Subject(s) - citation , modal logic , axiom , mathematical economics , philosophical logic , computer science , reduction (mathematics) , modal , dynamic logic (digital electronics) , philosophy , discrete mathematics , mathematics , epistemology , library science , physics , chemistry , geometry , transistor , quantum mechanics , voltage , polymer chemistry