scientific article; zbMATH DE number 1078592
From MaRDI portal
Publication:4360863
zbMath0891.03001MaRDI QIDQ4360863
Jaakko Hintikka, Gabriel Sandu
Publication date: 28 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
compositionalityinterpretabilitydeductive completenessdescribabilityquantifier independencedescriptive completenessIndependence Friendly first-order logiccontext-dependenciessemantical incompleteness
Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (8)
From IF to BI. A tale of dependence and separation ⋮ Independence-friendly logic and axiomatic set theory ⋮ The Meaning(s) of “Is”: Normative vs. Naturalistic Views of Language ⋮ On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in Logic ⋮ On logical and concurrent equivalences ⋮ The scope of Gödel's first incompleteness theorem ⋮ Imperfect Information in Logic and Concurrent Games ⋮ Hintikka on the foundations of mathematics: IF logic and uniformity concepts
This page was built for publication:
