Results 101 to 110 of about 1,570 (181)

On the Consistency of "New Foundations". [PDF]

Proc Natl Acad Sci U S A, 1951
Quine WV.
europepmc   +1 more source

Axiomatic and algebraic aspects of two theorems on sums of cardinals

, 1948
A. Tarski
semanticscholar   +1 more source

Higher degrees of distributivity and completeness in Boolean algebras

, 1957
E. C. Smith, A. Tarski
semanticscholar   +1 more source

Bibliometrics beyond citations: introducing mention extraction and analysis. [PDF]

Scientometrics
Petrovich E, Verhaegh S, Bös G, Cristalli C, Dewulf F, van Gemert T, IJdens N.   +6 more
europepmc   +1 more source

Le concept de conséquence logique chez Tarski et sa critique

, 2016
Il est commun, dans les manuels de logique, de présenter une définition sémantique du concept de conséquence logique. Cette approche est le fruit d'une tradition qu'on peut faire remonter au moins jusqu'aux travaux d'Alfred Tarski dans les années 1920 et
Ouellette-Michaud, Julien
core  

Representable cylindric algebras

Annals of Pure and Applied Logic, 1986
L. Henkin, J. Monk, A. Tarski
semanticscholar   +1 more source

Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas

, 2011
Em 1929 Alfred Tarski escreveu o artigo O Conceito de Verdade nas Linguagens For-mais o qual apresenta a questão sobre a atribuição de verdade . Sua hipótese é que verdade ou falso não são predicados de coisas, mas atributos de expressões mais ...
Alves, Carlos Roberto Teixeira
core  

Logicality and the picture theory of language. [PDF]

Synthese
Trinh T.
europepmc   +1 more source

Measures in Boolean algebras

, 1948
A. Horn, Alfred Tarski
semanticscholar   +1 more source

Logical Consequence: Tarski and Etchemendy

, 2006
在1936 年時，塔斯基(Alfred Tarski)以模型理論的說明(model-theoretic account)當做邏 輯歸結(logical consequence) 的標準說明， 結束了模型理論說明與證明理論說明 (proof-theoretic account)之間的爭論。直到1988 年，艾切曼第(John Etchemendy)對塔斯基的 批評，重新開啟另一波的爭論。 這篇報告的第一個部分是以塔斯基邏輯歸結的直覺概念開始，然後討論塔斯基對證明 理論說明的批評 ...
林景銘
core