一再烦扰
发表于 2025-3-23 10:41:35
Inferential Semantics, Paraconsistency, and Preservation of Evidence,tribution of semantic values to formulas. Meanings are given by the inference rules that, in this case, do not express preservation of truth but rather preservation of availability of a constructive proof. Elsewhere we presented two paraconsistent systems of natural deduction: the Basic Logic of Evi
Arbitrary
发表于 2025-3-23 14:36:03
A Model-Theoretic Analysis of Fidel-Structures for , basic point is that Fidel-structures for . (or .-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols . (for negation) and . (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to
Tdd526
发表于 2025-3-23 19:06:13
Unity, Identity, and Topology: How to Make Donuts and Cut Things in Half,me puzzles concerning mereology and topology. These puzzles suggest that the classical mereotopology needs to be revised. I compare and contrast the Priest-inspired solution with another, based on classical logic, that requires the co-location of boundaries. I suggest that the co-location view shoul
除草剂
发表于 2025-3-23 22:12:08
Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters,e useful. We dispute this with what we call the “Paradox of the Two Firefighters.” Suppose you are awakened in your hotel room by a fire alarm. You open the door. You see three possible ways out: left, right, straight ahead. You see two firefighters. One says there is exactly one safe route and it i
GAVEL
发表于 2025-3-24 04:31:00
Variations on the Collapsing Lemma,retations in Priest’s . (.). The source of this construction’s utility is Priest’s ., which guarantees that a formula true in the model . will continue to be true in . (although the formula may . be false in .). In light of the utility and elegance of the Collapsing Lemma, extending variations of th
割让
发表于 2025-3-24 10:18:49
Dialetheic Conditional Modal Logic, room in the space of worlds to entertain impossible things. My proposal is to liberate the Leibnizian universe and reinforce the relative aspect of possibility; worlds are possible with respect to some worlds, and impossible for others. The central idea is to isolate relative possibility (Kripke) f
PARA
发表于 2025-3-24 13:14:33
Priest on Negation,ble debate. Several of the issues in play in this area—such as the unique characterization of negation, and the interplay between contrariety and subcontrariety—are broached here by considering some positions taken on them by Graham Priest and assorted critics (in particular, Hartley Slater and Jean
伤心
发表于 2025-3-24 18:52:08
http://reply.papertrans.cn/39/3878/387780/387780_18.png
使熄灭
发表于 2025-3-24 22:29:17
ST, LP and Tolerant Metainferences,We assess the extent to which this claim is founded. Building on some results by Girard (Diss Math 136, .) we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, an
琐碎
发表于 2025-3-25 02:07:28
Annotated Natural Deduction for Adaptive Reasoning,und and complete with respect to the propositional fragment of adaptive logics based on .. This appears to be the first tree-format presentation of the standard linear dynamic proof system typical of Adaptive Logics. It offers the advantage of full transparency in the formulation of locally derivabl