Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Soft Computing
Published in: Soft Computing 10/2015

01-10-2015 | Foundations

On products of posets and coproducts of KM-algebras

Authors: J. L. Castiglioni, H. J. San Martín

Published in: Soft Computing | Issue 10/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The main goal of this work is to give an explicit computation of some coproducts in the variety of KM-algebras introduced by the Chişinǎu group headed by Kuznetsov during the decade of the 1970s. This is done using a Priestley style duality.
previous article On the statistical distribution of the expected run-time in population-based search algorithms
next article An investigation on Boolean prime filters in BL-algebras

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
Literature
Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, ColumbiaMATH
Castiglioni JL, Sagastume M, San Martín HJ (2010) On frontal Heyting algebras. Rep Math Log 45:201–224MATH
Castiglioni JL, San Martín HJ (2011) On some classes of Heyting algebras with successor that have the amalgamation property. Studia Logica 100:1255–1269CrossRef
Esakia L (1974) Topological Kripke model. Soviet Math Dokl 15:147–151MATH
Esakia L (2006) The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic. J Appl Non-Class Log 16(3–4):349–366CrossRefMATHMathSciNet
Esakia L, Grigoglia R (2008) Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Log Log Philos 17:111–127MATH
Harzheim E (2005) Ordered sets. Advances in mathematics, vol 7, 1st edn. Springer, US
Kuznetsov AV, Muravitsky AY (1986) On superintuitionistic logics as fragments of proof logic extensions. Studia Logica 45(1):77–99CrossRefMATHMathSciNet
Muravitsky AY (1990) Magari and \(\Delta \)-pseudo-Boolean algebras. Sib Math J 31(4):623–628CrossRef
Muravitsky AY (1988) An algebraic of the separation property for an intuitionistic provability calculus. Math USSR Sbornik 59(2):397–406CrossRef
Muravitsky AY (2014) Logic KM: a biography. In: Leo Esakia on Duality of Modal and Intuitionistics logics. Series: Outstanding Contributions to Logic, vol 4. Springer, Berlin, pp 147–177
Metadata
Title
On products of posets and coproducts of KM-algebras
Authors
J. L. Castiglioni
H. J. San Martín
Publication date
01-10-2015
Publisher
Springer Berlin Heidelberg
Published in
Soft Computing / Issue 10/2015
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-015-1693-6

Other articles of this Issue 10/2015

Soft Computing 10/2015 Go to the issue

Methodologies and Application

Linear optimization with mixed fuzzy relation inequality constraints using the pseudo-t-norms and its application

Methodologies and Application

The universal approximation capabilities of double 2 $$\pi $$ π -periodic approximate identity neural networks

Methodologies and Application

A fuzzy logic controller applied to a diversity-based multi-objective evolutionary algorithm for single-objective optimisation

Methodologies and Application

A novel optimization algorithm inspired by the creative thinking process

Foundations

An investigation on Boolean prime filters in BL-algebras

Methodologies and Application

A formula to calculate the variance of uncertain variable

Premium Partner

    Image Credits