All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 63

Showing per page

Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica

Ennio De Giorgi, Marco Forti, Giacomo Lenzi, Vincenzo Maria Tortorelli (1995)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

I primi elementi della sintassi e della semantica del Calcolo dei Predicati del primo ordine (predicati, proposizioni, formule, interpretazioni, ecc.) sono introdotti nell'ambiente delle teorie base dei Fondamenti della Matematica di [11]. Il problema della verità e falsità delle proposizioni è affontato introducendo, a fianco delle ordinarie qualità Q ⁢ v ⁢ e ⁢ r , Q ⁢ f ⁢ a ⁢ l ⁢ s , che non possono valutare tutte le proposizioni (Teorema 1), nuovi «oggetti metateorici», le metaqualità M ⁢ v ⁢ e ⁢ r , M ⁢ f ⁢ a ⁢ l ⁢ s che, indipendenti dalle relazioni...

Categorical Pullbacks

Marco Riccardi (2015)

Formalized Mathematics

The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors [14] and it...

Cauchy-like functional equation based on a class of uninorms

Feng Qin (2015)

Kybernetika

Commuting is an important property in any two-step information merging procedure where the results should not depend on the order in which the single steps are performed. In the case of bisymmetric aggregation operators with the neutral elements, Saminger, Mesiar and Dubois, already reduced characterization of commuting n -ary operators to resolving the unary distributive functional equations. And then the full characterizations of these equations are obtained under the assumption that the unary...

Cayley's Theorem

Artur Korniłowicz (2011)

Formalized Mathematics

The article formalizes the Cayley's theorem saying that every group G is isomorphic to a subgroup of the symmetric group on G.

Characteristic of Rings. Prime Fields

Christoph Schwarzweller, Artur Korniłowicz (2015)

Formalized Mathematics

The notion of the characteristic of rings and its basic properties are formalized [14], [39], [20]. Classification of prime fields in terms of isomorphisms with appropriate fields (ℚ or ℤ/p) are presented. To facilitate reasonings within the field of rational numbers, values of numerators and denominators of basic operations over rationals are computed.

Choice functions and well-orderings over the infinite binary tree

Arnaud Carayol, Christof Löding, Damian Niwinski, Igor Walukiewicz (2010)

Open Mathematics

We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by Gurevich and Shelah using set theoretical arguments. Our proof is much simpler and only uses basic tools from automata theory. We show how the result can be used to prove the inherent ambiguity of languages of infinite trees. In a second part we strengthen the result of the non-existence of an MSO-definable well-founded...

Circumcenter, Circumcircle and Centroid of a Triangle

Roland Coghetto (2016)

Formalized Mathematics

We introduce, using the Mizar system [1], some basic concepts of Euclidean geometry: the half length and the midpoint of a segment, the perpendicular bisector of a segment, the medians (the cevians that join the vertices of a triangle to the midpoints of the opposite sides) of a triangle. We prove the existence and uniqueness of the circumcenter of a triangle (the intersection of the three perpendicular bisectors of the sides of the triangle). The extended law of sines and the formula of the radius...

Classes of fuzzy filters of residuated lattice ordered monoids

Jiří Rachůnek, Dana Šalounová (2010)

Mathematica Bohemica

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of BL -algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...

Communication with www in Czech

Lukáš Svoboda, Luboš Popelínský (2004)

Kybernetika

This paper describes UIO, a multi–domain question–answering system for the Czech language that looks for answers on the web. UIO exploits two fields, namely natural language interface to databases and question answering. In its current version, UIO can be used for asking questions about train and coach timetables, cinema and theatre performances, about currency exchange rates, name–days and on the Diderot Encyclopaedia. Much effort have been made into making addition of a new domain very easy. No...

Currently displaying 1 – 20 of 63

Page 1 Next