Results 21 to 30 of about 2,769 (212)
Free Monadic Tarski and MMI3-Algebras
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 +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
Evaluating Etchemendy's Critiques of Tarski’s Analysis of Logical Consequence [PDF]
Journal of Philosophical Investigations, 2022 According to Tarski's model-theoretic analysis of logical consequence, the sentence X is a logical consequence of a set of sentences Γ if and only if any model for Γ is also a model for X.
Hamid Alaeinejad, Morteza Hajhosseini
doaj +1 more source
Could Tajtelbaum Question What Tarski Could Not? [PDF]
Organon F, 2020 The paper discusses Tarski’s approach to quotation. It starts from showing that it is vulnerable to semantic inconsistencies connected with what is known as Reach’s puzzle, formulated in 1938 by a Czech logician Karel Reach.
Jan Wiślicki
doaj +1 more source
Research on a Class of Special Quasi TA-Neutrosophic Extended Triplet: TA-Groups [PDF]
Neutrosophic Sets and Systems, 2023 Tarski associative groupoid (TA-groupoid) and Tarski associative neutrosophic extended triplet groupoid (TA-NET-groupoid) are two interesting structures in non-associative algebra. In this paper, a new concept of TA-group is proposed based on TA-groupoid,
Mingming Chen, Yudan Du, Xiaogang An
doaj +1 more source
Reducing Tarski to Unique Tarski (In the Black-Box Model) [PDF]
, 2023 We 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
Chen, Xi, Yannakakis, Mihalis, Li, Yuhao
core +1 more source
Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Principia: An International Journal of Epistemology, 2010 Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator.
Hércules A. Feitosa +2 more
doaj +3 more sources
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source
, 2017 Alfred Tarski was one of the greatest logicians of the twentieth century. His influence comes not merely through his own work but from the legion of students who pursued his projects, both in Poland and Berkeley.
Eastaugh, Benedict, Benedict Eastaugh
core +2 more sources
Transposition Regular TA-Groupoids and Their Structures
Axioms, 2022 Tarski associative groupoid (TA-groupoid) is a kind of non-associative groupoid satisfying Tarski associative law. In this paper, the new notions of transposition regular TA-groupoid are proposed and their properties and structural characteristics are ...
Xiaogang An, Xiaohong Zhang
doaj +1 more source