Results 81 to 90 of about 24,422 (242)
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
Estudos Avançados, 1991 Como se sabe existem, pelo menos, quatro teorias de verdade que se evidenciam de relevância para o filósofo que se ocupa da Teoria da Ciência: 1) a Teoria da Correspondência, particularmente, na forma que lhe confiriu A. Tarski; 2) a Teoria da Coerência;
Jair Minoro Abe
doaj +1 more source
Reexamination of Tarski's semantics
Annals of Pure and Applied Logic, 2004 In the paper under review one finds comments and remarks about Tarski's work (mainly his work in syntax and semantics) both from the point of view of linguistics and from a philosophical perspective. In particular, Tarski's concept of truth is examined from the point of view of its applicability to ordinary language.
openaire +1 more source
Reflections on Complexity, Evidence, and Law: A Reply to Tuzet and Ubertone
Ratio Juris, Volume 38, Issue 2, Page 129-135, July 2025.
Ronald J. Allen
wiley +1 more source
Douglas Patterson, Alfred Tarski: Philosophy of Language and Logic.
Journal for the History of Analytical Philosophy, 2013 Review of Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
Roman Murawski
doaj
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication [PDF]
, 2021 Jim de Groot +2 more
openalex +1 more source
The problem of Horn and Tarski
Proceedings of the American Mathematical Society, 2014 In 1948 A. Horn and A. Tarski asked whether the notions of a σ \sigma
openaire +2 more sources
OPERADORES DE CONSEQUÊNCIA E RELAÇÕES DE CONSEQUÊNCIA
Kínesis, 2018 Neste artigo analisamos o operador de consequência de Tarski e algumas relações de consequência num ambiente conjuntista de lógica universal. Neste âmbito, mostramos propriedades e axiomas relativos a estas definições que implicam e são implicadas por ...
Hércules de Araújo Feitosa +2 more
doaj +1 more source