Uniqueness of logical connectives in a bilateralist setting

MaRDI QIDQ5067974zbMATH OpenFDO

Authors Sara Ayhan

Publication date 4 April 2022

zbMATH Keywords

verificationuniquenessproof-theoretic semanticsconnectivesfalsificationbilateralism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 7599931
• On univocal connectives
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• Bilateralism in proof-theoretic semantics
• Some comments on Ian Rumfitt's bilateralism

Cited in

(5)

• Logical multilateralism
• On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
• scientific article; zbMATH DE number 5994600 (Why is no real title available?)
• Uniqueness of logical connectives in a bilateralist setting
• A general schema for bilateral proof rules

This page was built for publication: Uniqueness of logical connectives in a bilateralist setting

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