Pecularities of some three- and four-valued second order logics
From MaRDI portal
Publication:1632057
DOI10.1007/s11787-018-0214-7zbMath1405.03060MaRDI 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
Related Items
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics, Logic prizes \textit{et cætera}, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
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