Indiscernibility of identicals

From MaRDI portal

Publication:1091378

Jump to:navigation, search

DOI10.1007/BF00375897zbMath0623.03005MaRDI QIDQ1091378

Pavel Tichý

Publication date: 1986

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

zbMATH Keywords

semantics lambda-calculus transparent intensional logic partial type theory omniscience intensional vs. non-intensional context theory of languages

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40) Proof theory and constructive mathematics (03F99)

Related Items (7)

A new logic of technical malfunction ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ Qualifying Quantifying-in ⋮ Transparent quantification into hyperintensional objectual attitudes ⋮ Predication and extensionalization ⋮ Substitution inconsistencies in Transparent Intensional Logic

This page was built for publication: Indiscernibility of identicals

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1091378&oldid=13123101"