An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions
暂无分享,去创建一个
[1] Raymond D. Gumb. An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality , 1984, J. Symb. Log..
[2] Karel Lambert. Philosophical applications of free logic , 1991 .
[3] Hugues Leblanc. Truth-Value Semantics , 1976 .
[4] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[5] Rolf Schock,et al. Logics without existence assumptions , 1968 .
[6] Karel Lambert. On the Philosophical foundations of free description theory , 1987 .
[7] Rolf Schock,et al. On definitions , 1965 .
[8] Dana S. Scott,et al. Existence and Description in Formal Logic , 1973 .
[9] Karel Lambert,et al. Definitions in nonstrict positive free logic , 1997 .
[10] Karel Lambert,et al. Logic, Bivalence and Denotation , 1986 .
[11] David Lorge Parnas,et al. Predicate Logic for Software Engineering , 1993, IEEE Trans. Software Eng..
[12] Raymond D. Gumb. Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions , 2000, TABLEAUX.
[13] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[14] Raymond D. Gumb. An extended joint consistency theorem for free logic with equality , 1979, Notre Dame J. Formal Log..