Seguir
Melvin Fitting
Melvin Fitting
Dirección de correo verificada de lehman.cuny.edu - Página principal
Título
Citado por
Citado por
Año
First-order logic and automated theorem proving
M Fitting
Springer Science & Business Media, 2012
20272012
Proof methods for modal and intuitionistic logics
M Fitting
Springer Science & Business Media, 2013
11862013
First-order modal logic
M Fitting, RL Mendelsohn
Springer Nature, 2023
10142023
A Kripke-Kleene semantics for logic programs
M Fitting
The Journal of Logic Programming 2 (4), 295-312, 1985
8661985
Intuitionistic logic model theory and forcing
MC Fitting
Yeshiva University, 1968
6221968
Bilattices and the semantics of logic programming
M Fitting
The Journal of Logic Programming 11 (2), 91-116, 1991
5981991
Many-valued modal logics
MC Fitting
Fundamenta informaticae 15 (3-4), 235-254, 1991
3601991
The logic of proofs, semantically
M Fitting
Annals of Pure and Applied Logic 132 (1), 1-25, 2005
3432005
Fixpoint semantics for logic programming a survey
M Fitting
Theoretical computer science 278 (1-2), 25-51, 2002
2952002
Many-Vawed Modal Logics II
M Fitting
Fundamenta Informaticae 17 (1-2), 55-73, 1992
2771992
Basic modal logic
M Fitting
Handbook of logic in artificial intelligence and logic programming (vol. 1 …, 1993
2461993
Kleene’s three valued logics and their children
M Fitting
Fundamenta informaticae 20 (1, 2, 3), 113-131, 1994
2411994
Kleene's logic, generalized
M Fitting
Journal of Logic and Computation 1 (6), 797-810, 1991
2111991
Tableau methods of proof for modal logics.
M Fitting
Notre Dame Journal of Formal Logic 13 (2), 237-247, 1972
1921972
First-order modal tableaux
M Fitting
Journal of Automated Reasoning 4, 191-213, 1988
1831988
Types, tableaus, and Gödel’s god
M Fitting
Springer Science & Business Media, 2002
1692002
Bilattices in logic programming
M Fitting
City University of New York, Lehman College, Department of Mathematics and …, 1990
1641990
The family of stable models
M Fitting
The Journal of Logic Programming 17 (2-4), 197-225, 1993
1551993
Bilattices and the theory of truth
M Fitting
Journal of Philosophical Logic 18, 225-256, 1989
1501989
Bilattices are nice things
M Fitting
Self-reference, 53-77, 2006
1482006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20