排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
Journal of Philosophical Logic - Mares and Goldblatt (The Journal of Symbolic Logic, 71(01), 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the... 相似文献
2.
Shawn Standefer 《Studia Logica》2018,106(1):49-84
We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \(\mathord {\sim }\mathord {\Box }A\equiv \mathord {\Box }\mathord {\sim }A\). We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory. 相似文献
3.
Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Ja?kowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.
相似文献4.
We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field. 相似文献
5.
Journal of Philosophical Logic - 相似文献
6.
Journal of Philosophical Logic - There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating... 相似文献
1