Deducibility and many-valuedness
From MaRDI portal
Cited in
(28)- Investigations into a left-structural right-substructural sequent calculus
- Multi-valued semantics: why and how
- What is a non-truth-functional logic?
- Filter distributive logics
- Sentential logics and Maehara interpolation property
- On the degree of complexity of sentential logics. A couple of examples
- Compositional meaning in logic
- Locally tabular locally finite
- Four-valued paradefinite logics
- Extension properties and subdirect representation in abstract algebraic logic
- Characterizing finite-valuedness
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- The normal and self-extensional extension of Dunn-Belnap logic
- Explicating logical independence
- Combining fragments of classical logic: when are interaction principles needed?
- Filter pairs and natural extensions of logics
- A note on natural extensions in abstract algebraic logic
- Pure variable inclusion logics
- Constructing natural extensions of propositional logics
- Three-valued paraconsistent propositional logics
- Semi-implication: a chapter in universal logic
- The pleasures of anticipation: Enriching intuitionistic logic
- Unified deductive systems: an outline
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Ideal paraconsistent logics
- Some more theorems on structural entailment relations and non-deterministic semantics
- Logical matrices and non-structural consequence operators
- Logical matrices and the amalgamation property
This page was built for publication: Deducibility and many-valuedness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5666518)
