Results 11 to 20 of about 2,769 (212)

Fuzzifications of generalized Tarski filters in Tarski algebras

Computers and Mathematics With Applications, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Young Bae Jun
exaly   +3 more sources

Note sur Popper lecteur de Tarski [PDF]

Philosophia Scientiæ, 2007
1. Introduction. 2. Is Tarski’s theory of truth, as Popper claims after Tarski himself, a rehabilitation of the traditional view of truth as correspondence to facts? — Yes, but not for the reasons he gives. 3.
Philippe de Rouilhan
doaj   +4 more sources

Tarski Semigroups [PDF]

Proceedings of the American Mathematical Society, 1977
A Tarski semigroup is an algebraic system which mirrors a fragment of the additive theory of cardinal numbers. Here we show that any two such systems have the same universal theory. We also give a simple arithmetical necessary and sufficient condition for a universal sentence to hold in a Tarski semigroup.
Erik Ellentuck
openaire   +3 more sources

Cefiderocol in the Successful Treatment of Complicated Hospital-Acquired K. pneumoniae NDM, OXA48 Intraabdominal Infection [PDF]

Infection and Drug Resistance
Ignacy Tarski,1 Jakub Śmiechowicz,2 Wiesława Duszyńska2 1Faculty of Medicine, Wroclaw Medical University, Wroclaw, Poland; 2Department and Clinic of Anesthesiology and Intensive Therapy, Wroclaw Medical University, Wroclaw ...
Tarski I, Śmiechowicz J, Duszyńska W
doaj   +2 more sources

Tarski's influence on computer science [PDF]

Logical Methods in Computer Science, 2006
The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Solomon Feferman
doaj   +5 more sources

Tarski Geometry Axioms [PDF]

Formalized Mathematics, 2014
Summary 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. The article is an extension and upgrading of the source code written by the first author with the
William Richter, Adam Grabowski, Jesse Alama   +2 more
openaire   +3 more sources

LA PARADOJA DE BANACH-TARSKI

Revista de la Facultad de Ciencias, 2017
En este artculo se explican las paradojas de Hausdor y de Banach-Tarski.
Juan Diego Vélez, Carlos A. Cadavid-M.
doaj   +2 more sources

Aristotle and Tarski

Peitho, 2017
Alfred Tarski frequently declared that his semantic definition of truth was inspired by Aristotle’s views. The present paper discusses this issue in the context of Marian Wesoły’s criticism of the thesis that there is an affinity between Tarski’s views ...
Jan Woleński
doaj   +2 more sources

Did Tarski commit “Tarski's fallacy”? [PDF]

Journal of Symbolic Logic, 1996
In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p.
Sher, GY
openaire   +5 more sources

Unique Tarski Fixed Points [PDF]

Mathematics of Operations Research, 2019
We establish sufficient conditions that ensure the uniqueness of Tarski-type fixed points of monotone operators. A first set of results relies on order concavity, whereas a second one uses subhomogeneity. A few applications that illustrate our results are presented.
Massimo Marinacci, Luigi Montrucchio
exaly   +3 more sources