Yet another paradefinite logic: The role of conflation1-Reference-Cited by-同舟云学术

Yet another paradefinite logic: The role of conflation1

Published:2018-08-22 Issue: Volume: Page:
ISSN:1367-0751
Container-title:Logic Journal of the IGPL
language:en
Short-container-title:

Author:

Kamide Norihiro¹,Zohar Yoni²

Affiliation:

1. Department of Information and Electronic Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi, Japan

2. Computer Science Department, Stanford University, 353 Serra Mall, Stanford, CA, USA

Funder

Japan Society for the Promotion of Science

Israel Science Foundation

Publisher

Oxford University Press (OUP)

Subject

Logic

Link

http://academic.oup.com/jigpal/advance-article-pdf/doi/10.1093/jigpal/jzy023/25529024/jzy023.pdf

Reference29 articles.

1. Constructible falsity and inexact predicates;Almukdad;Journal of Symbolic Logic,1984

2. A propositional logics with subjunctive conditionals;Angell;Journal of Symbolic Logic,1962

3. Reasoning with logical bilattices;Arieli;Journal of Logic, Language and Information,1996

4. The value of the four values;Arieli;Artificial Intelligence,1998

5. Minimal paradefinite logics for reasoning with incompleteness and inconsistency;Arieli;Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics (LIPIcs),2016

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5;Journal of Logic, Language and Information;2022-10-04

2. An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi;Logica Universalis;2022-07-03

3. Embedding Friendly First-Order Paradefinite and Connexive Logics;Journal of Philosophical Logic;2022-04-25

4. Reasoning with Inconsistency-tolerant Fuzzy Description Logics;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022

5. Notes on Avron's Self-extensional Four-valued Paradefinite Logic;2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL);2021-05