What is mathematical proof?
S. D. Bajpai (1982)
Gaceta Matemática
Similarity:
S. D. Bajpai (1982)
Gaceta Matemática
Similarity:
Maurizio Negri (2002)
Bollettino dell'Unione Matematica Italiana
Similarity:
We introduce Kleene's 3-valued logic in a language containing, besides the Boolean connectives, a constant for the undefined truth value, so in developing semantics we can switch from the usual treatment based on DM-algebras to the narrower class of DMF-algebras (De Morgan algebras with a single fixed point for negation). A sequent calculus for Kleene's logic is introduced and proved complete with respect to threevalent semantics. The completeness proof is based on a version of the...
Reiner Hähnle, Gonzalo Escalada-Imaz (1997)
Mathware and Soft Computing
Similarity:
Michael Franssen, Harrie De Swart (2004)
RACSAM
Similarity:
Cocktail is a tool for deriving correct programs from their specifications. The present version is powerful enough for educational purposes. The tool yields support for many sorted first order predicate logic, formulated in a pure type system with parametric constants (CPTS), as the specification language, a simple While-language, a Hoare logic represented in the same CPTS for deriving programs from their specifications and a simple tableau based automated theorem prover for verifying...
Mirjana Isaković Ilić (2007)
Publications de l'Institut Mathématique
Similarity:
Jan Štěpán (1991)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
G. Rousseau (1970)
Fundamenta Mathematicae
Similarity:
Prešić, Slaviša B. (1997)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity: