Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Knaster-Tarski Revisited
View through CrossRef
Abstract.
The concept “complete partial order” is generalized to the concept “functionally complete partial order.” The correctness of a corresponding generalization of the Knaster-Tarski fixpoint theorem is proved. The theory is applied to yield a fixpoint mapping theorem.
Title: Knaster-Tarski Revisited
Description:
Abstract.
The concept “complete partial order” is generalized to the concept “functionally complete partial order.
” The correctness of a corresponding generalization of the Knaster-Tarski fixpoint theorem is proved.
The theory is applied to yield a fixpoint mapping theorem.
Related Results
Alfred Tarski
Alfred Tarski
Alfred Tarski (b. 1901–d. 1983) was a Polish–American mathematician, widely regarded as one of the greatest logicians of all time. Tarski’s work has been influential in philosophy,...
Understanding Truth
Understanding Truth
Abstract
Understanding Truth aims to illuminate the notion of truth, and the role it plays in our ordinary thought, as well as in our logical, philosophical, and sci...
Invariant sets and Knaster-Tarski principle
Invariant sets and Knaster-Tarski principle
Abstract
Our aim is to point out the applicability of the Knaster-Tarski fixed point principle to the problem of existence of invariant sets in discrete-time (multiv...
Tarski Geometry Axioms. Part V – Half-planes and Planes
Tarski Geometry Axioms. Part V – Half-planes and Planes
Summary
In the article, we continue the formalization of the work devoted to Tarski’s geometry – the book “Metamathematische Methoden in der Geometrie” by W. Schwabh...
Tarski's Definition of Truth
Tarski's Definition of Truth
Abstract
This chapter provides a detailed explanation of Tarski's definition of truth for formalized languages. It begins by indicating how he conceived the problem,...
A Monadic Second-Order Version of Tarski’s Geometry of Solids
A Monadic Second-Order Version of Tarski’s Geometry of Solids
In this paper, we are concerned with the development of a general set theory using the single axiom version of Leśniewski’s mereology. The specification of mereology, and further o...
Pluralism Defined
Pluralism Defined
AbstractLogical pluralism is a pluralism about logical consequence. Crudely put, a pluralist maintains that there is more than one relation of logical consequence. By way of illust...