A nonmonotonic modal relevant sequent calculus

DOI10.1007/978-3-662-55665-8_39zbMath1496.03094OpenAlexW2748815148MaRDI QIDQ1679801

Shuhei Shimamura

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_39

zbMATH Keywords

relevancenonmonotonicitylogical expressivismdefeasibilitysemantic inferentialism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES

This page was built for publication: A nonmonotonic modal relevant sequent calculus