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

DOI10.3166/JANCL.19.371-388zbMATH Open1227.03027OpenAlexW1982333555MaRDI QIDQ3400792FDOQ3400792

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

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

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)

Cites Work

• Title not available (Why is that?)
• The basic constructive logic for a weak sense of consistency
• Mutual definability does not imply definitional equivalence, a simple example
• Relevance logics and intuitionistic negation

Cited In (20)

• What is relevance logic?
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Negation and relevance
• Title not available (Why is that?)
• A constructive negation defined with a negation connective for logics including Bp\(_+\)
• Intuitionism and relevance
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Negation as falsity: A reply to Tennant
• 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

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)