A note on consequence
暂无分享,去创建一个
[1] Vladimir V. Rybakov,et al. Admissibility of Logical Inference Rules , 2011 .
[2] D. J. Shoesmith,et al. Multiple-Conclusion Logic , 1978 .
[3] Satoko Titani,et al. Intuitionistic fuzzy logic and intuitionistic fuzzy set theory , 1984, Journal of Symbolic Logic.
[4] R. Wójcicki. Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .
[5] George Metcalfe. Admissible Rules: From Characterizations to Applications , 2012, WoLLIC.
[6] Tadeusz Prucnal,et al. On two problems of Harvey Friedman , 1979 .
[7] Mitio Takano,et al. Another proof of the strong completeness of the intuitionistic fuzzy logic , 1987 .
[8] Helmut Schwichtenberg,et al. Basic proof theory , 1996, Cambridge tracts in theoretical computer science.
[9] Matthias Baaz,et al. Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic , 2000, CSL.
[10] Arnon Avron,et al. Simple Consequence Relations , 1988, Inf. Comput..