𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finite structural axiomatization of every finite-valued propositional calculus

✍ Scribed by Zdzisław Dywan

Publisher
Springer Netherlands
Year
1980
Tongue
English
Weight
214 KB
Volume
39
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

In [2] A. Wrofiski proved that there is a strongly finite consequence

📜 SIMILAR VOLUMES

A Finite Hilbert-Style Axiomatization of
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus
✍ Jordi Rebagliato; Ventura Verdú 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 374 KB 👁 1 views

## Abstract In this paper we obtain a finite Hilbert‐style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}‐formulas containing this fragment. Mat

Numerical point of view on Calculus for
Numerical point of view on Calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains
✍ Yaroslav D. Sergeyev 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 795 KB

The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses recently introduced infinite and infinitesimal numbers being