Displaying similar documents to “Arithmetics of natural numbers as part of the bi-valued propositional calculus”

From two- to four-valued logic

Chris Brink (1993)

Banach Center Publications

Similarity:

The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.

From Pixels and Minds to the Mathematical Knowledge in a Digital Library

Sojka, Petr, Rákosník, Jiří

Similarity:

Experience in setting up a workflow from scanned images of mathematical papers into a fully fledged mathematical library is described on the example of the project Czech Digital Mathematics Library DML-CZ. An overview of the whole process is given, with description of all main production steps. DML-CZ has recently been launched to public with more than 100,000 digitized pages.

Identity, Equality, Nameability and Completeness

María Manzano, Manuel Crescencio Moreno (2017)

Bulletin of the Section of Logic

Similarity:

This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme....

Building the Czech Digital Mathematics Library upon DSpace system

Krejčíř, Vlastimil

Similarity:

The paper describes the process of building the Czech Digital Mathematics Library (DML-CZ) upon DSpace System. At first, the DML-CZ will be briefly introduced. Then we will describe DSpace system and its architecture together with Manakin — a system for building user interface above DSpace. The first technical part of the paper will be about mapping DML-CZ structure onto DSpace structures and about our importing tools and the way of managing requested features which are not supported...