A sequent calculus for urn logic
From MaRDI portal
Publication:302242
DOI10.1007/s10849-015-9216-5zbMath1350.03043WikidataQ59431556 ScholiaQ59431556MaRDI QIDQ302242
Publication date: 5 July 2016
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-015-9216-5
03B60: Other nonclassical logic
03C80: Logic with extra quantifiers and operators
03F03: Proof theory in general (including proof-theoretic semantics)
03C10: Quantifier elimination, model completeness, and related topics
Cites Work