Pecularities of some three- and four-valued second order logics

DOI10.1007/S11787-018-0214-7MaRDI QIDQ1632057zbMATH OpenOpenAlexWikidataFDO

Authors A. P. Hazen, Francis Jeffry Pelletier

Publication date 12 December 2018

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-018-0214-7

zbMATH Keywords

first degree entailmentmany-valued logicssecond-order logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Combined logics (03B62)

Review text

The paper under review aims to study a second-order version of the well-known four-valued Belnap logic, namely first-degree entailment, FDE. A completeness theorem is shown in Section 6. In addition, the authors discuss a second-order version of the logics LP and K3, which are both extensions of FDE. The paper ends with a short discussion concerning a second-order version of FDE\(^\to\), a conservative expansion of FDE with a conditional connective.

Recommendations

• On four-valued regular logics
• Four-valued semantics for relevant logics (and some of their rivals)
• scientific article; zbMATH DE number 1163566
• Sequent calculi for three-valued logics
• scientific article; zbMATH DE number 2209893
• scientific article; zbMATH DE number 3891331
• scientific article; zbMATH DE number 19712
• Two kinds of (binary) Kripke-style semantics for three-valued logic
• Two-sided sequent calculi for \textit{FDE}-like four-valued logics

Cites work

• A calculus of antinomics
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Completeness in the theory of types
• First degree entailments
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logic of antinomies
• On the theory of inconsistent formal systems
• Second-order logic of paradox
• The logic of paradox

Cited in

(3)

• Logic prizes \textit{et cætera}
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics

This page was built for publication: Pecularities of some three- and four-valued second order logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1632057)