1.2k citations
- Université Sorbonne Paris NordFR291 papers
- Centre National de la Recherche ScientifiqueFR216 papers
- Sorbonne Paris CitéFR64 papers
- Sorbonne UniversitéFR40 papers
- Université Paris CitéFR34 papers
- Laboratoire de Physique Théorique de la Matière CondenséeFR32 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR19 papers
- The Open UniversityGB19 papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL18 papers
- Université Pierre-et-Marie-CurieFR18 papers
- Horia Hulubei National Institute for R and D in Physics and Nuclear EngineeringRO17 papers
4 papers · 2 filters
Efficient Decision Procedures for RNmatrix Semantics
Renato R. Leme, Carlos Olarte, Elaine Pimentel
Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…
Collusion Relations and their Applications to Balance Theory
Jean-Baptiste Joinet, Carlos Olarte
We study quadrangular properties of binary relations on a set X -i.e., properties defined on configurations of four elements -- within an agonistic interpretation, where xRy is int…
A Rocq Formalization of Simplicial Lagrange Finite Elements
Sylvie Boldo, François Clément, Vincent Martin +2
Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finit…
Linear Realisability and Implicative Algebras
Alexandre Lucquin, Luc Pellissier, Thomas Seiller
Realizability, introduced by Kleene, can be understood as a concretization of the Brouwer-Heyting-Kolmogorov (BHK) interpretation of proofs, providing a framework to interpret math…