Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

53

Voted

ISMIS
1987
Springer

61views Artificial Intelligence» more ISMIS 1987»

Resolution for Intuitionistic Logic

15 years 6 months ago

Resolution for Intuitionistic Logic

Download comet.lehman.cuny.edu

Melvin Fitting

Real-time Traffic

Artificial Intelligence | ISMIS 1987 |

claim paper

Related Content

» A prooftheoretical investigation of global intuitionistic fuzzy logic

» LJQ A Strongly Focused Calculus for Intuitionistic Logic

» Quantitative Comparison of Intuitionistic and Classical Logics Full Propositional System

» ileanTAP An Intuitionistic Theorem Prover

» Deciding Intuitionistic Propositional Logic via Translation into Classical Logic

» The ILTP Library Benchmarking Automated Theorem Provers for Intuitionistic Logic

» An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

» Combining Classical and Intuitionistic Implications

» Clausal ConnectionBased Theorem Proving in Intuitionistic FirstOrder Logic

Post Info
More Details (n/a)

Added	28 Aug 2010
Updated	28 Aug 2010
Type	Conference
Year	1987
Where	ISMIS
Authors	Melvin Fitting

Comments (0)