Results 61 to 70 of about 1,570 (181)

La forma della verità. Logica e filosofia nell'opera di Alfred Tarski. [PDF]

, 2013
Il problema della verità è antico quanto la filosofia stessa: in questo cammino una tappa fondamentale è costituita dall’opera di Alfred Tarski. Ogni lavoro filosofico che si interessi al tema della verità non può non prendere in considerazione ...
De Florio, Ciro
core  

Tarski Geometry Axioms

, 2014
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work.
Grabowski, Adam, Alama, Jesse, Richter, William   +2 more
core   +1 more source

Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green

, 2003
Suppose that T is an equational theory of groups or of rings. If T is finitely axiomatizable, then there is a least number so that T can be axiomatized by equations. This can depend on the operation symbols that occur in T . In the 1960's, Alfred
George F. McNulty, McNulty, George F.
core   +1 more source

Ajdukiewicz, Husserl i Tarski – w sprawie semantycznej teorii poznania

Studia Semiotyczne, 2020
DOI: http://doi.org/10.26333/sts.xxxiii2.05 Niniejszy artykuł ma polemiczny charakter. Polemizuje on z głosami tych filozofów, którzy w semantycznej teorii poznania Kazimierza Ajdukiewicza widzą znaczący i nadto wyłączny wpływ semantycznego dorobku ...
Adam Olech
doaj  

Alfred Tarski, Introduction à la Logique. Traduit de l'anglais par Jacques Tremblay

, 1960
Dopp Joseph. Alfred Tarski, Introduction à la Logique. Traduit de l'anglais par Jacques Tremblay. In: Revue Philosophique de Louvain. Troisième série, tome 58, n°60, 1960. pp.
Dopp, Joseph
core  

Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]

PeerJ Comput Sci, 2023
Dawood H, Megahed N.
europepmc   +1 more source

La teoría de la verdad de Alfred Tarski

, 2016
RESUMENLa teoría de la verdad de Tarski se presenta de modo claro y sucinto. Tras la discusión del alcance de esta teoría, se examinan las condiciones de verdad (en particular el esquema T) y se despliega la definición de la verdad, basada en el análisis
Martínez-Freire, Pascual F.
core   +1 more source

Data models, representation and adequacy-for-purpose. [PDF]

Eur J Philos Sci, 2021
Bokulich A, Parker W.
europepmc   +1 more source

Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse

, 2006
Inhalt der Dissertation ist der Einfluß, den die von Alfred Tarski formulierte mathematische Logik auf die Entstehung der drei Computerkonzepte des Konrad Zuse ...
Alex, Jürgen
core  

Grupların ve grup etkilerinin Tarski sayıları [PDF]

, 2018
Tez (Yüksek Lisans) -- Mimar Sinan Güzel Sanatlar Üniversitesi Fen Bilimleri Enstitüsü, 2018.G grubu X kümesi üzerine etki etsin ve A_1,…,A_n, B_1,…,B_m kümeleri X'in boş olmayan, ayrık altkümeleri olsun. S_1={a_1,…a_n } ve S_2={b_1,…b_m } kümeleri G'nin
Bektaş, Gonca
core