A sequent calculus for urn logic

DOI10.1007/s10849-015-9216-5zbMath1350.03043OpenAlexW2008661283WikidataQ59431556 ScholiaQ59431556MaRDI QIDQ302242

Rohan French

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

zbMATH Keywords

sequent calculusproof theorynon-standard quantificationurn logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Unnamed Item
• Unnamed Item
• Wittgensteinian predicate logic
• Urn models: A classical exposition
• Proof theory. 2nd ed
• Urn models: A new kind of non-standard model for first-order logic
• Impossible possible worlds vindicated
• Urn models and categoricity
• Identity, variables, and impredicative definitions

This page was built for publication: A sequent calculus for urn logic