Colegas:
Queremos compartilhar com vocês que nosso mais recente artigo acaba de ser publicado no Journal of Philosophical Logic: "Valuation Semantics for First-Order Logics. of Evidence and Truth" (H. Antunes, A. Rodrigues, W. Carnielli and M. E. Coniglio) Journal of Philosophical Logic https://doi.org/10.1007/s10992-022-09662-8 Abstract "This paper introduces the logic QLETF, a quantified extension of the logic of evidence and truth LETF, together with a corresponding sound and complete first-order non-deterministic valuation semantics. LETF is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (FDE) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘A entails that A behaves classically, ∙A follows from A’s violating some classically valid inferences. The semantics of QLETF combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of FDE, K3, and LP, we show how these tools, which we call here the method of anti-extensions + valuations, can be naturally applied to a number of non-classical logics." Algumas (poucas) cópias estarão disponíveis para os primeiros que solicitarem. Abraços, Walter -- ======================== Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil https://waltercarnielli.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLd4OBReSmy%2BXjQcpXHNcaEf04EdngF1-z16FMmQRS_wsA%40mail.gmail.com.