Artigo recente no Journal of Philosophical Logic:

[Walter Carnielli]

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/