Melvin Fitting
Melvin Fitting
Verified email at lehman.cuny.edu - Homepage
TitleCited byYear
First-order logic and automated theorem proving
M Fitting
Springer Science & Business Media, 2012
16812012
Proof methods for modal and intuitionistic logics
M Fitting
Springer Science & Business Media, 1983
10491983
A Kripke-Kleene semantics for logic programs
M Fitting
J. Log. Program. 2 (4), 295-312, 1985
7621985
First-order modal logic
M Fitting, RL Mendelsohn
Springer Science & Business Media, 2012
7002012
Intuitionistic logic model theory and forcing
MC Fitting
North-Holland, 1969
5181969
Bilattices and the semantics of logic programming
M Fitting
The Journal of Logic Programming 11 (2), 91-116, 1991
5031991
Many-valued modal logics
M Fitting
Fundam. Inform. 15 (3-4), 235-254, 1991
2761991
The logic of proofs, semantically
M Fitting
Annals of Pure and Applied Logic 132 (1), 1-25, 2005
2662005
Fixpoint semantics for logic programming a survey
M Fitting
Theoretical computer science 278 (1-2), 25-51, 2002
2242002
Many-Valued Model Logics II.
M Fitting
Fundam. Inform. 17 (1-2), 55-73, 1992
2211992
Basic modal logic
M Fitting
Logical foundations, 1993
2121993
Kleene’s three valued logics and their children
M Fitting
Fundamenta informaticae 20 (1, 2, 3), 113-131, 1994
1771994
First-order modal tableaux
M Fitting
Journal of Automated Reasoning 4 (2), 191-213, 1988
1761988
Kleene's logic, generalized
M Fitting
Journal of Logic and Computation 1 (6), 797-810, 1991
1581991
Tableau methods of proof for modal logics.
M Fitting
Notre Dame Journal of Formal Logic 13 (2), 237-247, 1972
1391972
Bilattices in logic programming
M Fitting
Proceedings of the Twentieth International Symposium on Multiple-Valued …, 1990
1381990
The family of stable models
M Fitting
The Journal of Logic Programming 17 (2-4), 197-225, 1993
1321993
Types, tableaus, and Gödel’s god
M Fitting
Springer Science & Business Media, 2002
1262002
Bilattices and the theory of truth
M Fitting
Journal of Philosophical Logic 18 (3), 225-256, 1989
1131989
Metric methods three examples and a theorem
M Fitting
The Journal of Logic Programming 21 (3), 113-127, 1994
1071994
The system can't perform the operation now. Try again later.
Articles 1–20