Expressif is the variable substitution syntax combined with a library of predicates and functions. Initially designed for NBi.io, Expressif allows you to define variables, transformations of these ...
Abstract: We study predicate logic that is interpreted in Kripke models similarly to intuitionistic logic except that the accessibility relation of each model is not necessarily reflexive. Unlike in ...
This book offers an introduction to mathematical proofs and to the fundamentals of modern mathematics. No real prerequisites are needed other than a suitable level of mathematical maturity. The text ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results