Filters








138,944 Hits in 2.8 sec

Coherence in finite argument systems

Paul E. Dunne, T.J.M. Bench-Capon
2002 Artificial Intelligence  
In this note we consider complexity-theoretic issues regarding deciding if finitely presented argument systems modelled as directed graphs are coherent.  ...  One benefit of so-called 'coherent' argument systems being that the preferred extensions coincide with stable extensions.  ...  into a finite argument system H Φ .  ... 
doi:10.1016/s0004-3702(02)00261-8 fatcat:6n5ehvrukfg5pj7nscmg3rkswq

Probabilism for Stochastic Theories [article]

Jeremy Steeger
2018 arXiv   pre-print
In formal epistemology and quantum foundations, the notion of rational coherence that gets more attention requires that you never allow for a sure loss (or 'Dutch book') in a given sort of betting game  ...  ; I call this notion full coherence.  ...  But it turns out that, if we wish to defend the coherence of any finitely additive quantum probability (qua estimates for chances) in an infinite-dimensional system, then sufficient coherence may be necessary  ... 
arXiv:1809.03053v1 fatcat:ut4qn2xrh5aqbmgeqglz7wqafq

Probabilism for stochastic theories

Jeremy Steeger
2019 Studies in history and philosophy of modern physics  
In formal epistemology and quantum foundations, the notion of rational coherence that gets more attention requires that you never allow for a sure loss (or 'Dutch book') in a given sort of betting game  ...  ; I call this notion full coherence.  ...  But it turns out that, if we wish to defend the coherence of any finitely additive quantum probability (qua estimates for chances) in an infinite-dimensional system, then sufficient coherence may be necessary  ... 
doi:10.1016/j.shpsb.2018.10.004 fatcat:r4shdtijeba63f3kyvd5wvlx5a

Page 221 of American Mathematical Society. Transactions of the American Mathematical Society Vol. 20, Issue 3 [page]

1919 American Mathematical Society. Transactions of the American Mathematical Society  
A similar argument shows that ( Y8; 6) isa coherent system.  ...  Every coherent system derived from a system (Y; A) implies a coherent system such thet to every element and limit relation in the first there corresponds a unique element and limit relation in the second  ... 

Comment on "Ginzburg-Landau theory of two-band superconductors: Absence of type-1.5 superconductivity"

Egor Babaev, Mihail Silaev
2012 Physical Review B  
This would in particular imply that (in contrast to U(1)× U(1) superconductors), there could be no "type-1.5" superconducting regime in U(1) multiband systems for any finite interband coupling strength  ...  in the coherence lengths of two superconducting components.  ...  However fractional vortices can exist in U (1) × U (1) systems and in two-band U (1) theories at finite-τ .  ... 
doi:10.1103/physrevb.86.016501 fatcat:nfv7gs6pnjgztez2rnsq6poody

OUP accepted manuscript

2018 Journal of Logic and Computation  
In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks.  ...  The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms.  ...  It is also shown that under naive semantics, argumentation systems generalize the coherence-based approach of Rescher and Manor to any Tarskian logic.  ... 
doi:10.1093/logcom/exy027 fatcat:ctjusssoa5hg7ejvtvcapuejxu

Skepticism and Davidson's Omniscient Interpreter Argument

Andrew Ward
1989 Crítica. Revista Hispanoamericana de Filosofía  
argument shows that we do have a coherent system of beliefs, most of whose members are true.  ...  a coherent system of beliefs.  ... 
doi:10.22201/iifs.18704905e.1989.705 fatcat:zkotu7jrune6bfbw67teis6ski

Categorical Quantum Dynamics [article]

Stefano Gogioso
2017 arXiv   pre-print
The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: examples include the extremely simple characterisation of symmetry-observable  ...  In quantum foundations, we use strong complementarity to derive the exact conditions relating non-locality to the structure of phase groups, within the context of Mermin-type non-locality arguments.  ...  ⊕g N =a s g 1 g N O N O 1 . . . 1 |K( )| N −1 Mermin-type argument in it. If the associated empirical model is contextual, then the system S admits no solution in the finite abelian group K( ).  ... 
arXiv:1709.09772v1 fatcat:idax6g6zkfdwdksdh3zwea3mpa

The Coherence of Evolutionary Theory with Its Neighboring Theories

Seungbae Park
2019 Acta Biotheoretica  
This argument for evolutionary theory echoes the problem of unconceived alternatives.  ...  These neighboring theories were previously unconceived, but they were later conceived, and then they cohered with evolutionary theory.  ...  Consequently, it is compatible with the fact that the entropy of an open system decreases. Earth is an open system in that it receives energy from the Sun.  ... 
doi:10.1007/s10441-019-09341-3 pmid:30680485 fatcat:eonvzjjrmzcb7pttgjpe6x4cwq

Simplified BB84 quantum key distribution secure against coherent attacks [article]

Yu-Shuo Lu, Hua-Lei Yin, Zeng-Bing Chen
2020 arXiv   pre-print
In this work, by skillfully exploiting uncertainty relation for smooth entropies, we provide the finite-key security bounds for decoy-state simplified BB84 QKD against coherent attacks in the universally  ...  While standard BB84 protocol needs to prepare and measure all states of two complementary bases, which seriously restricts its real life applications in photonic integration and high speed system.  ...  By employing the entanglement distillation argument [29, 30] , the simplified BB84 protocol has been proven secure against coherent attacks in the asymptotic limit [28] .  ... 
arXiv:2003.08268v2 fatcat:lsmd7jgxsjdddit4f3z7fnhneu

The elementary infinity-topos of truncated coherent spaces [article]

Mathieu Anel
2021 arXiv   pre-print
This note shows that the category of truncated spaces with finite homotopy invariants (aka truncated coherent spaces, or truncated pi-finite spaces) has many of the expected features of what should be  ...  It should be thought as the natural higher analogue of the elementary topos of finite sets.  ...  Since the base point of Z was arbitrary, this proves that Z is in S <∞ coh . The argument is similar in the two other cases. Proposition 2.2.4 (Finite limits).  ... 
arXiv:2107.02082v2 fatcat:yr3limx75nh2ta7hpsi6sdoqby

Valuation rings are derived splinters [article]

Benjamin Antieau, Rankeya Datta
2020 arXiv   pre-print
valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in  ...  In particular, if M [0] is pseudo-coherent, then M is a finitely presented A-module, and the converse holds if A is coherent.  ...  If the transition maps of the directed system {A i } i∈I are in addition flat, then one can conclude that A is indeed a derived splinter.  ... 
arXiv:2002.01067v1 fatcat:umk2orzdfvd6rb3b3gty2uh5vy

A Target-Oriented Discussion Framework to Support Collective Decision Making [chapter]

Jordi Ganzer-Ripoll, Maite Lopez-Sanchez, Juan Antonio Rodriguez-Aguilar
2017 Lecture Notes in Computer Science  
Argumentative debates are a powerful tool for resolving conflicts and reaching agreements in open environments such as on-line communities.  ...  Our framework represents the arguments issued by the participants involved in a debate, the (attack and defence) relationships between them, as well as participants' opinions on them.  ...  Finally, as for future work, we first plan to extend our Target Oriented Decision Framework (TODF) to permit loops, and hence ease rebuttal, a common feature of argumentation systems.  ... 
doi:10.1007/978-3-319-59294-7_39 fatcat:qucwcu7h75e2loryq5crkevi5e

Gabriel topologies on coherent quantales

Panagis Karazeris
1998 Journal of Pure and Applied Algebra  
We present an interpretation of the notion of compact Gabriel topology on a coherent quantale in terms of deductively closed sets of formulae for a system of propositional logic without the contraction  ...  When the quantale is non-commutative and coherent and its finite elements are closed under (right) implication then the frame of compact topologies is locally compact and compact.  ...  Acknowledgements I wish to thank Anders Kock for his support, guidance and interest in my work.  ... 
doi:10.1016/s0022-4049(96)00150-8 fatcat:gd7iipy2obeqxapa45eddlrgny

Page 1584 of Mathematical Reviews Vol. 57, Issue 5 [page]

1979 Mathematical Reviews  
The author proves that polynomial rings in finitely or infinitely many central indeterminates, over a von Neumann regular ring R of finite index, are right and left coherent.  ...  The author shows how countable structures may be constructed as direct limits of certain hereditarily finite collections called 7- systems. These r-systems, which have been studied notably by D.  ... 
« Previous Showing results 1 — 15 out of 138,944 results