Pecularities of some three- and four-valued second order logics
From MaRDI portal
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)
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)
