Knot is not that nasty (but it is hardier than tonk)

DOI10.1007/s11229-019-02498-xzbMath1525.03081OpenAlexW2994627667WikidataQ126588987 ScholiaQ126588987MaRDI QIDQ6067102

Luis Estrada-González, Elisángela Ramírez-Cámara

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02498-x

zbMATH Keywords

knotBoolean algebraslogical consequencemodel theorysubstructural logicslogical connectiveslogicality\(p\)-entailment\(q\)-entailmentmeaning of the connectives problem

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• What's wrong with tonk(?)
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Anything goes
• HOW A SEMANTICS FOR TONK SHOULD BE
• ST, LP and Tolerant Metainferences
• Solution to the P − W problem
• Freeing assumptions from the Liar paradox
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic

This page was built for publication: Knot is not that nasty (but it is hardier than tonk)