Results 1 to 10 of about 24,403 (223)
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 +7 more sources
Free Monadic Tarski and MMI3-Algebras [PDF]
Demonstratio Mathematica, 2014 MMI3-algebras are a generalization of the monadic Tarski algebras as defined by A. Monteiro and L. Iturrioz, and a particular case of the MMIn+1-algebras defined by A. Figallo.
Entizne Rosana V. +3 more
doaj +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 +2 more sources
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 +2 more sources
Cefiderocol in the Successful Treatment of Complicated Hospital-Acquired K. pneumoniae NDM, OXA48 Intraabdominal Infection [PDF]
Infection and Drug ResistanceIgnacy 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
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
exaly +3 more sources
A further simplification of Tarski's axioms of geometry [PDF]
, 2013 A slight modification to one of Tarski's axioms of plane Euclidean geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem.
Makarios, Timothy
core +4 more sources
A Generalization of the {\L}o\'s-Tarski Preservation Theorem over Classes of Finite Structures [PDF]
, 2014 We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}.
Adsul, Bharat +2 more
core +2 more sources
Reducing Tarski to Unique Tarski (In the Black-Box Model)
SIAM Journal on ComputingWe study the problem of finding a Tarski fixed point over the k-dimensional grid [n]^k. We give a black-box reduction from the Tarski problem to the same problem with an additional promise that the input function has a unique fixed point. It implies that the Tarski problem and the unique Tarski problem have exactly the same query complexity.
Yuhao Li, Mihalis Yannakakis
exaly +5 more sources