Authors: Levine, Mike

Superior Title: Mix. Jan2024, Vol. 48 Issue 1, p46-47. 2p.

Subject Terms: *ARTIFICIAL intelligence, *LOGIC, MIDI (Standard), CORRELATORS

Authors: COOMBES, LLOYD (AUTHOR)

Superior Title: Macworld - Digital Edition. Jun2022, Vol. 39 Issue 6, p23-26. 4p. 4 Color Photographs.

Subject Terms: *LOGIC, *FREEWARE (Computer software)

Superior Title: Electronics Weekly. 4/3/2024, Issue 2855, p9-9. 1/2p. 1 Diagram.

Subject Terms: *LOGIC, COMPUTER logic, THRESHOLD logic, OVERVOLTAGE

Superior Title: Publishers Weekly. 5/13/2024, Vol. 271 Issue 19, p106-106. 1/3p. 1 Color Photograph.

Subject Terms: *LOGIC, ATRIUMS (Architecture)

Authors: Rudolph, Barry

Superior Title: Mix. Jul2023, Vol. 47 Issue 7, p48-48. 1p.

Subject Terms: *LOGIC, MICROPHONES, SOLIDS, MICROPHONE arrays, CAMERA tripods, GUITARS

Superior Title: Military & Aerospace Electronics. Mar2023, Vol. 34 Issue 3, p47-48. 2p.

Subject Terms: *LOGIC, AVIONICS

Superior Title: Mix. Jun2023, Vol. 47 Issue 6, p43-43. 1/7p.

Subject Terms: *LOGIC, *APPLICATION stores, IPADS

Company/Entity: APPLE Inc. AAPL

Authors: Rovito, Markkus

Superior Title: Mix. Oct2020, Vol. 44 Issue 10, p34-36. 3p.

Subject Terms: *LOGIC, MACBOOK (Computer), ELECTRONIC dance music, AGILE software development

Superior Title: Education Parliamentary Monitor; 1/2/2024, Issue 1085, p1-7, 7p

Subject Terms: ASSERTIONS (Logic), CLERGY, REFORMS, ASSOCIATIONS, institutions, etc.

Company/Entity: GREAT Britain. Parliamentary & Health Service Ombudsman

Authors: Bauer, Esaïe, Saurin, Alexis

Contributors: Université Paris Cité (UPCité), CNRS-formation Entreprise (CFE), Centre National de la Recherche Scientifique (CNRS), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)

Superior Title: https://hal.science/hal-04496648 ; 2024.

Subject Terms: Circular and non-wellfounded proofs, Cut elimination, Exponential modalities, Fixed-points, Linear logic, Proof theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04496648; https://hal.science/hal-04496648; https://hal.science/hal-04496648/document; https://hal.science/hal-04496648/file/main.pdf

Availability: https://hal.science/hal-04496648
https://hal.science/hal-04496648/document
https://hal.science/hal-04496648/file/main.pdf

Authors: Herbelin, Hugo, Ilik, Danko

Contributors: Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Centre National d'Études Spatiales Toulouse (CNES)

Superior Title: https://inria.hal.science/hal-04408312 ; 2024.

Subject Terms: Tarski semantics, Henkin's proof of Gödel's completeness, Computational contents of proofs, Reverse mathematics, MSC 03B10 Classical first-order logicMSC 03B35 Mechanization of proofs and logical operationsMSC 03C07 Basic properties of first-order languages and structuresMSC 03F07 Structure of proofsMSC 03F65 Other constructive mathematicsMSC 03-03 History of mathematical logic and foundations, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2401.13304; hal-04408312; https://inria.hal.science/hal-04408312; https://inria.hal.science/hal-04408312/document; https://inria.hal.science/hal-04408312/file/godelcompl-hal2024.pdf; ARXIV: 2401.13304

Availability: https://inria.hal.science/hal-04408312
https://inria.hal.science/hal-04408312/document
https://inria.hal.science/hal-04408312/file/godelcompl-hal2024.pdf

Authors: Traversié, Thomas

Contributors: Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

Superior Title: https://hal.science/hal-04561757 ; 2024.

Subject Terms: Kuroda's translation, higher-order logic, functional extensionality, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04561757; https://hal.science/hal-04561757; https://hal.science/hal-04561757/document; https://hal.science/hal-04561757/file/kurodahol.pdf

Availability: https://hal.science/hal-04561757
https://hal.science/hal-04561757/document
https://hal.science/hal-04561757/file/kurodahol.pdf

Authors: Takayama, Yoshinari, Saoud, Adnane, Iovine, Alessio

Contributors: CentraleSupélec, Université Paris-Saclay, Laboratoire des signaux et systèmes (L2S), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ANR-22-CE05-0016,ESTHER,Les systèmes électriques en tant que systèmes cyber-physiques pour améliorer la transition énergétique(2022)

Superior Title: https://hal.science/hal-04548049 ; 2024.

Subject Terms: optimal control signal temporal logic mixed logical dynamical systems microgrids, optimal control, signal temporal logic, mixed logical dynamical systems, microgrids, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [SPI.NRJ]Engineering Sciences [physics]/Electric power

Relation: hal-04548049; https://hal.science/hal-04548049; https://hal.science/hal-04548049/document; https://hal.science/hal-04548049/file/2024NMPC_Takayama.pdf

Availability: https://hal.science/hal-04548049
https://hal.science/hal-04548049/document
https://hal.science/hal-04548049/file/2024NMPC_Takayama.pdf

Authors: Girlando, Marianna, Kuznets, Roman, Marin, Sonia, Morales, Marianela, Straßburger, Lutz

Contributors: Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Vienna University of Technology = Technische Universität Wien (TU Wien), University of Birmingham Birmingham, Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute IMDEA Software Madrid

Superior Title: https://inria.hal.science/hal-04569308 ; 2024.

Subject Terms: Intuitionistic modal logic, Labelled sequent calculus, Decidability, Root-first proof search, Finite model property, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04569308; https://inria.hal.science/hal-04569308; https://inria.hal.science/hal-04569308/document; https://inria.hal.science/hal-04569308/file/main-nocomment.pdf

Availability: https://inria.hal.science/hal-04569308
https://inria.hal.science/hal-04569308/document
https://inria.hal.science/hal-04569308/file/main-nocomment.pdf

Authors: Sadrzadeh, Mehrnoosh, Straßburger, Lutz

Contributors: University College of London London (UCL), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Superior Title: https://inria.hal.science/hal-04569184 ; 2024.

Subject Terms: Substructural Logics, Permutation and Contraction, Exponentials, Proof Nets, Polarised Systems, Natural Language, Relativisation, Long Distance Dependencies, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-04569184; https://inria.hal.science/hal-04569184; https://inria.hal.science/hal-04569184/document; https://inria.hal.science/hal-04569184/file/main-final.pdf

Availability: https://inria.hal.science/hal-04569184
https://inria.hal.science/hal-04569184/document
https://inria.hal.science/hal-04569184/file/main-final.pdf

Authors: Das, Anupam, De, Abhishek

Subject Terms: Logic in Computer Science cs.LO, Logic math.LO, FOS Computer and information sciences, FOS Mathematics

Availability: https://doi.org/10.48550/arxiv.2404.16231
https://arxiv.org/abs/2404.16231

Authors: Visser, Albert, Litak, Tadeusz

Subject Terms: Logic math.LO, Logic in Computer Science cs.LO, FOS Mathematics, FOS Computer and information sciences, {03B45, 03F45, 03F50, 03F55

Availability: https://doi.org/10.48550/arxiv.2404.11969
https://arxiv.org/abs/2404.11969

Authors: Sterling, Jonathan

Subject Terms: Logic in Computer Science cs.LO, Category Theory math.CT, Logic math.LO, FOS Computer and information sciences, FOS Mathematics

Availability: https://doi.org/10.48550/arxiv.2404.07854
https://arxiv.org/abs/2404.07854

Authors: Bojańczyk, Mikołaj, Nguyên, Lê Thành Dũng, Stefański, Rafał

Subject Terms: Logic in Computer Science cs.LO, Formal Languages and Automata Theory cs.FL, Logic math.LO, FOS Computer and information sciences, FOS Mathematics

Availability: https://doi.org/10.48550/arxiv.2404.05265
https://arxiv.org/abs/2404.05265

Authors: Cattabriga, Paola

Subject Terms: Logic in Computer Science cs.LO, Logic math.LO, FOS Computer and information sciences, FOS Mathematics, 03D99 03B70 68Q01

Availability: https://doi.org/10.48550/arxiv.2404.04038
https://arxiv.org/abs/2404.04038