A proof-theoretic semantics for exclusion

DOI10.1007/S11787-017-0179-YzbMath1420.03138OpenAlexW2766972834MaRDI QIDQ1689564

Michael Kaminski, Nissim Francez

Publication date: 12 January 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-017-0179-y

zbMATH Keywords

classical logicproof-theoretic semanticsexclusionnand

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Cites Work

• Unnamed Item
• A judgmental reconstruction of modal logic
• EXCLUSIVELY INDEXICAL DEDUCTION

This page was built for publication: A proof-theoretic semantics for exclusion