Switch to: References

Add citations

You must login to add citations.
  1. ARGO: Arguments Ontology.John Beverley, Neil Otte, Francesco Franda, Brian Donohue, Alan Ruttenberg, Jean-Baptiste Guillion & Yonatan Schreiber - manuscript
    Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...)
    No categories
    Direct download (2 more)  
    Export citation  
  • Imperative Bilateralism.Kai Tanter - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 237-252.
    This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is neutral regarding (...)
    Direct download  
    Export citation