Open AccessThe number of proofs for a BCK-formula
Author(s) -
Yuichi Komori,
Sachio Hirokawa
Publication year - 1993
Publication title -
journal of symbolic logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.831
H-Index - 47
eISSN - 1943-5886
pISSN - 0022-4812
DOI - 10.2307/2275222
Subject(s) - mathematics , mathematical proof , decidability , discrete mathematics , modus ponens , natural deduction , axiom , calculus (dental) , algebra over a field , pure mathematics , inference , philosophy , epistemology , medicine , geometry , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom