A proof-theoretic semantics for exclusion

DOI10.1007/S11787-017-0179-YMaRDI QIDQ1689564zbMATH OpenOpenAlexFDO

Authors Nissim Francez, Michael Kaminski

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 logicexclusionnandproof-theoretic semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3841824
• Explicit provability and constructive semantics
• Proof-theoretic semantics and feasibility
• Proof Theories for Semilattice Logics
• Proof-theoretic semantics
• Explicit Proofs in Formal Provability Logic
• A semantics for in-principle provability
• scientific article; zbMATH DE number 7109521
• Some Remarks on Proof-Theoretic Semantics
• Steps towards a proof-theoretical semantics

Cites work

• A judgmental reconstruction of modal logic
• Exclusively indexical deduction
• Proof-theoretic semantics

Cited in

(1)

• scientific article; zbMATH DE number 3841824 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689564)