排序方式: 共有4条查询结果,搜索用时 3 毫秒
1
1.
Journal of Philosophical Logic - Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are... 相似文献
2.
Norbert Gratzl 《Studia Logica》2010,96(3):331-348
This article presents a sequent calculus for a negative free logic with identity, called N. The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of
soundness, compactness and completeness of N relative to a standard semantics for negative free logic. 相似文献
3.
In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an \(\omega \)-rule. 相似文献
4.
1