Connectives stranger than tonk

DOI10.1007/s10992-006-9025-zzbMath1107.03011OpenAlexW2020146672MaRDI QIDQ853814

Heinrich Wansing

Publication date: 17 November 2006

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-006-9025-z

zbMATH Keywords

proof-theoretic semanticstrivializing connective

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Abstract deductive systems (03B22)

Related Items (7)

What is a relevant connective? ⋮ Logic and natural selection ⋮ On combined connectives ⋮ Anything goes ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Prawitz, Proofs, and Meaning ⋮ Inversion Principles and Introduction Rules

Uses Software

• PLINK

Cites Work

• What's wrong with tonk(?)
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Connectives stranger than tonk