Minimal negation in the ternary relational semantics
From MaRDI portal
Publication:5488259
Recommendations
- scientific article; zbMATH DE number 1916521
- Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
- The system Bp\(_+\): a minimal positive logic for minimal negation
- Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
- Routley-Meyer ternary relational semantics for intuitionistic-type negations
Cited in
(9)- Polarity semantics for negation as a modal operator
- The system Bp\(_+\): a minimal positive logic for minimal negation
- scientific article; zbMATH DE number 1916521 (Why is no real title available?)
- The basic constructive logic for negation-consistency
- scientific article; zbMATH DE number 4148060 (Why is no real title available?)
- Negation and minimality in disjunctive databases
- Subminimal negation on the Australian plan
- scientific article; zbMATH DE number 2114314 (Why is no real title available?)
- Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
This page was built for publication: Minimal negation in the ternary relational semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5488259)
