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

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

Many Worlds and Modality in the Interpretation of Quantum Mechanics: An Algebraic Approach

Journal of Mathematical Physics
Nonlinear PhysicsMathematical PhysicsStatistical
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy