Uniqueness of logical connectives in a bilateralist setting

MaRDI QIDQ5067974FDOQ5067974

Authors: Sara Ayhan 

Publication date: 4 April 2022

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

zbMATH Keywords

verificationuniquenessproof-theoretic semanticsconnectivesfalsificationbilateralism

Mathematics Subject Classification ID

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

Cited In (4)

• Logical multilateralism
• On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
• Title not available (Why is that?)
• 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)