Switch to: Citations

References in:

A Nonmonotonic Modal Relevant Sequent Calculus

In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 570-584 (2017)

Add references

You must login to add references.
  1. Between saying and doing: towards an analytic pragmatism.Robert Brandom - 2008 - New York: Oxford University Press.
    Extending the project of analysis -- Elaborating abilities : the expressive role of logic -- Artificial intelligence and analytic pragmatism -- Modality and normativity : from Hume and Quine to Kant and Sellars -- Incompatibility, modal semantics, and intrinsic logic -- Intentionality as a pragmatically mediated semantic relation -- Afterword : philosophical analysis and analytic philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   118 citations  
  • Between Saying and Doing: Towards an Analytic Pragmatism * By ROBERT B. BRANDOM.Robert Brandom - 2009 - Analysis 69 (3):568-570.
    Robert Brandom's latest book, the product of his John Locke lectures in Oxford in 2006, is a return to the philosophy of language and is easily read as a continuation and development of the views defended in Making it Explicit. The text of the lectures is presented much as they were delivered, but it contains an ‘Afterword’ of more than 30 pages which responds to questions raised when he gave the lectures, and also when they were subsequently delivered in Prague (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   103 citations  
  • Relevance logic.Edwin Mares - 2008 - Stanford Encyclopedia of Philosophy.
  • A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
    I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations