𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On some non-classical extensions of second-order intuitionistic propositional calculus

✍ Scribed by Andrej Ščedrov

Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
386 KB
Volume
27
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On some second-order non-linear systems
On some second-order non-linear systems of a hyperbolic-parabolic type
✍ Andrzej Chrzȩszczyk 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 362 KB

## Abstract We consider local solutions to the Cauchy problem for a class of non‐linear hyperbolic‐parabolic systems generalizing the systems of elasticity and thermoelasticity. Our main purpose is to relax the usual regularity requirements to include the nonclassical solutions into considerations.