Results 271 to 280 of about 342,984 (310)
Proof constructions and evaluations
, 2016 Stylianides, G, Stylianides, J., A
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
1999
This paper deals with formalizations and Verifications in type theory that are abstracted with respect to a class of datatypes; i.e polytypic constructions. The main advantage of these developments are that they can not only be used to define functions in a generic way but also to formally state polytypic theorems and to synthesize polytypic proof ...
Holger Pfeifer, Harald Rueβ
openaire +1 more source
This paper deals with formalizations and Verifications in type theory that are abstracted with respect to a class of datatypes; i.e polytypic constructions. The main advantage of these developments are that they can not only be used to define functions in a generic way but also to formally state polytypic theorems and to synthesize polytypic proof ...
Holger Pfeifer, Harald Rueβ
openaire +1 more source
2011
A critical examination of notions associated with mathematical intuitionism, with attention to mathematical practice, internal vs. external negations, constructive meaning, weak counterexamples, and theories of constructions. The article includes a theory of constructions based on nonstandard realizability.
openaire +1 more source
A critical examination of notions associated with mathematical intuitionism, with attention to mathematical practice, internal vs. external negations, constructive meaning, weak counterexamples, and theories of constructions. The article includes a theory of constructions based on nonstandard realizability.
openaire +1 more source
Intuitionistic model constructions and normalization proofs
Mathematical Structures in Computer Science, 1997This paper aims at giving a semantical treatment to normalization. The idea is to build a nonstandard model, and besides the interpretation function \([\cdot]\) from terms to the model, to define a function quote assigning each element of the model a normal term.
Coquand, Thierry, Dybjer, Peter
openaire +2 more sources
Construction of Retractile Proof Structures
2014In this work we present a paradigm of focusing proof search based on an incremental construction of retractile (i.e, correct or sequentializable) proof structures of the pure (units free) multiplicative and additive fragment of linear logic. The correctness of proof construction steps (or expansion steps) is ensured by means of a system of graph ...
openaire +2 more sources
Construction and Reductio Proof
Kant-Studien, 1999Evaluation de la methode de subreption qui permet a Kant d'etablir la validite objective a partir de la validite subjective en mathematiques. Examinant la demonstration par reductio ad absurdum dans les antinomines de la raison pure, en reference a Euclide, Aristote, Friedman et Saccheri, l'A.
openaire +1 more source
Vibration-proof construction method
The Journal of the Acoustical Society of America, 2006A vibration-proof construction method for preventing and reducing vibration around a structure which generates vibration or receives vibration includes construction work wherein a hard member having higher stiffness than the surrounding ground and a rubber elastic member are adjacently laid underground, around or directly underneath the building ...
openaire +1 more source
Strategic Construction of Fitch-style Proofs
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source