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

DOI10.1007/S11787-018-0214-7zbMath1405.03060OpenAlexW2896430270WikidataQ129106943 ScholiaQ129106943MaRDI QIDQ1632057

Allen 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

second-order logicfirst degree entailmentmany-valued logics

Mathematics Subject Classification ID

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

Related Items (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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First degree entailments
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• The logic of paradox
• Second-order logic of paradox
• Intuitive semantics for first-degree entailments and `coupled trees'
• A calculus of antinomics
• On the theory of inconsistent formal systems
• Logic of antinomies
• Completeness in the theory of types

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