A Lesniewski-Mihailescu-theorem for m-valued propositional calculi
Götlind, Erik (1951)
Portugaliae mathematica
Similarity:
Götlind, Erik (1951)
Portugaliae mathematica
Similarity:
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.
Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić (2009)
Zbornik Radova
Similarity:
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.
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....
Milan Tasić (1991)
Publications de l'Institut Mathématique
Similarity:
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...