On the Construction of Analytic Sequent Calculi for Sub-classical Logics

DOI10.1007/978-3-662-44145-9_15zbMath1429.03191OpenAlexW183020182MaRDI QIDQ2938143

Ori Lahav, Yoni Zohar

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_15

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Paraconsistent logics (03B53)

Related Items

Axiomatizing non-deterministic many-valued generalized consequence relations, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS