Résultats de la recherche - algebraic logic

New Development of Neutrosophic Probability, Neutrosophic Statistics, Neutrosophic Algebraic Structures, and Neutrosophic & Plithogenic Optimizations

DOAB: download the publication
DOAB: description of the publication

INTERSUBJECT CONNECTIONS OF COURSE OF MATHEMATICAL LOGIC AND OTHER MATHEMATICAL COURSES AT PREPARATION OF FUTURE TEACHER OF MATHEMATICS par Yu.I. Sinko

Connect to this object online.

The Methodical Recommendations of Study of a Theme "Normal Forms for the Formulas of Algebra of the Statements" with use of Integrated Program Environment "MatLog". par Y. I. Sinko

Connect to this object online.

VirPLC: a Methodology to Developing Capacities, Skills and Self-esteem by the Logical Stimulus with a Simple, Functional and Dynamic Tool par Antoni FERRER ROJAS

Connect to this object online.

Foundations of Quantum Theory From Classical Concepts to Operator Algebras / par Landsman, Klaas

Table des matières: “…Introduction -- Part I Co(X) and B(H): Classical physics on a finite phase space -- Quantum mechanics on a finite-dimensional Hilbert space -- Classical physics on a general phase space -- Quantum physics on a general Hilbert space -- Symmetry in quantum mechanics -- Part II Between Co(X) and B(H): Classical models of quantum mechanics -- Limits: Small hbar -- Limits: large N -- Symmetry in algebraic quantum theory -- Spontaneous Symmetry Breaking -- The Measurement Problem -- Topos theory and quantum logic -- Appendix A: Finite-dimensional Hilbert spaces -- Appendix B: Basic functional analysis -- Appendix C: Operator algebras -- Appendix D: Lattices and logic -- Appendix E: Category theory and topos theory -- References.…”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Sujets: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Sujets: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter «Li vostri che tenghono li libri non sanno tenere tanti chonnti». Useful knowledge and accounting as seen through the accountant's lenses and the logic of capitalism par Lang, Heinrich

DOAB: download the publication
DOAB: description of the publication

Chapter «Li vostri che tenghono li libri non sanno tenere tanti chonnti». Useful knowledge and accounting as seen through the accountant's lenses and the logic of capitalism par Lang, Heinrich

OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

DOAB: download the publication
DOAB: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

OAPEN Library: download the publication
OAPEN Library: description of the publication

Discrete Mathematics and Symmetry par Garrido, Angel

Sujets: “…quantum B-algebra…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table des matières: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

Quantum Probability and Randomness par Khrennikov, Andrei

Sujets: “…partially defined algebras…”
DOAB: download the publication
DOAB: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table des matières: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

Algorithms in Decision Support Systems

Sujets: “…Boolean logic…”
DOAB: download the publication
DOAB: description of the publication

Data Science: Measuring Uncertainties

Sujets: “…inductive logic…”
DOAB: download the publication
DOAB: description of the publication

New Challenges in Neutrosophic Theory and Applications

Sujets: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication

Computational Intelligence and Soft Computing: Recent Applications

Sujets: “…MI-algebras…”
DOAB: download the publication
DOAB: description of the publication