Results 71 to 80 of about 5,613 (178)
Common Fixed-Point Theorems in Modular Function Spaces Endowed with Reflexive Digraph
International Journal of Mathematics and Mathematical Sciences, 2020 The purpose of this work is to extend the Knaster–Tarski fixed-point theorem to the wider field of reflexive digraph. We give also a DeMarr-type common fixed-point theorem in this context.
Jaauad Jeddi +2 more
doaj +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
Algebraization of Jaśkowski’s Paraconsistent Logic D2
Studies in Logic, Grammar and Rhetoric, 2015 The aim of this paper is to present an algebraic approach to Jaśkowski’s paraconsistent logic D2. We present: a D2-discursive algebra, Lindenbaum- Tarski algebra for D2 and D2-matrices.
Ciuciura Janusz
doaj +1 more source
On generic structures preserving elementary equivalence and elementary embeddability
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 We consider criteria for elementary equivalence and elementary embeddability for generic structures. They use classical characterizations for the general case.
S.V. Sudoplatov
doaj +1 more source
Towards an Independent Version of Tarski's System of Geometry
Electronic Proceedings in Theoretical Computer ScienceIn 1926-1927, Tarski designed a set of axioms for Euclidean geometry which reached its final form in a manuscript by Schwabhäuser, Szmielew and Tarski in 1983. The differences amount to simplifications obtained by Tarski and Gupta.
Boutry, Pierre +2 more
doaj +1 more source
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
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
Estudos Avançados, 1991 Como se sabe existem, pelo menos, quatro teorias de verdade que se evidenciam de relevância para o filósofo que se ocupa da Teoria da Ciência: 1) a Teoria da Correspondência, particularmente, na forma que lhe confiriu A. Tarski; 2) a Teoria da Coerência;
Jair Minoro Abe
doaj +1 more source
OPERADORES DE CONSEQUÊNCIA E RELAÇÕES DE CONSEQUÊNCIA
Kínesis, 2018 Neste artigo analisamos o operador de consequência de Tarski e algumas relações de consequência num ambiente conjuntista de lógica universal. Neste âmbito, mostramos propriedades e axiomas relativos a estas definições que implicam e são implicadas por ...
Hércules de Araújo Feitosa +2 more
doaj +1 more source