Non-Fregean Propositional Logic with Quantifiers
暂无分享,去创建一个
[2] S. Bloom. A completeness theorem for “theories of kind W” , 1971 .
[3] Joanna Golinska-Pilarek,et al. Number of Extensions of Non-Fregean Logics , 2005, J. Philos. Log..
[4] R. Suszko. Abolition of the fregean axiom , 1975 .
[5] Roman Suszko,et al. Investigations into the sentential calculus with identity , 1972, Notre Dame J. Formal Log..