Results 41 to 50 of about 5,613 (178)
A Synthetic Proof of Pappus’ Theorem in Tarski’s Geometry
Journal of automated reasoning, 2016 In this paper, we report on the formalization of a synthetic proof of Pappus’ theorem. We provide two versions of the theorem: the first one is proved in neutral geometry (without assuming the parallel postulate), the second (usual) version is proved in ...
Gabriel Braun, Julien Narboux
semanticscholar +1 more source
Beyond Substitution—An Antipositionalist's Guide to Subtraction—
Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 120-133, July 2026.ABSTRACT Existing accounts of relations do not properly account for variably polyadic relations: they fail to capture the relationship between completions of the same relation by different numbers of relata. This paper develops a fully general account of such relations by adding an operation of subtraction to the antipositionalist theory of relations ...
Jon Erling Litland
wiley +1 more source
Review: Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
Journal for the History of Analytical Philosophy, 2013 Review of Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
Roman Murawski
doaj +1 more source
On the complexity of an expanded Tarski's fixed point problem under the componentwise ordering
Theoretical Computer Science, 2018 Let Π be a finite lattice of integer points in a box of R n and f an increasing mapping in terms of the componentwise ordering from Π to itself. The well-known Tarski's fixed point theorem asserts that f has a fixed point in Π.
C. Dang, Yin-Yu Ye
semanticscholar +1 more source
Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 134-152, July 2026.ABSTRACT Determinism is (roughly) the thesis that the past determines the future. But efforts to define it precisely have exposed deep methodological disagreements. Standard possible‐worlds formulations of determinism presuppose an “agreement” relation between worlds, but this relation can be understood in multiple ways, none of which is particularly ...
Hans Halvorson +2 more
wiley +1 more source
Right amenable left group sets and the Tarski-FØlner theorem [PDF]
International Journal of Group Theory, 2017 We introduce right amenability, right FØlner nets, and right paradoxical decompositions for left homogeneous spaces and prove the Tarski-FØlner theorem for left homogeneous spaces with finite stabilisers.
Simon Wacker
doaj +1 more source
On the theories classified by an étendue
Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.Abstract We give a model‐theoretic characterisation of the geometric theories classified by étendues—the ‘locally localic’ topoi. They are the theories where each model is determined, syntactically and semantically, by any witness of a fixed collection of formulae.
Joshua L. Wrigley
wiley +1 more source
CQD Revista Eletrônica Paulista de Matemática, 2017 Iniciamos com o conceito de dedução, como conhecido no contexto da Matemática e das ciências exatas. Então, apresentamos algumas propostas de formalização da dedução em sistemas dedutivos, o que é bem conhecido nos tratados de lógica universal ou lógica
H´ercules de Araujo Feitosa +1 more
doaj
Tarski: a platform for automated analysis of dynamically configurable traceability semantics
ACM Symposium on Applied Computing, 2017 Traceability can be defined as the degree to which a relationship can be established among work products of the development process. Traceability is important to support the consistency and likewise to ensure that a system is understandable, maintainable
Ferhat Erata +5 more
semanticscholar +1 more source
A constructive version of Tarski's geometry [PDF]
Annals of Pure and Applied Logic, 2014 Constructivity, in this context, refers to a theory of geometry whose axioms and language are closely related to ruler and compass constructions. It may also refer to the use of intuitionistic (or constructive) logic, but the reader who is interested in ...
M. Beeson
semanticscholar +1 more source