An intensional formalization of generic statements

DOI10.1007/S11787-023-00323-1OpenAlexW4366331438MaRDI QIDQ6113687

Hugolin Bergier

Publication date: 11 July 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-023-00323-1

zbMATH Keywords

classical logiclambda-calculuscombinatory logicuniversal quantifiergeneric statement

Mathematics Subject Classification ID

Logic of natural languages (03B65) Classical first-order logic (03B10) Linguistics (91F20) Combinatory logic and lambda calculus (03B40)

Cites Work

• Combinatory logic. With two sections by William Craig.
• Logic of determination of objects (LDO): how to articulate ``extension with ``intension and ``objects with ``concepts
• Outlines of a formalist philosophy of mathematics. 3rd printing
• Unnamed Item
• Unnamed Item

This page was built for publication: An intensional formalization of generic statements