Connectives stranger than tonk

DOI10.1007/S10992-006-9025-ZMaRDI QIDQ853814zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The connectives
• scientific article; zbMATH DE number 486943
• On connegation
• Paradoxical Connections
• Notes on connections
• Another look at connections
• On combined connectives
• Some variations on the notion of connection
• On the relative connections
• scientific article; zbMATH DE number 1101610

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 753773 (Why is no real title available?)
• Natural deduction and sequent calculus for intuitionistic relevant logic
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• What's wrong with tonk(?)

Cited in

(14)

• On combined connectives
• How a semantics for tonk should be
• Prawitz, Proofs, and Meaning
• Inversion principles and introduction rules
• Knot is not that nasty (but it is hardier than tonk)
• Prior and Belnap
• Logic and natural selection
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• scientific article; zbMATH DE number 2211927 (Why is no real title available?)
• Knot and tonk: nasty connectives on many-valued truth-tables for classical sentential logic
• What is a relevant connective?
• Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism
• Anything goes
• What's wrong with tonk(?)

Describes a project that uses

Uses Software

• PLINK

This page was built for publication: Connectives stranger than tonk

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