Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective

DOI10.3166/JANCL.19.371-388MaRDI QIDQ3400792zbMATH OpenOpenAlexFDO

Authors Gemma Robles

Publication date 5 February 2010

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.19.371-388

zbMATH Keywords

relevance logicssubstructural logicsconstructive negationdefinitional equivalenceimplicative paradoxesrelational ternary semantics

Mathematics Subject Classification ID

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

Recommendations

• Relevance logics and intuitionistic negation
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• scientific article; zbMATH DE number 5316399

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• Mutual definability does not imply definitional equivalence, a simple example
• Relevance logics and intuitionistic negation
• The basic constructive logic for a weak sense of consistency

Cited in

(20)

• What is relevance logic?
• scientific article; zbMATH DE number 4053570 (Why is no real title available?)
• Simplified semantics for relevant logics (and some of their rivals)
• A constructive negation for logics including \(\mathrm{TW}_+\)
• Semantics for a basic relevant logic with intensional conjunction and disjunction
• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• Negation and relevance
• A constructive negation defined with a negation connective for logics including Bp\(_+\)
• scientific article; zbMATH DE number 5233158 (Why is no real title available?)
• Intuitionism and relevance
• Negation as falsity: A reply to Tennant
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Relevance logics and intuitionistic negation
• Relevant Variants of Intuitionistic Logic
• Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
• Minimal negation in the ternary relational semantics
• Relevance logics, paradoxes of consistency and the K rule
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
• Negation in metacomplete relevant logics

Describes a project that uses

Uses Software

• MaGIC

This page was built for publication: Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective

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