Logic and structure.

zbMath0807.03001MaRDI QIDQ5906606

Dirk van Dalen

Publication date: 10 November 1994

Published in: Universitext (Search for Journal in Brave)

zbMATH Keywords

model theoryintuitionistic logiclogiccutsweak normalisation in proof theory

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 (20)

Realization of Intuitionistic Logic by Proof Polynomials ⋮ Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic ⋮ Diagnosability of fair transition systems ⋮ Mechanizing common knowledge logic using COQ ⋮ Fuzzy logic with countable evaluated syntax revisited ⋮ Dealing with explicit preferences and uncertainty in answer set programming ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Fitch's paradox and probabilistic antirealism ⋮ Defining stage argumentation semantics in terms of an abducible semantics ⋮ Proof Terms for Generalized Natural Deduction ⋮ Symbolic reachability computation for families of linear vector fields ⋮ Referential logic of proofs ⋮ The single-conclusion proof logic and inference rules specification ⋮ Modality Argumentation Programming ⋮ Unnamed Item ⋮ Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 ⋮ Deriving Natural Deduction Rules from Truth Tables ⋮ Possibilistic nested logic programs and strong equivalence ⋮ Logical optimality of groundness analysis ⋮ KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS

This page was built for publication: Logic and structure.