Results 91 to 100 of about 28,310 (224)
, 2013 We present an approach to the study of stationary measures placing Tarski's foundational work in this area within a modern category theoretic context. Guiding this work is the notion that measurable spaces equipped with symmetries carry an intrinsic notion of `size'.
openaire +2 more sources
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
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
Fuzzifications of generalized Tarski filters in Tarski algebras
Computers & Mathematics with Applications, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jun, Young Bae, Kang, Min Su
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
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
Tarski’s Plank Problem Revisited [PDF]
, 2013 In the 1930's, Tarski introduced his plank problem at a time when the field Discrete Geometry was about to born. It is quite remarkable that Tarski's question and its variants continue to generate interest in the geometric and analytic aspects of coverings by planks in the present time as well.
openaire +2 more sources
Davidson contra o correspondentismo
Princípios, 2015 A possibilidade de determinar átomos linguísticos e a correspondência destes a entidades, átomos igualmente simples no mundo extralinguístico, constitui o núcleo da assim denominada teoria correspondentista da verdade.
César Fernando Meurer
doaj +2 more sources