Results 161 to 170 of about 2,771 (212)
A Continuity in Logical Development: Domain-General Disjunctive Inference by Toddlers. [PDF]
Open Mind (Camb)Cesana-Arlotti N, Halberda J.
europepmc +1 more source
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
Complete and atomic Tarski algebras
Archive for Mathematical Logic, 2019 Tarski algebras, also known as implication algebras or semi-boolean algebras, are the {→}-subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras.
Sérgio A Celani
exaly +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
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
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Symbolic Logic, 2001
Abstract.This paper concerns Tarski's use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski's recent defenders. I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors.
openaire +1 more source
Abstract.This paper concerns Tarski's use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski's recent defenders. I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors.
openaire +1 more source
Bulletin of Symbolic Logic, 1999
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Alfred Tarski, Steven Givant
openaire +1 more source
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Alfred Tarski, Steven Givant
openaire +1 more source