Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Fundação de Amparo à Pesquisa do Estado de Minas Gerais
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference54 articles.
1. Alves, E. H., Lógica e inconsistência: um estudo dos cálculos$$C_n$$, $$1 \le n \le \omega $$ (Logic and inconsistency: A study of the calculi$$C_n$$, $$1 \le n \le \omega $$, in Portuguese) Masters thesis, FFLCH, State University of São Paulo, 1976.
2. Antunes, H., W. Carnielli, A. Kapsner, and A. Rodrigues, Kripke-style models for logics of evidence and truth, Axioms 9(3), 2020. https://www.mdpi.com/2075-1680/9/3/100.
3. Antunes, H., A. Rodrigues, W. Carnielli, and M.E. Coniglio, Valuation semantics for first-order logics of evidence and truth, Journal of Philosophical Logic 2022. https://doi.org/10.1007/s10992-022-09662-8.
4. Avron, A., Non-deterministic semantics for logics with a consistency operator, International Journal of Approximate Reasoning 45(2):271–287, 2007.
5. Avron, A., and I. Lev, Canonical propositional Gentzen-type systems, in Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR’01), Springer, 2001, pp. 529–544.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献