Concept
Logical truth
Related publications (32)
LISA – A Modern Proof System
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
2023On Polynomial Algorithms for Normalizing Formulas
Viktor Kuncak, Simon Guilloud, Mario Bucev
We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...
2022The irreducibility of vision: Gestalt, crowding and the fundamentals of vision
What is fundamental in vision has been discussed for millennia. For philosophical realists and the physiological approach to vision, the objects of the outer world are truly given, and failures to perceive objects properly, such as in illusions, are just s ...
2022Flowing Gas Experiments Reveal Mechanistic Details of Interfacial Reactions on a Molecular Level at Knudsen Flow Conditions
Christian Ludwig, Michel Rossi, Riccardo Iannarelli
Knudsen flow experiments and its interpretation in terms of adsorption/desorption kinetics as well as quantitative uptake on substrates of interest is presented together with the description of critical design parameters of the Knudsen Flow Reactor (KFR). ...
2022