Gentzen Calculi for the Existence Predicate
暂无分享,去创建一个
[1] D. Scott. Identity and existence in intuitionistic logic , 1979 .
[2] Satoko Titani,et al. Intuitionistic fuzzy logic and intuitionistic fuzzy set theory , 1984, Journal of Symbolic Logic.
[3] A. Heyting. Die formalen Regeln der intuitionistischen Logik , 1930 .
[4] Giovanna Corsi,et al. A logic characterized by the class of connected models with nested domains , 1989, Stud Logica.
[5] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[6] Rosalie Iemhoff. A Note on Linear Kripke Models , 2005, J. Log. Comput..
[7] Giovanna Corsi,et al. Completeness theorem for dummett's LC quantified and some of its extensions , 1992, Stud Logica.
[8] Helmut Schwichtenberg,et al. Basic proof theory , 1996, Cambridge tracts in theoretical computer science.
[9] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[10] N. Preining. Complete Recursive Axiomatizability of Gödel Logics , 2003 .
[11] Tsukuba J. Math. ANOTHER PROOF OF THE STRONG COMPLETENESS OF THE INTUITIONISTIC FUZZY LOGIC , 1987 .
[12] Giovanna Corsi,et al. A Cut-Free Calculus For Dummett's LC Quantified , 1989, Math. Log. Q..