Map genus, forbidden maps, and monadic second-order logic.
Matrix of ℤ-module1
In this article, we formalize a matrix of ℤ-module and its properties. Specially, we formalize a matrix of a linear transformation of ℤ-module, a bilinear form and a matrix of the bilinear form (Gramian matrix). We formally prove that for a finite-rank free ℤ-module V, determinant of its Gramian matrix is constant regardless of selection of its basis. ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattices [22]...
Measures of centrality and complexity for partial propositional calculi.
Mengentheoretische Modelle des ...K-Kalküls.
Metamathematical discussion of some affine geometries
Metric similarities in the logic of approximation.
We describe restricted and extended versions of the logic of approximation which is meant to handle formally the problems of measurement error and of deduction under conditions of uncertainty. We apply the logic to the foundations of social and behavioral inquiry, axiomatizing in it an inexact similarity predicate which behaves like a metric approximation to identity. In the restricted version of the logic we formulate conditions for the imbeddability of similarity models in the real line, and in...
Migrativity properties of 2-uninorms over semi-t-operators
In this paper, we analyze and characterize all solutions about -migrativity properties of the five subclasses of 2-uninorms, i. e. , , , , , over semi-t-operators. We give the sufficient and necessary conditions that make these -migrativity equations hold for all possible combinations of 2-uninorms over semi-t-operators. The results obtained show that for , the -migrativity of over a semi-t-operator is closely related to the -section of or the ordinal sum representation of t-norm...
Minimal axiomatic system of fuzzy logical algebra
Minimal modal systems in which Heyting and classical logic can be embedded.
Mixed integer programming, general concept inclusions and fuzzy description logics.
Modal operators on ordered sets
Modal operators on symmetrical Heyting algebras
Modal Translations of Heyting and Peano Arithmetic
Modality in open Institutions with Concrete Syntax
Model existence theorem in superrelevant predicate logics.
Model theory for logic.
Model Theory for Lam Logic
Modèles cumulatifs de la théorie des types
Modeling biased information seeking with second order probability distributions
Updating probabilities by information from only one hypothesis and thereby ignoring alternative hypotheses, is not only biased but leads to progressively imprecise conclusions. In psychology this phenomenon was studied in experiments with the “pseudodiagnosticity task”. In probability logic the phenomenon that additional premises increase the imprecision of a conclusion is known as “degradation”. The present contribution investigates degradation in the context of second order probability distributions....
Model-interpretability into trees and applications.