Kripke models and manivalued logics, II
Kripke models for intuitionistic theories with decidable atomic formulas.
Kripke models with relative accessibility and their applications to inferences from incomplete information
Kripke-Semantik der derivativen Prädikatelogik.
Kurzer Weg zur Bestimmung der durch eine Aussageverbindung dargestellten Wahrheitsfunktion.
logic and completeness theorem
-fuzzy ideal degrees in effect algebras
In this paper, considering being a completely distributive lattice, we first introduce the concept of -fuzzy ideal degrees in an effect algebra , in symbol . Further, we characterize -fuzzy ideal degrees by cut sets. Then it is shown that an -fuzzy subset in is an -fuzzy ideal if and only if which can be seen as a generalization of fuzzy ideals. Later, we discuss the relations between -fuzzy ideals and cut sets (-nested sets and -nested sets). Finally, we obtain that the -fuzzy...
logic and Completeness Theorem
La créativité des définitions dans les systèmes para-euclidiens
Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b) ni (c), une...
La fonction logique de Hilbert à travers les «Grundlagen der Mathematik»
La logique intensionnelle et les langues naturelles
La théorie d'un anneau de polynômes
Lambda-calcul, évaluation paresseuse et mise en mémoire
Langages à valeurs réelles et applications
Lattice of ℤ-module
In this article, we formalize the definition of lattice of ℤ-module and its properties in the Mizar system [5].We formally prove that scalar products in lattices are bilinear forms over the field of real numbers ℝ. We also formalize the definitions of positive definite and integral lattices and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [14], and cryptographic systems with lattices [15] and coding theory [9]....
L'axiomatisation de la syntaxe et le second theorem de Gödel
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Le fantôme de la modalité
Le lambda-calcul du second ordre
Le texte philosophique comme lieu d'étude sur la logique usuelle