Interpretation of a mizar-like logic in first order logic

Authors
Dahn, I
Citation
I. Dahn, Interpretation of a mizar-like logic in first order logic, LECT N A I, 1761, 2000, pp. 137-151
Citations number
10
Categorie Soggetti
Current Book Contents
Journal title
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS → ACNP
ISSN journal
03029743
Volume
1761
Year of publication
2000
Pages
137 - 151
Database
ISI
SICI code
0302-9743(2000)1761:<137:IOAMLI>2.0.ZU;2-I