Relation Lifting, With an Application to the Many-Valued Cover Modality

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-9(4:8)2013
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Interval-Valued Distributed Preference Relation and Its Application to Group Decision Making

PLoS ONE
Multidisciplinary
2018English

Many-Valued and Many-Sorted Structure Relations

2019English

An Inferentially Many-Valued Two-Dimensional Notion of Entailment

Bulletin of the Section of Logic
PhilosophyLogic
2017English

Lifting Methods for Manifold-Valued Variational Problems

2020English

A Permanent Formula With Many Zero-Valued Terms

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
1997English

Many-Valued Logic in Manufacturing

2016English

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

Many-Valued Logic in the Jewish Short Stories

Studia Humana
2015English

Algebraic Analysis of Many Valued Logics

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1958English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy