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
16942012
Proof methods for modal and intuitionistic logics
M Fitting
Springer Science & Business Media, 1983
10601983
A Kripke-Kleene semantics for logic programs
M Fitting
J. Log. Program. 2 (4), 295-312, 1985
7671985
First-order modal logic
M Fitting, RL Mendelsohn
Springer Science & Business Media, 2012
7082012
Intuitionistic logic, model theory and forcing
MC Fitting
North-Holland Publishing Company, 1969
5201969
Bilattices and the semantics of logic programming
M Fitting
The Journal of Logic Programming 11 (2), 91-116, 1991
5041991
Many-valued modal logics
M Fitting
Fundam. Inform. 15 (3-4), 235-254, 1991
2781991
The logic of proofs, semantically
M Fitting
Annals of Pure and Applied Logic 132 (1), 1-25, 2005
2732005
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
2231992
Basic modal logic
M Fitting
Logical foundations, 1993
2121993
First-order modal tableaux
M Fitting
Journal of Automated Reasoning 4 (2), 191-213, 1988
1781988
Kleene’s three valued logics and their children
M Fitting
Fundamenta informaticae 20 (1, 2, 3), 113-131, 1994
1771994
Kleene's logic, generalized
M Fitting
Journal of Logic and Computation 1 (6), 797-810, 1991
1591991
Tableau methods of proof for modal logics.
M Fitting
Notre Dame Journal of Formal Logic 13 (2), 237-247, 1972
1441972
Bilattices in logic programming
M Fitting
Proceedings of the Twentieth International Symposium on Multiple-Valued …, 1990
1361990
Types, tableaus, and Gödel’s god
M Fitting
Springer Science & Business Media, 2002
1342002
The family of stable models
M Fitting
The Journal of Logic Programming 17 (2-4), 197-225, 1993
1331993
Bilattices and the theory of truth
M Fitting
Journal of Philosophical Logic 18 (3), 225-256, 1989
1121989
Metric methods three examples and a theorem
M Fitting
The Journal of Logic Programming 21 (3), 113-127, 1994
1081994
The system can't perform the operation now. Try again later.
Articles 1–20