-
103Definability and InvarianceStudia Logica 86 (1): 1-30. 2007.In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we tried…Read more
-
32Valuation Semantics for First-Order Logics of Evidence and TruthJournal of Philosophical Logic 51 (5): 1141-1173. 2022.This paper introduces the logic _Q__L__E__T_ _F_, a quantified extension of the logic of evidence and truth _L__E__T_ _F_, together with a corresponding sound and complete first-order non-deterministic valuation semantics. _L__E__T_ _F_ 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 fro…Read more
University of São Paulo
PhD, 1975
Areas of Specialization
Other Academic Areas |
Philosophy, Misc |
Value Theory |
Science, Logic, and Mathematics |
Areas of Interest
Philosophy, Misc |
Value Theory |
Science, Logic, and Mathematics |