Logic and structure.

zbMath0714.03001MaRDI QIDQ5916300

Dirk van Dalen

Publication date: 5 June 1993

Published in: Universitext (Search for Journal in Brave)

zbMATH Keywords

model theoryintuitionistic logiclogic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05)

Related Items (15)

On pushout consistency, modularity and interpolation for logical specifications ⋮ The importance of open and recursive circumscription ⋮ An epistemic operator for description logics ⋮ Semantical analysis of specification logic ⋮ A globalization of the Hahn-Banach theorem ⋮ Continuations in possible-world semantics ⋮ Decision procedures for extensions of the theory of arrays ⋮ Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule ⋮ Automatic decidability and combinability ⋮ A Tool for Analysing Logics ⋮ Temporal Here and There ⋮ Unawareness and partitional information structures ⋮ On the Structure of Natural Deduction Derivations for “Generally” ⋮ An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models ⋮ Completeness results for circumscription

This page was built for publication: Logic and structure.