A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS

Keywords

Mathematics, Lattice (music), Fixed-point theorem, Pure mathematics, Physics

References

• Introduction to general topologyWacław Sierpiński, C. Cecilia Krieger — 1934
• The Algebra of TopologyJ. C. C. McKinsey, Alfred Tarski — 1944
• A characterization of complete latticesA.C. Davis — 1955
• The generalized simplex method for minimizing a linear form under linear inequality restraintsGeorge B. Dantzig, Alexander Orden, Philip Wolfe — 1955
• Lattice Theory Revised EditionG. Birkhoff — 1948

Cited by

• A Konolige bridge between default logic and autoepistemic logicMartijn Pennings — 2008
• Reactive Systems: Modelling, Specification and VerificationLuca Aceto, Anna Ingólfsdóttir, Kim G. Larsen — 2007
• Caches in WCET Analysis: Predictability - Competitiveness - SensitivityJan Reineke — 2008
• Exploiting PSL standard assertions in a theorem-proving-based verification environmentAnli He, Parija Sule, Young‐Sik Kim — 2005
• Nash equilibrium in discontinuous gamesPhilip J. Reny — 2015
• Des bisimulations pour la sémantique des systèmes réactifs. (Bisimulations for the semantics of reactive systems)Sophie Pinchinat — 1993
• Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological CyclesKenichi Okuno, Kazuko Takahashi — 2009
• Fixpoint & Proof-theoretic Semantics for CLP with Qualification and ProximityMario Rodríguez-Artalejo, Carlos A. Romero-Díaz — 2010
• Demonic Operational and Denotational SemanticsFairouz Tchier, Saudi Arabia — 2008
• Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based ModelsBart Wissink, Renske Dijkwel, Ronald Meijer — 2016
• SETL for Internet Data ProcessingDavid F. Bacon — 2000
• Efficient Explicit -State Model Checking for Programs With Dynamically Allocated DataDarko Marinov, Marcelo d’Amorim — 2007
• ASYMPTOTICAL VARIANTS OF SOME FIXED POINT THEOREMS IN ORDERED SETSTamás Baranyai — 2003
• Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative ProgramsShamim A. Naqvi, Lawrence J. Henschen — 1983
• Numerical Approach to Fixed Point TheoremsNoureddine Daili — 2008
• An Algebra of Causal ChainsPedro Cabalar, Jorge Fandinno — 2013
• Characteristic Formulae: From Automata to LogicLuca Aceto, Anna Ingólfsdóttir — 2007
• Abstract Interpretation of Unstructured Imperative Languages on Unbounded DomainsPavle Subotić — 2011
• Analysis of preemptively scheduled hard real-time systemsSebastian Altmeyer — 2013
• On the set of certain conflicts of a given languageRobi Malik — 2004

Related papers

• Primärzerlegung in Steinschen AlgebrenOtto Förster — 1964
• Über unirationale Scharen auf algebraischen MannigfaltigkeitenLudwig Reich — 1966
• Algebraic Set Operations, Multifunctions, and Indefinite IntegralsMilan V. Jovanović, Veselin Jungić — 1996
• On Almost α(Λ, sp)-continuous MultifunctionsChawalit Boonpok, Jeeranunt Khampakdee — 2022
• Produkttreue Klassen universeller AlgebrenJürgen Timm — 1969
• Approximation of fixed points of multifunctions in partial metric spacesDaniela Paesano — 2015
• The World of Jagdish N. SrivastavaSubir Ghosh, Sudhir Gupta, Rahul Mukerjee — 2013
• Hardy spaces of analytic multifunctions.Jonas Avelin — 1997
• The equivalence of uninorms induced by the U-partial orderEmel Aşıcı — 2019
• Kennzeichnung derp-adischen und der endlichen algebraischen ZahlkörperJ�rgen Neukirch — 1969