Logical constants across varying types

DOI10.1305/ndjfl/1093635152zbMath0694.03023OpenAlexW2142525178MaRDI QIDQ908900

J. F. A. K. van Benthem

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635152

zbMATH Keywords

lambda calculustype theorylogical constantslogicality

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Related Items (11)

INVARIANCE CRITERIA AS META-CONSTRAINTS ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Logical operations and invariance ⋮ Reassessing logical hylomorphism and the demarcation of logical constants ⋮ CARNAP’S PROBLEM FOR MODAL LOGIC ⋮ Language in action ⋮ Applied logic without psychologism ⋮ LOGICALITY AND MEANING ⋮ Logic, logics, and logicism ⋮ Sameness ⋮ Schema Mappings: A Case of Logical Dynamics in Database Theory

This page was built for publication: Logical constants across varying types