UB Paderborn / Katalog / Suche / in CDI

Advanced Łukasiewicz calculus and MV-algebras

Mundici, D

2011., 2011

Volltextzugriff (PDF)

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

1996

Volltextzugriff (PDF)

Advanced ?ukasiewicz calculus and MV-algebras

Mundici, D

1. Aufl., 2011

Volltextzugriff (PDF)

Interpretation of AF C-algebras in Lukasiewicz sentential calculus

Journal of functional analysis, 1986, Vol.65 (1), p.15-63

MUNDICI, D

1986

Volltextzugriff (PDF)

Faulty sets of Boolean formulas and ukasiewicz logic

Journal of logic and computation, 2014-12

2014

Volltextzugriff (PDF)

A Compact [0,1]-valued First-order Lukasiewicz Logic with Identity on Hilbert Space

Journal of logic and computation, 2011-06, Vol.21 (3), p.509-525

Mundici, D.

2011

Volltextzugriff (PDF)

A Stone-Weierstrass theorem for MV-algebras and unital -groups

Journal of logic and computation, 2015-06, Vol.25 (3), p.683-699

2015

Volltextzugriff (PDF)

Tensor Products and the Loomis–Sikorski Theorem for MV-Algebras

Advances in applied mathematics, 1999-02, Vol.22 (2), p.227-248

Mundici, Daniele

1999

Volltextzugriff (PDF)

Nonboolean partitions and their logic

Soft computing (Berlin, Germany), 1998-04, Vol.2 (1), p.18-22

Mundici, D.

1998

Volltextzugriff (PDF)

A Cantor-Bernstein Theorem for σ-Complete MV-Algebras

Czechoslovak mathematical journal, 2003-01, Vol.53 (2), p.437-447

2003

Volltextzugriff (PDF)

Simple Bratteli diagrams with a Gödel-incomplete C-equivalence problem

Transactions of the American Mathematical Society, 2004-05, Vol.356 (5), p.1937-1955

Mundici, Daniele

2004

Volltextzugriff (PDF)

A Characterization of the free n-generated MV-algebra

Archive for mathematical logic, 2006-02, Vol.45 (2), p.239-247

Mundici, Daniele

2006

Volltextzugriff (PDF)

Consequence and complexity in infinite-valued logic: a survey

Proceedings - International Symposium on Multiple-Valued Logic, 2002, p.104-114

2002

Volltextzugriff (PDF)

Efficient loop-check for backward proof search in some non-classical propositional logics

Theorem Proving with Analytic Tableaux and Related Methods, 1996, p.210-225

1996

Volltextzugriff (PDF)

Weierstrass approximations by Lukasiewicz formulas with one quantified variable

Proceedings / International Symposium on Multiple-Valued Logic, 2001, p.361-366

2001

Volltextzugriff (PDF)

MV-algebras: a variety for magnitudes with archimedean units

Algebra universalis, 2005-01, Vol.53 (1), p.7-43

2005

Volltextzugriff (PDF)

Extending Stone duality to multisets and locally finite MV-algebras

Journal of pure and applied algebra, 2004-05, Vol.189 (1), p.37-59

2004

Volltextzugriff (PDF)

The disconnection method: A confluent integration of unification in the analytic framework

Theorem Proving with Analytic Tableaux and Related Methods, 1996, p.110-126

1996

Volltextzugriff (PDF)

Minimal model generation with positive unit hyper-resolution tableaux

Theorem Proving with Analytic Tableaux and Related Methods, 1996, p.143-159

1996

Volltextzugriff (PDF)

The complexity of adaptive error-correcting codes

Computer Science Logic, 2005, p.300-307

2005

Volltextzugriff (PDF)

T-string unification: Unifying prefixes in non-classical proof methods

Theorem Proving with Analytic Tableaux and Related Methods, 1996, p.244-260

1996

Volltextzugriff (PDF)

A constructive proof of McNaughton's theorem in infinite-valued logic

The Journal of symbolic logic, 1994-06, Vol.59 (2), p.596-602

Mundici, Daniele

1994

Volltextzugriff (PDF)

Proof-search in intuitionistic logic based on constraint satisfaction

Theorem Proving with Analytic Tableaux and Related Methods, 1996, p.312-329

1996

Volltextzugriff (PDF)

Other Quantifiers: An Overview

Model-Theoretic Logics, 2017, p.211-234

Mundici, D.

2017

Volltextzugriff (PDF)

Sequent calculi for default and autoepistemic logics

Theorem Proving with Analytic Tableaux and Related Methods, 1996, p.127-142

1996

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Advanced Łukasiewicz calculus and MV-algebras

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

Advanced ?ukasiewicz calculus and MV-algebras

Interpretation of AF C-algebras in Lukasiewicz sentential calculus

Faulty sets of Boolean formulas and ukasiewicz logic

A Compact [0,1]-valued First-order Lukasiewicz Logic with Identity on Hilbert Space

A Stone-Weierstrass theorem for MV-algebras and unital -groups

Tensor Products and the Loomis–Sikorski Theorem for MV-Algebras

Nonboolean partitions and their logic

A Cantor-Bernstein Theorem for σ-Complete MV-Algebras

Simple Bratteli diagrams with a Gödel-incomplete C-equivalence problem

A Characterization of the free n-generated MV-algebra

Consequence and complexity in infinite-valued logic: a survey

Efficient loop-check for backward proof search in some non-classical propositional logics

Weierstrass approximations by Lukasiewicz formulas with one quantified variable

MV-algebras: a variety for magnitudes with archimedean units

Extending Stone duality to multisets and locally finite MV-algebras

The disconnection method: A confluent integration of unification in the analytic framework

Minimal model generation with positive unit hyper-resolution tableaux

The complexity of adaptive error-correcting codes

T-string unification: Unifying prefixes in non-classical proof methods

A constructive proof of McNaughton's theorem in infinite-valued logic

Proof-search in intuitionistic logic based on constraint satisfaction

Other Quantifiers: An Overview

Sequent calculi for default and autoepistemic logics

Suchergebnisse filtern