Deducibility and many-valuedness

DOI10.2307/2272465zbMATH Open0253.02015OpenAlexW2111868546MaRDI QIDQ5666518FDOQ5666518

Authors: D. J. Shoesmith, T. J. Smiley 

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272465

Mathematics Subject Classification ID

Many-valued logic (03B50) Decidability of theories and sets of sentences (03B25) General logic (03B99)

Cites Work

• On Lukasiewicz's \(L\)-modal system
• A note on Hallden-incompleteness

Cited In (27)

• The pleasures of anticipation: Enriching intuitionistic logic
• Logical matrices and the amalgamation property
• Unified deductive systems: an outline
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Four-valued paradefinite logics
• A note on natural extensions in abstract algebraic logic
• Explicating logical independence
• Extension properties and subdirect representation in abstract algebraic logic
• Investigations into a left-structural right-substructural sequent calculus
• Ideal paraconsistent logics
• Semi-implication: A Chapter in Universal Logic
• Pure Variable Inclusion Logics
• Multi-valued semantics: why and how
• Compositional meaning in logic
• Locally tabular \(\neq \) locally finite
• Characterizing finite-valuedness
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• What is a non-truth-functional logic?
• On the degree of complexity of sentential logics. A couple of examples
• Logical matrices and non-structural consequence operators
• Sentential logics and Maehara interpolation property
• Filter pairs and natural extensions of logics
• Combining fragments of classical logic: when are interaction principles needed?
• Constructing natural extensions of propositional logics
• The normal and self-extensional extension of Dunn-Belnap logic
• Three-Valued Paraconsistent Propositional Logics
• Filter distributive logics

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)