Deducibility and many-valuedness

DOI10.2307/2272465zbMath0253.02015OpenAlexW2111868546MaRDI QIDQ5666518

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

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

Related Items

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

Cites Work

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