Extensional Logic of Hyperintensions
From MaRDI portal
Publication:3224007
Recommendations
- Intensional logic in extensional language
- Extensionality and logicality
- Extensionality and intensionality of the ambient logics
- Hyperfinite logics and non-standard extensions of Boolean algebras
- On some extensions of intuitionistic logic
- Extensionalizing intensional second-order logic
- scientific article; zbMATH DE number 7109521
- Extensions of the provability logic
- scientific article; zbMATH DE number 51820
- Extended First-Order Logic
Cites work
- A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
- Alonzo Church's Contributions to Philosophy and Intensional Logic
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- scientific article; zbMATH DE number 43055 (Why is no real title available?)
- scientific article; zbMATH DE number 510787 (Why is no real title available?)
- scientific article; zbMATH DE number 1786552 (Why is no real title available?)
- scientific article; zbMATH DE number 1869991 (Why is no real title available?)
- scientific article; zbMATH DE number 847936 (Why is no real title available?)
- scientific article; zbMATH DE number 5938111 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- scientific article; zbMATH DE number 3051936 (Why is no real title available?)
- Hyperintensional logic
- Intension in terms of Turing machines
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- The paradox of inference and the non-triviality of analytic information
- Types and programing languages
Cited in
(26)- A non-compactness phenomenon in logics with hyperintensional predication
- If structured propositions are logical procedures then how are procedures individuated?
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
- Hyperintensional logics for everyone
- Extensionalism and induction in Boole
- scientific article; zbMATH DE number 4134011 (Why is no real title available?)
- Qualifying quantifying-in
- scientific article; zbMATH DE number 5524514 (Why is no real title available?)
- Extendible formulas in two variables in intuitionistic logic
- scientific article; zbMATH DE number 1786552 (Why is no real title available?)
- Base-extension semantics for intuitionistic sentential logic
- Axiomatic Extensions of Hohle's Monoidal Logic
- Transparent quantification into hyperintensional contexts
- Transparent quantification into hyperpropositional contexts \textit{de re}
- Is transparent intensional logic a non-classical logic?
- HTLC: hyperintensional typed lambda calculus
- Belief attitudes, fine-grained hyperintensionality and type-theoretic logic
- Transparent quantification into hyperintensional objectual attitudes
- Explicating the notion of truth within transparent intensional logic
- scientific article; zbMATH DE number 2196609 (Why is no real title available?)
- Introduction
- Logic talk
- Transparent intensional logic. Selected recent essays
- Knowing who occupies an office: purely contingent, necessary and impossible offices
- Number of extensions of non-Fregean logics
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
This page was built for publication: Extensional Logic of Hyperintensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3224007)
