Results 61 to 70 of about 28,310 (224)
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
The axiom of choice and the paradoxes of the sphere. [PDF]
, 1961 Thesis (M.A.)--Boston UniversityThe Axiom of Choice is stated in the following form: For every set Z whose elements are sets A, non-empty and mutually disjoint, there exists at least one set B having one and only one element from each of the sets A ...
Cargill, David Milton
core +1 more source
Noûs, Volume 59, Issue 4, Page 851-872, December 2025.Abstract A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions.
Nathan Salmón
wiley +1 more source
Tarski's geometry modelled in Mizar computerized proof assistant
Conference on Computer Science and Information Systems, 2016 In the paper, we discuss the formal approach to Tarski geometry axioms modelled with the help of the Mizar computerized proof assistant system. Although our basic development was inspired by Julien Narboux's Coq pseudo-code and is dated back to 2014 ...
Adam Grabowski
semanticscholar +1 more source
Tarski’s problem for solvable groups [PDF]
Proceedings of the American Mathematical Society, 1986 In this paper, we show that the free solvable groups (as well as the free nilpotent groups) of finite rank have different elementary theories (i.e., they do not satisfy the same first order sentences of group theory). This result is obtained using a result in group theory (probably due to Malcev and following immediately from a theorem of Auslander and
Rogers, Pat +2 more
openaire +1 more source
Qua‐Talk and Other Forms of Quackery: Part Two
Philosophy Compass, Volume 20, Issue 11, November 2025.ABSTRACT This is the second part of a two‐part paper, the first part having appeared in issue 11 of volume 20 of Philosophy Compass. Part One covers the use of the “qua” locution in connection with David Lewis, Kit Fine, and Donald Davidson. Part Two covers the use of “qua” in Aristotle, Spinoza, and Kant.
James Van Cleve
wiley +1 more source
Manuscrito, 2011 The paper presents a comparison of the theories of truth, and the solutions of the liar paradox, proposed by Thomas Bradwardine (c. 1290-1349), Jean Buridan (c. 1295-1358), and Alfred Tarski (1901-1983).
David Miller
doaj +1 more source
Tarski-type problems for free associative algebras [PDF]
, 2015 In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases.
O. Kharlampovich, A. Myasnikov
semanticscholar +1 more source
An analysis of the logic of Riesz Spaces with strong unit
, 2017 We study \L ukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with an appropriate ...
Di Nola, Antonio +2 more
core +1 more source
Finite models for positive combinatorial and exponential algebra
Bulletin of the London Mathematical Society, Volume 57, Issue 11, Page 3380-3400, November 2025.Abstract We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of non‐negative integers whose equational theory has no finite axiomatisation, and show this also holds if factorial, fixed base exponentiation and operations for binomial coefficients are adjoined.
Tumadhir Alsulami, Marcel Jackson
wiley +1 more source