Top

Soft Computing

Published in:

01-11-2012 | Focus

Admissibility in De Morgan algebras

Authors: George Metcalfe, Christoph Röthlisberger

Published in: Soft Computing | Issue 11/2012

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

search-config

AI-assisted search

Off

Abstract

Characterizations of admissible quasi-identities, which may be understood as quasi-identities holding in free algebras on countably infinitely many generators, are provided for classes of De Morgan algebras and lattices.

previous article Geometrical aspects of possibility measures on finite domain MV-clans

next article Extended-order algebras and fuzzy implicators

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

Bergman C (1991) Structural completeness in algebra and logic. In: Andréka H, Monk J, Nemeti I (eds) Algebraic logic (proc. conf., Budapest, 8–14 August 1988), Colloquia Mathematica Societatis János Bolyai, vol 54. North-Holland, Amsterdam, pp 59–73

Burris S, Sankappanavar HP (1981) A course in universal algebra. Graduate texts in mathematics, vol 78. Springer, New YorkCrossRef

Cintula P, Metcalfe G (2009) Structural completeness in fuzzy logics. Notre Dame J Formal Log 50(2):153–183MathSciNetMATHCrossRef

Cintula P, Metcalfe G (2010) Admissible rules in the implication-negation fragment of intuitionistic logic. Ann Pure Appl Log 162(10):162–171MathSciNetMATHCrossRef

Font JM (1997) Belnap’s four-valued logic and De Morgan lattices. Log J IGPL 5(3):1–29MathSciNetCrossRef

Gaitán H, Perea MH (2004) A non-finitely based quasi-variety of De Morgan algebras. Stud Log 78(1–2):237–248MATHCrossRef

Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. Elsevier, AmsterdamMATH

Gehrke M, Walker CL, Walker EA (2003) Normal forms and truth tables for fuzzy logics. Fuzzy Sets Syst 138:25–51MathSciNetMATHCrossRef

Ghilardi S (1999) Unification in intuitionistic logic. J Symb Log 64(2):859–880MathSciNetMATHCrossRef

Ghilardi S (2000) Best solving modal equations. Ann Pure Appl Log 102(3):184–198MathSciNetCrossRef

Iemhoff R (2001) On the admissible rules of intuitionistic propositional logic. J Symb Log 66(1):281–294MathSciNetMATHCrossRef

Jeřábek E (2005) Admissible rules of modal logics. J Log Comput 15:411–431MATHCrossRef

Jeřábek E (2010a) Admissible rules of Łukasiewicz logic. J Log Comput 20(2):425–447MATHCrossRef

Jeřábek E (2010b) Bases of admissible rules of Łukasiewicz logic. J Log Comput 20(6):1149–1163MATHCrossRef

Kalman JA (1958) Lattices with involution. Trans Am Math Soc 87:485–491MathSciNetMATHCrossRef

Moisil G (1935) Recherches sur l’algébre de la logique. Ann Sci Univ Jassy 22(3):1–117

Olson JS, Raftery JG (2007) Positive Sugihara monoids. Algebra Univers 57:75–99MathSciNetMATHCrossRef

Olson JS, Raftery JG, Alten CJV (2008) Structural completeness in substructural logics. Log J IGPL 16(5):453–495MATHCrossRef

Pynko AP (1999) Implicational classes of De Morgan lattices. Discrete Math 205(1–3):171–181MathSciNetMATHCrossRef

Rybakov VV (1997) Admissibility of logical inference rules. Studies in logic and the foundations of mathematics, vol 136. Elsevier, Amsterdam

Title: Admissibility in De Morgan algebras
Authors: George Metcalfe
Christoph Röthlisberger
Publication date: 01-11-2012
Publisher: Springer-Verlag
Published in: Soft Computing / Issue 11/2012
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-012-0839-z

Springer Professional

Abstract

Please log in to get access to your license.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 11/2012

Extended-order algebras and fuzzy implicators

Automatic evolution of programs for procedural generation of terrains for video games

Noetherian and Artinian BL-algebras

Vagueness: where degree-based approaches are useful, and where we can do without

Hahn–Banach theorems for MV-algebras

Bipedal robot walking control on inclined planes by fuzzy reference trajectory modification

Premium Partner