Meaning is use: the case of propositional identity

DOI10.18778/0138-0680.2024.05MaRDI QIDQ6920760zbMATH OpenFDO

Authors Leonard Kupś, Szymon Chlebowski

Publication date 6 October 2025

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2024.05

zbMATH Keywords

intuitionistic logicnon-Fregean logicproof-theoretic semantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• An investigation into intuitionistic logic with identity
• scientific article; zbMATH DE number 6614320 (Why is no real title available?)
• Identity and harmony
• Inversion principles and introduction rules
• Investigations into the sentential calculus with identity
• Natural deduction systems for intuitionistic logic with identity
• On the idea of a general proof theory
• On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
• Proof Analysis
• Proof-theoretic semantics
• The harmony of identity
• Validity concepts in proof-theoretic semantics
• Views of proof-theoretic semantics: reified proof-theoretic meanings

This page was built for publication: Meaning is use: the case of propositional identity

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