scientific article; zbMATH DE number 1078592

MaRDI QIDQ4360863zbMATH OpenFDO

Authors Jaakko Hintikka, Gabriel Sandu

Publication date 28 June 1998

zbMATH Keywords

compositionalitycontext-dependenciesdeductive completenessdescribabilitydescriptive completenessIndependence Friendly first-order logicinterpretabilityquantifier independencesemantical incompleteness

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 1103298
• scientific article; zbMATH DE number 972408
• Hintikka's ``The principles of mathematics revisited

Cited in

(19)

• Perfect IFG-formulas
• The scope of Gödel's first incompleteness theorem
• Hintikka on the foundations of mathematics: IF logic and uniformity concepts
• A formal system for propositional extended IF logic
• What is the true algebra of first-order logic?
• IF logic, definitions and the vicious circle principle
• The logic of informational independence and finite models
• scientific article; zbMATH DE number 1103298 (Why is no real title available?)
• Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
• On logical and concurrent equivalences
• Imperfect information in logic and concurrent games
• The meaning(s) of ``is: normative vs. naturalistic views of language
• Independence proofs in predicate logic with infinitely long expressions
• Truth, negation and other basic notions of logic
• Independence-friendly logic and axiomatic set theory
• On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in Logic
• On Polish rationalisms, logic and joy
• From IF to BI. A tale of dependence and separation
• On the formal semantics of IF-like logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4360863)