Open AccessA Quantified Logic of Evidence
Author(s) -
Melvin Fitting
Publication year - 2005
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2005.04.038
Subject(s) - soundness , mathematical proof , mathematics , quantifier (linguistics) , completeness (order theory) , calculus (dental) , automated theorem proving , semantics (computer science) , axiom , discrete mathematics , intuitionistic logic , algebra over a field , programming language , pure mathematics , computer science , algorithm , linear logic , artificial intelligence , medicine , mathematical analysis , 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